A Practical Introduction to PSL
(Sprache: Englisch)
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. The text presents PSL using extensive examples in the form of timing diagrams and associated PSL properties, with a full chapter devoted to avoiding common errors.
Leider schon ausverkauft
versandkostenfrei
Buch
173.99 €
Produktdetails
Produktinformationen zu „A Practical Introduction to PSL “
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. The text presents PSL using extensive examples in the form of timing diagrams and associated PSL properties, with a full chapter devoted to avoiding common errors.
Klappentext zu „A Practical Introduction to PSL “
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.
This book describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL was specifically developed to fulfill the following requirements:- easy to learn, write, and read- concise syntax- rigorously well-defined formal semantics- expressive power, permitting the specification for a large class of real world design properties- known efficient underlying algorithms in simulation, as well as formal verification
This book is primarily targeted to hardware designers and verification engineers who plan to use PSL. It presents PSL using extensive examples in the form of timing diagrams and associated PSL properties. In addition to language elements, it touches on methodological issues in the use of PSL. While primarily oriented to users of PSL for simulation, formal verification is addressed as well. All the basic features of the language are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs and the issue of embedding asynchronous properties in synchronous ones. One chapter is devoted to errors commonly made by begi nners gathered through the authors' many years of experience in using and teaching the language, and will be helpful to both beginners and more experienced users.
The book is accessible to the typical hardware designer and verification engineer with no interest in the theory behind temporal logic. However, the formal semantics are included as an appendix, so that those with such an interest will be able to refer to them.
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
This book is primarily targeted to hardware designers and verification engineers who plan to use PSL. It presents PSL using extensive examples in the form of timing diagrams and associated PSL properties. In addition to language elements, it touches on methodological issues in the use of PSL. While primarily oriented to users of PSL for simulation, formal verification is addressed as well. All the basic features of the language are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs and the issue of embedding asynchronous properties in synchronous ones. One chapter is devoted to errors commonly made by begi nners gathered through the authors' many years of experience in using and teaching the language, and will be helpful to both beginners and more experienced users.
The book is accessible to the typical hardware designer and verification engineer with no interest in the theory behind temporal logic. However, the formal semantics are included as an appendix, so that those with such an interest will be able to refer to them.
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
Inhaltsverzeichnis zu „A Practical Introduction to PSL “
Basic 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.
Bibliographische Angaben
- Autoren: Cindy Eisner , Dana Fisman
- 2006, 240 Seiten, Maße: 15,6 x 23,4 cm, Gebunden, Englisch
- Ed. by Cindy Eisner, Dana Fishmann and Gerald L. Mandell
- Herausgegeben: Gerald L. Mandell
- Verlag: Springer
- ISBN-10: 0387353135
- ISBN-13: 9780387353135
Sprache:
Englisch
Kommentar zu "A Practical Introduction to PSL"
0 Gebrauchte Artikel zu „A Practical Introduction to PSL“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "A Practical Introduction to PSL".
Kommentar verfassen