Dutt, Nikil D.
Functional Verification of Programmable Embedded Architectures
Part I.Introduction to Functional Verification
1. Introduction
Part II.Architecture Specification
2. Architecture Specification
3. Validation of Specification
Part III.Top-Down Validation
4. Executable Model Generation
5. Design Validation
6. Functional Test Generation
Part IV.Future Directions
7. Conclusions
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000
- Tekijä(t)
- Dutt, Nikil D.
- Mishra, Prabhat
- Julkaisija
- Springer
- Julkaisuvuosi
- 2005
- Kieli
- en
- Painos
- 1
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9780387263991