Get 40% off our selection of bestselling print books in Engineering through October 31st!

Integrated Circuits and Systems

A Practical Introduction to PSL

Authors: Eisner, Cindy, Fisman, Dana

  • Presents assertion-based verification using the PSL, an emerging industry standard, based on IBM's Sugar 2.0 assertion language
  • A comprehensive reference to PSL, now adopted as IEEE Std 1850-2005
  • Offers extensive examples
  • Demonstrates use of PSL for stimulation as well as formal verification
  • Chapter-length coverage of common errors will assist beginners
see more benefits

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-0-387-36123-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this book

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

Table of contents (14 chapters)

  • Introduction

    Pages 1-4

  • Basic Temporal Properties

    Pages 5-17

  • Some Philosophy

    Pages 19-25

  • Weak vs. Strong Temporal Operators

    Pages 27-34

  • SERE Style

    Pages 35-63

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-0-387-36123-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Practical Introduction to PSL
Authors
Series Title
Integrated Circuits and Systems
Copyright
2006
Publisher
Springer US
Copyright Holder
Springer-Verlag US
eBook ISBN
978-0-387-36123-9
DOI
10.1007/978-0-387-36123-9
Series ISSN
1558-9412
Edition Number
1
Number of Pages
XVI, 240
Topics