000 03905nam a22004935i 4500
001 978-0-387-36123-9
003 DE-He213
005 20161121231109.0
007 cr nn 008mamaa
008 100301s2006 xxu| s |||| 0|eng d
020 _a9780387361239
_9978-0-387-36123-9
024 7 _a10.1007/978-0-387-36123-9
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
082 0 4 _a621.3815
_223
100 1 _aEisner, Cindy.
_eauthor.
245 1 2 _aA Practical Introduction to PSL
_h[electronic resource] /
_cby Cindy Eisner, Dana Fisman.
264 1 _aBoston, MA :
_bSpringer US,
_c2006.
300 _aXVI, 240 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSeries on Integrated Circuits and Systems,
_x1558-9412
505 0 _aBasic Temporal Properties -- Some Philosophy -- Weak vs. Strong Temporal Operators -- SERE Style -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling, and Verification Layers -- Advanced Topics -- More Philosophy — High- vs. Low-level Assertions -- Common Errors -- Multiply-clocked Designs.
520 _aA Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (The Weizmann Institute of Science, Rehovot, Israel) were involved with the creation of the standard. A Practical Introduction to PSL includes extensive examples illustrated with timing diagrams. While mostly oriented to users of PSL for simulation, a section on the use of PSL in formal verification is included. All of the basic language constructs are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. The chapter on common errors, based on the authors’ many years of experience in using and teaching the language, will be helpful to both beginners and more experienced users. A Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works. ______________________________________________________ From the Foreword: … "Cindy Eisner and Dana Fisman were the two key people who turned IBM Sugar into PSL. Their deep understanding of PSL’s formal semantics was instrumental in both the Accellera and IEEE PSL standardization efforts. Cindy and Dana have now created the most authoritative source for information about PSL, designed to introduce the language incrementally in an easily understood fashion. A Practical Introduction to PSL provides a solid foundation for getting started with PSL today." - Harry Foster - Erich Marschner Mentor Graphics Corporation Cadence Design Systems.
650 0 _aEngineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer-aided engineering.
650 0 _aElectronic circuits.
650 1 4 _aEngineering.
650 2 4 _aCircuits and Systems.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
700 1 _aFisman, Dana.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387353135
830 0 _aSeries on Integrated Circuits and Systems,
_x1558-9412
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-387-36123-9
912 _aZDB-2-ENG
950 _aEngineering (Springer-11647)
999 _c508523
_d508523