TY  - BOOK
AU  - Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
TI  - The Power of Assertions in SystemVerilog
SN  - 978-1-4419-6600-1
PY  - 2010///
CY  - New York
PB  - Springer US
KW  - Circuits and Systems; Electrical Engineering
ER  -