Mehta A.B. SystemVerilog Assertions and Functional Coverage. Guide to Language, Methodology and Applications / A. B. Mehta, 2014 r=on-line. - Текст : электронный.