A practical introduction to PSL
A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (Th...
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Boston, MA :
Springer US : Springer e-books
[20..].
Cham : Springer Nature |
| سلاسل: | Series on Integrated Circuits and Systems
|
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A practical introduction to PSL, Cindy Eisner, Dana Fisman, New York, Springer, 2006, 1 vol. (XV-240 p.), 978-0-387-35313-5 |
جدول المحتويات:
- 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