000 00401nam a2200145Ia 4500
008 211209s2012 xx 000 0 und d
020 _a9781489995001
041 _aeng
082 _a621.392 SPE/TUM
100 _aSPEAR, CHRIS
245 _aSYSTEM VERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE TEST BENCH LANGUAGE FEATURES
250 _a3 ED
260 _bSPRINGER
_c2012
300 _aXLIII, 464
999 _c95511
_d95511