Effective Functional Verification : Principles and Processes
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them. The second part with 3 chapters is targeted towards peop...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
New York, NY :
Springer US
2006.
Cham : Springer Nature |
| Matèries: | |
| 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: | • Effective Functional Verification, Texte imprimé, 9780387286013 • Effective Functional Verification, Texte imprimé, 9780387509297 • Effective Functional Verification, Texte imprimé, 9781461498360 |
| LEADER | 03483nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 937667 | ||
| 008 | 070618s2006 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN115494987 | ||
| 020 | |a 0387326200 (en ligne) | ||
| 020 | |a 9780387326207 (en ligne) | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Vasudevan, Srivatsa. | |
| 245 | 1 | 0 | |a Effective Functional Verification : |b Principles and Processes |c by Srivatsa Vasudevan. |
| 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 Starting the Verification Journey -- An Introduction to IC Verification -- Approaches to Verification -- Various Workflows Practiced in Verification -- Ingredients of Successful Verification -- People make all the Difference -- Case Studies from the Real World -- Tracking Results That Matter -- Reducing work in Verification -- Reducing Work in Verification -- Ten Steps to Success -- Ten Steps to Success. | |
| 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 Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them. The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements. The last two parts are the result of experience of several years. It goes into how to optimize a verification plan and an environment and how to get results effectively. Various subjects are discussed here to get the most out of a verification environment. Lastely, the appendix discusses some tool specifics to help remove repetitive work and also some tool specific guidelines. While reading Effective Functional Verification, one will be able to get a jump start on planning and executing a verification plan using the concepts presented. | ||
| 650 | |a Circuits intégrés |x Essais | ||
| 650 | |a Logiciels |x Vérification | ||
| 776 | 0 | |t Effective Functional Verification |b Texte imprimé |z 9780387286013 | |
| 776 | 0 | |t Effective Functional Verification |b Texte imprimé |z 9780387509297 | |
| 776 | 0 | |t Effective Functional Verification |b Texte imprimé |z 9781461498360 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/0-387-32620-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1DVK0JQF-R |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747907129 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/0-387-32620-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092019X |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/0-387-32620-0 |z Accès INSA CVL | |
| 997 | |0 937667 |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/ | ||