Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
New York, NY :
Springer US
2006.
Cham : Springer Nature |
| الوصول للمادة أونلاين: | 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: | • Constraint-Based Verification, Texte imprimé, 9780387259475 • Constraint-Based Verification, Texte imprimé, 9780387507354 • Constraint-Based Verification, Texte imprimé, 9781441938527 |
| LEADER | 02961nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 1403660 | ||
| 008 | 080410s2006 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN123107237 | ||
| 020 | |a 9780387307848 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Yuan, Jun. | |
| 245 | 1 | 0 | |a Constraint-Based Verification |c by Jun Yuan, Carl Pixley, Adnan Aziz. |
| 260 | |a New York, NY : |b Springer US. | ||
| 260 | |a Cham : |b Springer Nature, |c 2006. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Constrained Random Simulation -- High Level Verification Languages -- Assertion Languages and Constraints -- Preliminaries -- Constrained Vector Generation -- Constraint Simplification -- More Optimizations -- Constraint Synthesis -- Constraint Diagnosis -- Word-Level Constraint Solving. | |
| 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. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered. Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues. Particular stress is given to the latest advances in functional verification. . | ||
| 700 | 1 | |a Pixley, Carl. |4 aut | |
| 700 | 1 | |a Aziz, Adnan. |4 aut | |
| 776 | 0 | |t Constraint-Based Verification |b Texte imprimé |z 9780387259475 | |
| 776 | 0 | |t Constraint-Based Verification |b Texte imprimé |z 9780387507354 | |
| 776 | 0 | |t Constraint-Based Verification |b Texte imprimé |z 9781441938527 | |
| 856 | 4 | |u https://doi.org/10.1007/0-387-30784-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |q PDF |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-92XBRX5J-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:876782055 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/0-387-30784-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:876785380 |u uhttps://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/0-387-30784-2 |z Accès INSA CVL | |
| 997 | |0 1403660 |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/ | ||