TY  - BOOK
AU  - Mehta,Ashok B 
TI  - SystemVerilog assertions and functional coverage : guide to language, methodology and applications
SN  - 9783319305387
U1  - 621.392 
PY  - 2016///
CY  - Switzerland
PB  - Springer
ER  -