00518nam a2200169 a 4500001001400000003000700014005001700021008004100038020001500079040000800094100002000102245008200122260004700204300003300251500001900284650004500303vtls000000930KUKTEM20251117141526.0060614t2005    caua   f      001 0 eng d  a0125105819  aUMP1 aMunden, Richard10aASIC and FPGA verification :ba guide to component modeling /cRichard Munden  aSan Francisco, CA:bMorgan Kaufmann,c2005  axx, 316 p. :bill. ;c24 cm.  aIncludes index 0aApplication specific integrated circuits