Functional verification of programmable embedded architectures : A top-down approach

Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many ex...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Mishra, Prabhat, 1973-, Dutt, Nikil D. (Auteur)
Format: Livre numérique
Langue:Anglais
Publié: New York, NY : Springer US 2005.
Cham : Springer Nature
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: 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 of Programmable Embedded Architectures, Texte imprimé, 9780387507767
• Functional Verification of Programmable Embedded Architectures, Texte imprimé, 9781489973368
• Functional Verification of Programmable Embedded Architectures, Texte imprimé, 9780387261430

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL