Design of Embedded Systems

[1]  Luciano Lavagno,et al.  UML for Real , 2003, Springer US.

[2]  Gabriela Nicolescu,et al.  Component-based design approach for multicore SoCs , 2002, DAC '02.

[3]  Rainer Dömer.  The SpecC language , 2001 .

[4]  C. Norris Ip,et al.  Simulation coverage enhancement using test stimulus transformation , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

[5]  Joseph Buck,et al.  Heterogeneous modeling and simulation of embedded systems in El Greco , 2000, CODES '00.

[6]  S. Edwards.  Compiling Esterel into sequential code , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[7]  Robert K. Brayton,et al.  Planning for performance , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[8]  Francky Catthoor,et al.  Custom Memory Management Methodology , 1998, Springer US.

[9]  Nikil D. Dutt,et al.  Efficient utilization of scratch-pad memory in embedded processor applications , 1997, Proceedings European Design and Test Conference. ED & TC 97.

[10]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[11]  Heinrich Meyr,et al.  Compiled HW/SW co-simulation , 1996, DAC '96.

[12]  Sharad Malik,et al.  Performance estimation of embedded software with instruction cache modeling , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[13]  Gert Goossens,et al.  Code Generation for Embedded Processors , 1995 .

[14]  David B. Whalley,et al.  Fast instruction cache analysis via static cache simulation , 1995, Proceedings of Simulation Symposium.

[15]  Sharad Malik,et al.  Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.

[16]  Ahmed Amine Jerraya,et al.  COSMOS: a codesign approach for communicating systems , 1994, Third International Workshop on Hardware/Software Codesign.

[17]  James A. Rowson,et al.  Hardware / Software Co-Simulation , 2000 .

[18]  R. P. Kurshan,et al.  Automata-theoretic verification of coordinating processes , 1994 .

[19]  Jörg Henkel,et al.  Hardware-software cosynthesis for microcontrollers , 1993, IEEE Design & Test of Computers.

[20]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[21]  Kazutoshi Wakabayashi,et al.  Cyber: High Level Synthesis System from Software into ASIC , 1991 .

[22]  Wolfgang A. Halang,et al.  Constructing Predictable Real Time Systems , 1991 .

[23]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[24]  Alberto Sangiovanni-Vincentelli,et al.  Logic Verification, Testing and their Relationship to Logic Synthesis , 1988 .

[25]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[26]  Brian W. Kernighan.  A programming language called C: The C programming language is claimed to be compact, efficient, and expressive, to the point of supplanting assembly language on Unix , 1983, IEEE Potentials.

[27]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.