TY - DATA AU - Ashok B Mehta TI - System Verilog Assertions and Functional Coverage SN - 9783030247379 PB - springer KW - Electronic Circuits and Systems KW - Engineering UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-24737-9 ER -