TY  - BOOK
AU  - "CERMY, EDUARD"
TI  - SVA: The Power Of Assertions In System Verilog
SN  - 9783319331096
U1  - 621.392 CER 
KW  - ELECTRONICS
ER  -