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.

Sommario

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.

Dettagli sul prodotto

• Autori: Cind Eisner, Cindy Eisner, Dana Fisman
• Con la collaborazione di: Cindy Eisner (Editore), Dana Fisman (Editore), Gerald L. Mandell (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 19.10.2006
• EAN: 9780387353135
• ISBN: 978-0-387-35313-5
• Pagine: 240
• Peso: 554 g
• Illustrazioni: XV, 240 p.
• Serie: Series on Integrated Circuits and Systems; Integrated Circuits and Systems; Series on Integrated Circuits; Integrated Circuits and Systems
• Categoria: Scienze naturali, medicina, informatica, tecnica > Tecnica > Elettronica, elettrotecnica, telecomunicazioni