SystemVerilog Assertions and Functional Coverage - Mehta, Ashok B. (Springer New York, 2014)