Quality-Driven SystemC Design
Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements designing electronic systems is a very challenging task. To manage this situation effectively the level of abstraction in modeling has been raised during the past years in the computer aided design commu...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Preliminaries
- System-Level Verification
- Block-Level Verification
- Top-Level Verification
- Summary and Conclusions