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