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