TY - BOOK AU - MISHRA TI - FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURES A TOP-DOWN APPROACH SN - 9788181288653 U1 - 004.22 MIS PB - SPRINGER ER -