TY - BOOK AU - MISHRA PRABHAT TI - FUNCTIONAL VERFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURE SN - NULL U1 - 004.5 MIS PY - 2008/// CY - PB - SPRINGER KW - NULL ER -