TY - BOOK AU - Munden,Richard TI - ASIC and FPGA verification: a guide to component modeling SN - 0125105819 PY - 2005/// CY - San Francisco, CA PB - Morgan Kaufmann KW - Application specific integrated circuits N1 - Includes index ER -