TY - BOOK AU - Munden, Richard TI - ASIC and FPGA verification : a guide to component modeling SN - 9780125105811 U1 - 621.395 MUN PY - 2005/// CY - Amsterdam PB - Elsevier, Morgan Kaufmann Publishers KW - Application specific integrated circuits ER -