SystemVerilog assertions and functional coverage guide to language, methodology and applications - Mehta, Ashok B. (Springer, 2016)