Nikil D. DuttBooksFunctional Verification of Programmable Embedded Architectures: A Top-Down ApproachFunctional verification of programmable embedded architecturesMemory architecture exploration for programmable embedded systemsHigh-level synthesisMemory issues in embedded systems-on-chipAuthor data: Open Library