TY - BOOK AU - Mishra, Prabhat; Dutt, Nikil D. TI - Functional verification of programmable embedded architectures: a top down approach: A top down approach SN - 9788181288653 U1 - 005.41 MISP PY - 2008/// CY - New Delhi PB - Springer KW - Embedded Programming ER -