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.

Inhaltsverzeichnis

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.

Produktdetails

• Autoren: Cind Eisner, Cindy Eisner, Dana Fisman
• Mitarbeit: Cindy Eisner (Herausgeber), Dana Fisman (Herausgeber), Gerald L. Mandell (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 19.10.2006
• EAN: 9780387353135
• ISBN: 978-0-387-35313-5
• Seiten: 240
• Gewicht: 554 g
• Illustration: XV, 240 p.
• Serien: Series on Integrated Circuits and Systems; Integrated Circuits and Systems; Series on Integrated Circuits; Integrated Circuits and Systems
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Technik > Elektronik, Elektrotechnik, Nachrichtentechnik