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