Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
New York, NY :
Springer US
2008.
Cham : Springer Nature |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Functional Verification Coverage Measurement and Analysis, Texte imprimé, 9781475779523 • Functional Verification Coverage Measurement and Analysis, Texte imprimé, 9781402080258 • Functional Verification Coverage Measurement and Analysis, Texte imprimé, 9780387739922 |
| LEADER | 03534nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 942515 | ||
| 008 | 110106s2008 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN149040636 | ||
| 020 | |a 9781402080265 | ||
| 020 | |a 9781402080265 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Piziali, Andrew. | |
| 245 | 1 | 0 | |a Functional Verification Coverage Measurement and Analysis |c by Andrew Piziali. |
| 260 | |a New York, NY : |b Springer US. | ||
| 260 | |a Cham : |b Springer Nature, |c 2008. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The Language of Coverage -- Functional Verification -- Measuring Verification Coverage -- Functional Coverage -- Code Coverage -- Assertion Coverage -- Coverage-Driven Verification -- Improving Coverage Fidelity With Hybrid Models. | |
| 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 Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification. Using this taxonomy, the reader clearly understands the process of creating an effective coverage model. A must read! - Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based Design Andrew's book is the most thoughtful and comprehensive treatment of coverage I have seen. I recommend reading (and re-reading) this book to anybody who is really serious about functional verification. - Yoav Hollander, CTO, Verisity Design In the last few years, coverage has become a must in hardware verification and in software testing. From having to push people to use coverage, the situation changed to great interest... Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time. -Shmuel Ur, Research Scientist, IBM. | ||
| 776 | 0 | |t Functional Verification Coverage Measurement and Analysis |b Texte imprimé |z 9781475779523 | |
| 776 | 0 | |t Functional Verification Coverage Measurement and Analysis |b Texte imprimé |z 9781402080258 | |
| 776 | 0 | |t Functional Verification Coverage Measurement and Analysis |b Texte imprimé |z 9780387739922 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b117979 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-H8LN2PV9-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747853487 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b117979 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750871024 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b117979 |z Accès INSA CVL | |
| 997 | |0 942515 |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/ | ||