Verification methodology manual for SystemVerilog - Bergeron, Janick. (Springer US, 2006)