Quality-Driven SystemC Design - Große, Daniel; Drechsler, Rolf.; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2010)
Preliminaries -- System-Level Verification -- Block-Level Verification -- Top-Level Verification -- Summary and Conclusions.
Keywords: Electronic circuits; Software engineering; Microprocessors; Circuits and Systems; Software Engineering/Programming and Operating Systems; Register-Transfer-Level Implementation