C/C++ Based System Design Flow Using SpecC, VCC, and SystemC

L. Cai, M. Olivarez, P. Kritzinger, and D. D. Gajski, “C/C++ Based System Design Flow Using SpecC, VCC, and SystemC,” System Specification and Design Languages, edited by E Villar, Kluwer Academic Publishers, Boston, 2003.

RTOS Modeling for System-Level Design

A. Gerstlauer, H. Yu and D. D. Gajski, “RTOS Modeling for System-Level Design,” Embedded Software for SoC, edited by A. A. Jerraya, S. Yoo, N. When, D. Verkest, Kluwer Academic Publishers, June 2003.

The Guidelines and JPEG Encoder Study Case of Systems Level Architecture Exploration Using SpecC Methodology

L. Cai, M. Olivarez, and D. Gajski, “The Guidelines and JPEG Encoder Study Case of Systems Level Architecture Exploration Using SpecC Methodology,” in System On Chip Design Languages(Mignotte, Villar, Horobin, eds.), Kluwer Academic Publishers,...

Modern Standard-cell Placement Techniques

X. Yang, E. Bozorgzadeh, M. Sarrafzadeh, and M. Wang, “Modern Standard-cell Placement Techniques.” Layout Optimization in VLSI Design, Kluwer Academic Publishers, 2002.

Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions

P. Mishra and N.D. Dutt, “Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions,” Design and Analysis of Distributed Embedded Systems, Bernd Kleinjohann et al., Editors, Kluwer Academic Publishers, 2002, pp....