Quality-Driven SystemC Design

• Main Authors: Große, Daniel (Author), Drechsler, Rolf (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2010.
• Subjects: Engineering.; Microprocessors.; Software engineering.; Electronic circuits.; Circuits and Systems.; Software Engineering/Programming and Operating Systems.; Register-Transfer-Level Implementation.

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...

Table of Contents:

• Preliminaries
• System-Level Verification
• Block-Level Verification
• Top-Level Verification
• Summary and Conclusions.