Hardware Verification with SystemVerilog An Object-Oriented Framework - Mintz, Mike; Ekendahl, Robert (Springer US, 2007)