TY - BOOK AU - SPEAR CHRIS TI - SYSTEM VERILOG FOR VERIFICATION SN - 9780387765297 U1 - 621.392 SPE PB - SPRINGER KW - ELECTRONICS ER -