Verification Methodology Manual for SystemVerilog - Bergeron, Janick; SpringerLink (Online service) (Boston, MA : Synopsys, Inc. and ARM Limited, 2006)
Keywords: Verilog (Computer hardware description language); Integrated circuits -- Verification; Engineering; Electronic and Computer Engineering; Electronics and Microelectronics, Instrumentation; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems