SystemVerilog Assertions and Functional Coverage - Mehta (Springer International Publishing, 2016)