Quality-Driven SystemC Design /

Bibliographic Details
Main Authors: Große, Daniel. (Author), Drechsler, Rolf. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Subjects:
Table of Contents:
  • Preliminaries
  • System-Level Verification
  • Block-Level Verification
  • Top-Level Verification
  • Summary and Conclusions.