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...
Sparad:
| Huvudupphovsmän: | , , |
|---|---|
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
New York, NY :
Springer US
2006.
Cham : Springer Nature |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
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 |