Eisner, Cindy
A Practical Introduction to PSL
Table of contents
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
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Eisner, Cindy
- Fisman, Dana
- Utgivare
- Springer
- Utgivningsår
- 2006
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9780387361239
