00553nam a2200157Ia 4500008004100000020001800041041000800059082002100067100001600088245009100104250001000195260001900205300001500224952013900239999001700378211209s2012    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  00104070aRITbRITcEC-PG-U2d2022-01-01l6m7o621.39/5 SPE/RUMp91633q2027-01-07r2026-06-11 12:11:33s2026-06-11w2022-01-01yBK  c91633d91633