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