A Practical Introduction to PSL (Series on Integrated Circuits and Systems)

Eisner, Cindy (EDT)/ Fishmann, Dana (EDT)/ Mandell, Gerald L. (EDT)

Springer（2006/09発売）

• 製本 Hardcover:ハードカバー版／ページ数 240 p.
• 言語 ENG
• 商品コード 9780387353135

基本説明

Describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005.

Full Description

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.

Contents

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.- Multiply-clocked Designs.