000 00300nam a22001217a 4500
020 _a980125105811
082 _a621.395
_b MUN
100 _aMunden, Richard
245 _aASIC & FPGA verification: a guide to component modeling
260 _aNew York
_bElsevier
_c2005
300 _a316p.
942 _cBK
999 _c17145
_d17145