Verification Methodology Manual for SystemVerilog - Bergeron, Janick (Synopsys, Inc. and ARM Limited, 2006)