![A Practical Introduction To Psl (integrated Circuits And Systems) [hardcover] Eisner, Cindy And Fisman, Dana.](http://cdn.shopify.com/s/files/1/0406/7593/4374/products/thumbnail_c8ac1a3b-a0ba-4d8a-a394-402fe75d76e2_{width}x.jpeg?v=1625798765)
![A Practical Introduction To Psl (integrated Circuits And Systems) [hardcover] Eisner, Cindy And Fisman, Dana.](http://cdn.shopify.com/s/files/1/0406/7593/4374/products/thumbnail_c8ac1a3b-a0ba-4d8a-a394-402fe75d76e2_530x@2x.jpeg?v=1625798765)
ISBN details
- ISBN 10: 0387353135
- ISBN 13: 9780387353135
Overview
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.
Other Details
- Publisher: Springer
- Edition: 1
- Dimensions: 9.21 (w) x 6.14 (h) x 0.63 (d)
- Pages: 256
- Date Published: 2006
- Authors: Cindy Eisner; Dana Fisman