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.

Table des matières

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.

Détails du produit

• Auteurs: Cind Eisner, Cindy Eisner, Dana Fisman
• Collaboration: Cindy Eisner (Editeur), Dana Fisman (Editeur), Gerald L. Mandell (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 19.10.2006
• EAN: 9780387353135
• ISBN: 978-0-387-35313-5
• Pages: 240
• Poids: 554 g
• Illustrations: XV, 240 p.
• Thèmes: Series on Integrated Circuits and Systems; Integrated Circuits and Systems; Series on Integrated Circuits; Integrated Circuits and Systems
• Catégorie: Sciences naturelles, médecine, informatique, technique > Technique > Electronique, électrotechnique, technique de l'information