TY - BOOK AU - SPEAR, CHRIS TI - SYSTEM VERILOG FOR VERIFICATION SN - 9788184895315 U1 - 621.392 SPE PY - 2010/// PB - SPRINGER ER -