Verification methodology manual for system verilog - Bergeron, Janick (Springer, 2006)