A Practical Introduction to PSL

• Κύριοι συγγραφείς: Eisner, Cindy (Συγγραφέας), Fisman, Dana (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2006.
• Σειρά: Series on Integrated Circuits and Systems,
• Θέματα: Engineering.; Programming languages (Electronic computers).; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Programming Languages, Compilers, Interpreters.

A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (Th...

Πίνακας περιεχομένων:

• 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.