TY - BOOK AU - Munden,Richard TI - ASIC and FPGA verification: a guide to component modeling T2 - Morgan Kaufmann series in systems on silicon SN - 0125105819 (pbk.) AV - TK7874.6 .M86 2005 U1 - 621.395 22 PY - 2004/// CY - San Francisco, Calif. PB - Morgan Kaufmann KW - Application-specific integrated circuits N1 - Includes index ER -