TY - BOOK AU - Spear/Chris TI - System verilog for verification U1 - 621.392 PY - 2008/// PB - Springer KW - System verilog ER -