Publication year: 2006
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.
: 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