Verification Methodology Manual for SystemVerilog - Bergeron, Janick; Cerny, Eduard; Hunter, Alan (Springer US, 2006)