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...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Boston, MA :
Springer US : Springer e-books
[20..].
Cham : Springer Nature |
| Col·lecció: | Series on Integrated Circuits and Systems
|
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 04019nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 938017 | ||
| 008 | 080410q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN123111617 | ||
| 020 | |a 9780387361239 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Eisner, Cindy, |d 19..- | |
| 245 | 1 | 0 | |a A practical introduction to PSL |c by Cindy Eisner, Dana Fisman. |
| 260 | |a Boston, MA : |b Springer US : |b Springer e-books. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Series on Integrated Circuits and Systems |x 1558-9412 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 (The Weizmann Institute of Science, Rehovot, Israel) were involved with the creation of the standard. A Practical Introduction to PSL includes extensive examples illustrated with timing diagrams. While mostly oriented to users of PSL for simulation, a section on the use of PSL in formal verification is included. All of the basic language constructs are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. The chapter on common errors, based on the authors many years of experience in using and teaching the language, will be helpful to both beginners and more experienced users. A Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works. From the Foreword: "Cindy Eisner and Dana Fisman were the two key people who turned IBM Sugar into PSL. Their deep understanding of PSL s formal semantics was instrumental in both the Accellera and IEEE PSL standardization efforts. Cindy and Dana have now created the most authoritative source for information about PSL, designed to introduce the language incrementally in an easily understood fashion. A Practical Introduction to PSL provides a solid foundation for getting started with PSL today." - Harry Foster - Erich Marschner Mentor Graphics Corporation Cadence Design Systems | ||
| 700 | 1 | |a Fisman, Dana, |d 19..- |4 aut | |
| 776 | 0 | |0 126095655 |t A practical introduction to PSL |f Cindy Eisner, Dana Fisman |c New York |n Springer |d 2006 |p 1 vol. (XV-240 p.) |z 978-0-387-35313-5 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-0-387-36123-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-S7X8X7F1-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747904243 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-0-387-36123-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750917415 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-0-387-36123-9 |z Accès INSA CVL | |
| 997 | |0 938017 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||