TY  - BOOK
AU  - Mehta,Ashok B.
TI  - System Verilog assertions and functional coverage: guide to language, methodology and applications 
SN  - 9783030247379
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  - https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-24737-9
UR  - https://link.springer.com/book/10.1007/978-3-030-24737-9
ER  -