Bertacco, Valeria
Scalable Hardware Verification with Symbolic Simulation
Table of contents
1. Introduction
2. Design and Verification of Digital Systems
3. Symbolic Simulation
4. Compacting Intermediate States
5. Approximate Simulation
6. Exact Parametrizations
7. Conclusion
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000
- Tekijä(t)
- Bertacco, Valeria
- Julkaisija
- Springer
- Julkaisuvuosi
- 2006
- Kieli
- en
- Painos
- 1
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9780387299068