A Practical Introduction to PSL von Cindy Eisner | ISBN 9780387353135

A Practical Introduction to PSL

von Cindy Eisner und Dana Fisman
Mitwirkende
Autor / AutorinCindy Eisner
Autor / AutorinDana Fisman
Buchcover A Practical Introduction to PSL | Cindy Eisner | EAN 9780387353135 | ISBN 0-387-35313-5 | ISBN 978-0-387-35313-5

A Practical Introduction to PSL

von Cindy Eisner und Dana Fisman
Mitwirkende
Autor / AutorinCindy Eisner
Autor / AutorinDana Fisman

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.