Quality-Driven SystemC Design

• Main Authors: Gro<U+00df>e, Daniel. (Author), Drechsler, Rolf. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Dordrecht : Springer Netherlands, 2010.
• Subjects: Engineering.; Computer science.; Software engineering.; Systems engineering.; Circuits and Systems.; Software Engineering/Programming and Operating Systems.; Register-Transfer-Level Implementation.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-90-481-3631-5

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:

• Dedication. List of Figures. List of Tables. Preface. Acknowledgments
• 1. Introduction. 2. Preliminaries. 3. System-Level Verification. 4. Block-Level Verification. 5. Top-Level Verification. 6. Summary and Conclusions
• References. Index.