TY - BOOK AU - SPEAR, CHRIS TI - SYSTEM VERILOG FOR VERIFICATION :: A GUIDE TO LEARNING THE TESTBENCH LANGUAGE FEATURES SN - 9781461407140 U1 - 621.39/2 SPR/TUM PY - 2012/// PB - SPRINGER ER -