E-Book, Englisch, 240 Seiten
Eisner / Fisman A Practical Introduction to PSL
1. Auflage 2007
ISBN: 978-0-387-36123-9
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 240 Seiten
Reihe: Integrated Circuits and Systems
ISBN: 978-0-387-36123-9
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Autoren/Hrsg.
Weitere Infos & Material
1;Foreword;7
2;Preface;9
3;Contents;11
4;1 Introduction;16
5;2 Basic Temporal Properties;20
6;3 Some Philosophy;33
7;4 Weak vs. Strong Temporal Operators;40
8;5 SERE Style;48
9;6 Clocks;77
10;7 Aborting a Property;95
11;8 Some Convenient Constructs;102
12;9 The Simple Subset;111
13;10 The Boolean, Modeling, and Verification Layers;113
14;11 Advanced Topics;118
15;12 More Philosophy – High- vs. Low-level Assertions;132
16;13 Common Errors;140
17;14 Multiply-clocked Designs;170
18;A Syntax Rule Summary;184
19;B Formal Syntax and Semantics;200
20;C Operator Precedence;212
21;D Quick Reference;213
22;Bibliographic Notes;232
23;References;237
24;Index;241
