TY - BOOK AU - MISHRA, PRABHUT TI - FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURES SN - 9788181288653 U1 - 004.22 / MIS PY - 2008/// PB - SPRINGER ER -