A Practical Introduction to PSL
-
- Einzelkauf Download ausgewählt
-
Sprache:Englisch
153,99 €
inkl. gesetzl. MwSt.Beschreibung
Produktdetails
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Nein
Erscheinungsdatum
19.06.2007
Verlag
Springer UsSeitenzahl
240 (Printausgabe)
Dateigröße
1269 KB
Sprache
Englisch
EAN
9780387361239
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 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. The text presents PSL using extensive examples in the form of timing diagrams and associated PSL properties. Primarily oriented to users of PSL for simulation, it also addresses formal verification. 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. A full chapter is devoted to errors commonly made by beginners, gathered through the authors' many years of experience in using and teaching the language.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice