5 works on record
Memory issues in embedded systems-on-chip
1999
High-level synthesis
Functional verification of programmable embedded architectures
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
Memory architecture exploration for programmable embedded systems