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