TY - BOOK AU - SPEAR, CHRIS TI - SYSTEM VERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE TEST BENCH LANGUAGE FEATURES SN - 9781489995001 U1 - 621.392 SPE/TUM PY - 2012/// PB - SPRINGER ER -