MISHRA FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURES A TOP-DOWN APPROACH - SPRINGER ISBN: 9788181288653 Dewey Class. No.: 004.22 MIS