Home › Authors › Nikil D. Dutt 👤 Nikil D. Dutt 2 books Books by Nikil D. Dutt Functional verification of programmable embedded architectures 2005 Functional Verification of Programmable Embedded Architectures: A Top-Down Approach 2005