SystemVerilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications - Mehta, Ashok B. (Springer)