A Practical Introduction to PSL

  • Cindy Eisner
  • Dana Fisman

Part of the Series on Integrated Circuits and Systems book series (ICIR)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Pages 1-4
  3. Pages 19-25
  4. Pages 35-63
  5. Pages 65-82
  6. Pages 83-89
  7. Pages 101-102
  8. Pages 109-122
  9. Pages 131-160
  10. Pages 161-174
  11. Back Matter
    Pages 175-240

About this book

Introduction

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.

______________________________________________________

From the Foreword:

… "Cindy Eisner and Dana Fisman were the two key people who turned IBM Sugar into PSL. Their deep understanding of PSL’s formal semantics was instrumental in both the Accellera and IEEE PSL standardization efforts. Cindy and Dana have now created the most authoritative source for information about PSL, designed to introduce the language incrementally in an easily understood fashion. A Practical Introduction to PSL provides a solid foundation for getting started with PSL today."

- Harry Foster - Erich Marschner

Mentor Graphics Corporation Cadence Design Systems

Keywords

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

Authors and affiliations

  • Cindy Eisner
    • 1
  • Dana Fisman
    • 2
  1. 1.IBM Haifa Research LaboratoryHaifaIsrael
  2. 2.The Weizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-36123-9
  • Copyright Information Springer Science+Business Media, LLC 2006
  • Publisher Name Springer, Boston, MA
  • eBook Packages Engineering
  • Print ISBN 978-0-387-35313-5
  • Online ISBN 978-0-387-36123-9
  • Series Print ISSN 1558-9412
  • About this book