Technical Reports

Gunar Schirner, Samar Abdi, Daniel Gajski, "Requirements and Specification for Multi-Core SW Synthesis," TR 08-16, December 16, 2008. complete TR is available upon request

 

Jelena Trajkovic and Daniel Gajski, "Generation of Custom Co-processor Structure from C-Code," TR 08-05, June 27, 2008. download pdf

 

Daniel D. Gajski, Samar Abdi, Gunar Schirner, Han-su Cho, Yonghyun Hwang, Lochi Yu, Ines Viskic, and Quoc-Viet Dang, "Embedded System Environment (Front End) ESE Version 2.0 Evaluation Tutorial," TR 08-15, December 12, 2008. download pdf

 

Lochi Yu, Samar Abdi, Daniel Gajski, "A Tool for Equivalence Verification of TLMs using Model Algebra", TR 08-04, February 28, 2008. download pdf

 

Daniel D. Gajski, Samar Abdi, Gunar Schirner, Han-su Cho, Yonghyun Hwang, Lochi Yu, Ines Viskic, and Quoc-Viet Dang, "User Manual for Embedded System Environment ESE Version 2.0.0," TR 08-14, December 12, 2008. download pdf

 

Siwen Sun, Rainer Doemer, "A Convolutional Encoder and Decoder Model in SpecC", TR 08-03, February 27, 2008. download pdf

 

Ines Viskic, Samar Abdi, Daniel Gajski, "Communication SW Generation from TL to PCA Level for MPSoC", TR 07-07, July 2007 download pdf

 

Andreas Gerstlauer, Dongwan Shin, Samar Abdi, Pramod Chandraiah, Daniel Gajski, "Design of a MP3 Decoder using the System-On-Chip Environment (SCE)", TR 07-05, November 2, 2007 download pdf

 

Daniel Castellanos, Rainer Doemer, "System-Level Modeling and Simulation of an Elevator Control System", TR 07-04, June 25, 2007 download pdf

 

Carmen Badea, Alexandru Nicolau, Alexander Veidenbaum, "A Simplified Java Compilation System for Resource-Constrained Embedded Processors", TR 07-03, June 2007. Complete TR is available upon request

 

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramanian, "Iterative System Tuning for Proactive Systems by Formal Verification and System Prototype: System Prototype Program Interface", TR 07-02, January 2007. Complete TR is available upon request

 

Lochi Yu, Samar Abdi, Daniel Gajski, "Transaction Level Platform Modeling in SystemC for Multi-Processor Designs", TR 07-01 January 2007 download pdf

 

Lochi Yu, Samar Abdi, Daniel Gajski, “Transaction Level Platform Modeling in SystemC for Multi-Processor Designs,”TR 06-15, January 2007. download pdf

 

S. Pasricha, Y. Park, F. Kurdahi, N. Dutt , “Power-Performance Trade-Offs in On-Chip Communication Architecture Synthesis using the CAPPS Framework,” TR 06-12, November 2006. download pdf

 

A. Gerstlauer, G. Schirner, D. Shin, and J. Peng, “Necessary and Sufficient Functionality and Parameters for SoC Communication,” TR 06-01, May 2006. Complete TR is available upon request.