Authors:
- Presents assertion-based verification using the IEEE Property Specification Language (PSL), an emerging industry standard, based on IBM's Sugar 2.0 assertion language
- Includes actual designs using assertion PSL
- Includes supplementary material: sn.pub/extras
Part of the book series: Integrated Circuits and Systems (ICIR)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (14 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
IBM Haifa Research Laboratory, Haifa, Israel
Cindy Eisner
-
The Weizmann Institute of Science, Rehovot, Israel
Dana Fisman
Bibliographic Information
Book Title: A Practical Introduction to PSL
Authors: Cindy Eisner, Dana Fisman
Series Title: Integrated Circuits and Systems
DOI: https://doi.org/10.1007/978-0-387-36123-9
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag US 2006
eBook ISBN: 978-0-387-36123-9Published: 19 June 2007
Series ISSN: 1558-9412
Series E-ISSN: 1558-9420
Edition Number: 1
Number of Pages: XVI, 240
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design, Programming Languages, Compilers, Interpreters