Book Details

978-0-387-36123-9

A Practical Introduction to PSL

Publication year: 2006

ISBN: 978-0-387-36123-9

Internet Resource: Please Login to download book


Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.


Subject: Engineering, Assertion Languages, Assertion-Based Verification, Formal property specification, Simulation and formal verification, Standard, Temporal logic, algorithms, computer-aided design (CAD), layers, logic, modeling, semantics, simulation