000			00404nam a2200145Ia 4500
008			211209s2012 xx 000 0 und d
020			_a9781461407140
041			_aeng
082			_a621.39/2 SPR/TUM
100			_aSPEAR, CHRIS
245			_aSYSTEM VERILOG FOR VERIFICATION :: A GUIDE TO LEARNING THE TESTBENCH LANGUAGE FEATURES
250			_a3 ed.
260			_bSPRINGER _c2012
300			_aXLIII, 464
999			_c91230 _d91230