A Practical Introduction to PSL (Hardcover)

Description

This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.

 

Foreword.- Preface.- Introduction.- 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.- Mulitply-clocked Designs.- Syntax Rule Summary.- Formal Syntax and Semantics.- Operator Precedence.- Quick Reference.- Bibliographic Notes.- References.- Index.