Technical Reports

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


R. Jejurikar and R. Gupta, "Optimized Slowdown in Real-Time Task Systems," TR 04-10, April 2004. download pdf


A. Gupta and R. Doemer, "System Design of Digital Camera Using SpecC," TR 04-32, December 10, 2004. download pdf


S. Pasricha, N. Dutt, and M. Ben-Romdhane, " Automated Synthesis of Bus Architectures for Systems with Throughput Constraints," TR 04-20, August 2004. download pdf


R. Jejurikar and R. Gupta, "Procrastination Scheduling in Fixed Priority Real-Time Systems," TR 04-09, April, 2004. download pdf


R. Jejurikar and R. Gupta, "Leakage Aware Dynamic Slack Reclamation in Real-Time," TR 04-31, November 2004. download pdf


R. Doemer, A. Gerstlauer, D. Shin, "Cycle-accurate RTL Modeling with Multi-Cycled and Pipelined Components," TR 04-19, July 22, 2004. download pdf


M. Reshadi and D. Gajski, "NISC Modeling and Simulation," TR 04-08, March 2004. download pdf


A. Nacul and T. Givargis, "The Phantom Serializing Compiler," TR 04-30, November 22, 2004. download pdf


S. Banerjee and N. Dutt, "Very Fast Simulated Annealing for HW-SW Partitioning," TR 04-18, June 2004. download pdf


N. Savoiu, S. Shukla, and R. Gupta, "A Semantics-Preserving Reduction of Code-Annotated Well-formed Free Choice Petri Nets," TR 04-07, February 12, 2004. download pdf