Hardware Verification With Systemverilog by Robert Ekendahl & Mike Mintz