Hardware verification with C++ : a practitoner's handbook /

Ítems similars

• Hardware verification with SystemVerilog : an object-oriented framework /
  per: 272566 Mintz, Mike, et al.
  Publicat: (2007)
• The e hardware verification language /
  per: 326523 Iman, Sasan, et al.
  Publicat: (2004)
• Verification by error modeling : using testing techniques in hardware verification /
  per: 461327 Radecka, Katarzyna, et al.
  Publicat: (2003)
• Hardware design verification : simulation and formal method-based approaches /
  per: Lam, William K. C., 1962-
  Publicat: (2005)
• Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /
  per: 255637 Boule, Marc, et al.
  Publicat: (2008)