000			00338nam a2200133Ia 4500
008			211209s2007 xx 000 0 und d
020			_a8181285662
041			_aeng
100			_aBERGERON JANICK
245			_aWRITING TESTBENCHES: FUNCTIONAL VERIFICATION OF HDL MODELS
250			_a2 ed.
260			_bSPRINGER _c2007
300			_a475
999			_c105395 _d105395