A Practical Introduction to PSL Introduction

Cindy Eisner, Dana Fisman

Research output: Book/ReportBookpeer-review


A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (The Weizmann Institute of Science, Rehovot, Israel) were involved with the creation of the standard.
A Practical Introduction to PSL includes extensive examples illustrated with timing diagrams. While mostly oriented to users of PSL for simulation, a section on the use of PSL in formal verification is included. All of the basic language constructs are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. The chapter on common errors, based on the authors’ many years of experience in using and teaching the language, will be helpful to both beginners and more experienced users.
A 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.
Original languageEnglish
PublisherSpringer, Boston, MA
Number of pages246
ISBN (Electronic)978-0-387-36123-9
ISBN (Print)978-0-387-35313-5
StatePublished - 2006

Publication series

NameIntegrated Circuits and Systems


  • 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


Dive into the research topics of 'A Practical Introduction to PSL Introduction'. Together they form a unique fingerprint.

Cite this