Eisner, Cindy
A Practical Introduction to PSL
1. Introduction
2. Basic Temporal Properties
3. Some Philosophy
4. Weak vs. Strong Temporal Operators
5. SERE Style
6. Clocks
7. Aborting a Property
8. Some Convenient Constructs
9. The Simple Subset
10. The Boolean, Modeling, and Verification Layers
11. Advanced Topics
12. More Philosophy — High- vs. Low-level Assertions
13. Common Errors
14. Multiply-clocked Designs
DRM-restrictions
Printing: not available
Clipboard copying: not available
- Author(s)
- Eisner, Cindy
- Fisman, Dana
- Publisher
- Springer
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9780387361239