TY  - BOOK
AU  - Mehta,Ashok B.
TI  - System Verilog assertions and functional coverage: guide to language, methodology and applications 
SN  - 9783030247379
U1  - 621.39 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
UR  - http://ebookcentral.proquest.com/lib/limerickit/detail.action?docID=5939528
ER  -