Systemverilog for Verification - Spear, Chris; Spear, Christian B. (Springer US, 2006)