SystemVerilog for Verification - Spear, Chris (Springer US, 2020)