TY  - GEN
AU  - Mehta, Ashok B.,
CN  - TK7885.7
ET  - Second edition.
ID  - 1458296
KW  - Verilog (Computer hardware description language)
KW  - Electronic digital computers
KW  - Integrated circuits
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=4526856
N1  - Includes index.
SN  - 9783319305394 (e-book)
T1  - SystemVerilog assertions and functional coverage :guide to language, methodology and applications /
TI  - SystemVerilog assertions and functional coverage :guide to language, methodology and applications /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=4526856
ER  -