Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a...
Tallennettuna:
| Muut tekijät: | , , |
|---|---|
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
New York, NY :
Springer US
2005.
Cham : Springer Nature |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Taxonomies for the Development and Verification of Digital Systems, Texte imprimé, 9780387240190 • Taxonomies for the Development and Verification of Digital Systems, Texte imprimé, 9780387504155 • Taxonomies for the Development and Verification of Digital Systems, Texte imprimé, 9781441936813 |
Sisällysluettelo:
- Model Taxonomy
- Functional Verification Taxonomy
- Platform-Based Design
- Hardware-Dependent Software.