Hardware Verification with System Verilog - Mintz, Mike (Springer US, 2020)