Hardware verification with SystemVerilog an object-oriented framework - Mintz, Mike; Ekendahl, Robert (Springer, 2007)