TY - BOOK AU - Munden TI - Asic And Fpga Verification PB - MORGAN KAUFMANN KW - Computer Science ER -