Technical Reports

P. Chandriaiah, and R. Doemer, "Specification and Design of an MP3 Audio Decoder," TR 05-04, May 2005. download pdf


S. Abdi and D. Gajski, "A Tool for Functional Verfication of System Level Model Refinements," TR 05-15, October 2005. download pdf


G. Schirner and R. Doemer, "System Level Modeling of an AMBA Bus, " TR 05-03, April 2005. download pdf


S. Pasricha, N. Dutt, and M. Ben-Romdhane, "Bus Matrix Communication Architecture Synthesis," TR 05-13, October 2005. download pdf


S. Banerjee, E. Bozorgzadeh, and N. Dutt, "HW-SW Partitioning for architectures with Partial Dynamic Reconfiguration," TR 05-02, April 2005. download pdf


G. Sachdeva, R.Doemer, and P. Chou, "System Modeling: A Case Study on A Wireless Sensor Network," TR 05-12, June 2005. download pdf


M. Kim, H. Oh, N. Dutt, A. Nicolau, and N. Venkatasubramanian, "PBPAIR: Probability Based Power Aware Intra Refresh, A New Energy-efficient Error-resilient Encoding Scheme," TR 05-01, February 2005. download pdf


M. Reshadi, B. Gorjiara, and D. Gajski, "NISC Technology and Preliminary Results," TR 05-11, August 2005. download pdf


D.Gajski, A. Gerstlauer, R. Doemer, S. Abdi, J. Peng, D. Shin, "TL Environment," TR 05-10, July 2005. download pdf


D. Gajski, and J. Trajkovic, "Communication Design for No Instruction Set Computer," TR 05-09, July 2005. download pdf


D. Gajski, H. Cho, and S. Abdi, " General Transducer Architecture," TR 05-08, August 2005. download pdf


M. Ghodrat, and T. Givargis, "Equivalence Checking of Arithmetic Expressions Using Fast Evaluation," TR 05-07, July 2005. download pdf


M. Ghodrat, and T. Givargis, "Expression Equivalence Checking using Interval Analysis," TR 05-06, May 2005. download pdf


M. Reshadi and D. Gajski, “NISC Modeling and Compilation,” TR 04-33, December 2004. download pdf


J. Peng, A. Gerstlauer, R. Doemer, D. Gajski, "System-On-Chip Architecture Modeling Style Guide," TR 04-22, July 31, 2004. download pdf

P. Biswas, S. Banerjee, N. Dutt, L. Pozzi, P. Ienne, "ISEGEN: Adapting Kernighan-Lin Min-Cut Heuristic for Generation of Instruction Set Extensions," TR 04-21, August 12, 2004. download pdf