TY - BOOK AU - MUNDEN ED - NO TI - ASIC AND FPGA VERIFICATION : A GUIDE TO COMPONENT MODELING SN - 0125105819 U1 - 621.392 MUN PY - 2008/// PB - MORGAN KAUFMANN ER -