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...
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
New York, NY :
Springer US
2006.
Cham : Springer Nature |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
Indholdsfortegnelse:
- 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.