Nikil D. Dutt · 5 obras en el catálogoObrasHigh-level synthesisFunctional verification of programmable embedded architecturesFunctional Verification of Programmable Embedded Architectures: A Top-Down ApproachMemory issues in embedded systems-on-chip1999Memory architecture exploration for programmable embedded systems