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