Christopher B. Harris and Ian Harris, “Using Natural Language Documentation in the Formal Verification of Hardware Designs,” CECS TR 14-11. Posted on November 17, 2014
Majid Shoushtari, Abbas Banaiyan, Nikil Dutt, “Relaxing Manufacturing Guard-bands in Memories for Energy Saving,” CECS TR 14-04-01. Revision posted on August 28, 2014.
Hossein Tajik, Bryan Donyanavard, Janmartin Jahn, Joerg Henkel, Nikil Dutt, “SPMPool: Runtime SPM Management for Embedded Many-Cores,” CECS TR 14-08. Posted on July 8, 2014
Santanu Sarma and Nikil Dutt, “Cross-Layer Design Space Exploration of Heterogeneous Multicore Processors With Predictive Models,” CECS TR 14-02. Posted on June 19, 2014
Kyoungwon Kim and Daniel Gajski, “Cycle-Approximate Estimation-Based Mapping,” CECS TR 14-10. Posted on June 17, 2014