A Practical Introduction to PSL (Integrated Circuits and Systems)

A Practical Introduction to PSL (Integrated Circuits and Systems)

ISBN: 9780826447999
Publisher: Springer
Edition: 2006
Publication Date: 2006-07-20
Number of pages: 240
  • $30.96

Any used item that originally included an accessory such as an access code, one time use worksheet, cd or dvd, or other one time use accessories may not be guaranteed to be included or valid. By purchasing this item you acknowledge the above statement.


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.

Customer Reviews

We Also Recommend