Mehta A. B. SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications / / by Ashok B. Mehta. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-1-4614-7324-4