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 ...
Read More
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.
Read Less
Add this copy of A Practical Introduction to Psl to cart. $54.81, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2006 by Springer.
Add this copy of A Practical Introduction to Psl (Integrated Circuits to cart. $102.26, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Springer.
Add this copy of A Practical Introduction to Psl to cart. $109.78, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of A Practical Introduction to Psl to cart. $114.13, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of A Practical Introduction to Psl (Integrated Circuits to cart. $203.45, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Springer.
Add this copy of A Practical Introduction to Psl (Integrated Circuits to cart. $145.00, new condition, Sold by Arcade Books, ships from Sahibabad, UTTAR PRADESH, INDIA, published 2006 by Springer.
