P. Mishra, N. Dutt, N. Krishnamurthy, M. Abadir, “A Methodology for Validation of Microprocessors using Symbolic Simulation,” International Journal of Embedded Systems, Issue 1/2, 2005.
J. Lee, K. Choi, and N. Dutt, “Evaluating Memory Architectures for Media Applications on Coarse-Grained Reconfigurable Architectures,” International Journal of Embedded Systems, Issue 7, 2005.