TY - BOOK AU - PRABHAT MISHRA AND NIKIL D DUTT ED - NO TI - FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURE : A TOP DOWN APPROACH SN - 9788181288653 U1 - 004.16 PRA PY - 2008/// PB - SPRINGER ER -