00373nam a2200133Ia 4500008004100000020001800041041000800059082002100067100001600088245009100104250001000195260001900205300001500224211209s2012    xx            000 0 und d  a9781489995001  aeng  a621.39/5 SPE/RUM  aSPEAR CHRIS  aSYSTEM VERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE TEST BENCH LANGUAGE FEATURES   a3 ed.  bSPRINGERc2012  aXLIII, 464