A Practical Introduction to PSL

• Main Authors: Eisner, Cindy (Author), Fisman, Dana (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2006.
• Series: Series on Integrated Circuits and Systems,
• Subjects: 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...

Table of Contents:

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