A Practical Introduction To Psl (integrated Circuits And Systems) [hardcover] Eisner, Cindy And Fisman, Dana.

A Practical Introduction To Psl (integrated Circuits And Systems) [hardcover] Eisner, Cindy And Fisman, Dana

Free shipping (Guaranteed delivery 3-5 business days for In-Stock products)

ISBN details

  • ISBN 10: 0387353135
  • ISBN 13: 9780387353135


Overview

This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.



Other Details

  • Publisher: Springer
  • Edition: 1
  • Dimensions: 9.21 (w) x 6.14 (h) x 0.63 (d)
  • Pages: 256
  • Date Published: 2006
  • Authors: Cindy Eisner; Dana Fisman