System Verilog assertions and functional coverage : guide to language, methodology and applications - Mehta, Ashok B. (Springer :, 2020)