Mishra, Prabhat; Dutt, Nikil D. Functional verification of programmable embedded architectures: a top down approach. A top down approach. - 1 - New Delhi Springer 2008 - xviii,180 ISBN: 9788181288653 Subjects--Topical Terms: Embedded Programming Dewey Class. No.: 005.41 MISP