Technical Reports

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, B. Gorjiara, D. Gajski, "NISC Technology Online Toolset," TR 05-19, December 2005. download pdf

TR 05-18 cancelled

TR 05-17 cancelled

 

G Schirner and R. Doemer, "Using Result Oriented Modeling for Fast yet Accurate TLMs," TR 05-05, May 2005. download pdf

 

S. Choudhuri and T. Givargis, "Software Virtual Memory Management for MMU-Less Embedded Systems," TR 05-16, November 2005. download pdf

 

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

 

S. Pasricha, M. Ben-Romdhane, and N. Dutt, "High Level Design Space Exploration of Shared Bus Communication Architectures," TR 04-06, March 13, 2004. download pdf