System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications - Mehta (Springer International Publishing, 2020)