000			00343nam a2200145Ia 4500
008			211209s2010 xx 000 0 und d
020			_a9788184895315
041			_aeng
082			_a621.392 SPE
100			_aSPEAR, CHRIS
245			_aSYSTEM VERILOG FOR VERIFICATION
250			_a2 ed.
260			_bSPRINGER _c2010
300			_aVIII, 429
999			_c70464 _d70464