A Practical Introduction to PSL (Hardcover)

Cindy Eisner, Dana Fisman

  • 出版商: Springer
  • 出版日期: 2006-07-20
  • 售價: $1,650
  • 貴賓價: 9.5$1,568
  • 語言: 英文
  • 頁數: 240
  • 裝訂: Hardcover
  • ISBN: 0387353135
  • ISBN-13: 9780387353135
  • 立即出貨(限量) (庫存=1)




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.


Table of contents

Foreword.- Preface.- Introduction.- Basic Temporal Properties.- Some Philosophy.- Weak vs. Strong Temporal Operators.- SERE Style.- Clocks.- Aborting a Property.- Some Convenient Constructs.- The Simple Subset.- The Boolean, Modeling and Verification Layers.- Advanced Topics.- More Philosophy -- High vs. Low Level Assertions.- Common Errors.- Mulitply-clocked Designs.- Syntax Rule Summary.- Formal Syntax and Semantics.- Operator Precedence.- Quick Reference.- Bibliographic Notes.- References.- Index.