Quality-Driven SystemC Design /

Detalles Bibliográficos
Autores principales: Große, Daniel. (Autor), Drechsler, Rolf. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Materias:
Tabla de Contenidos:
  • Preliminaries
  • System-Level Verification
  • Block-Level Verification
  • Top-Level Verification
  • Summary and Conclusions.