A Practical Introduction to PSL
| Autor: | Cindy Eisner, Dana Fisman |
|---|---|
| EAN: | 9780387361239 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 19.06.2007 |
| Kategorie: | |
| Schlagworte: | Assertion-Based Verification Assertion Languages Formal property specification Simulation and formal verification Standard Temporal logic algorithms computer-aided design (CAD) layers logic modeling semantics simulation |
149,79 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.