TY  - BOOK
AU  - Mehta,Ashok B.
TI  - System Verilog assertions and functional coverage: guide to language, methodology and applications 
SN  - 9783030247362
U1  - 621.392 MEH 23
PY  - 2020///]
CY  - Cham
PB  - Springer
KW  - Verilog (Computer hardware description language)
KW  - Electronic digital computers
KW  - Design and construction
KW  - Integrated circuits
KW  - Verification
N1  - Includes index
ER  -