Hardware-software codesign of embedded systems

Widespread use of embedded systems is occurring due to the increase in complexity of digital devices and systems. These systems are currently being implemented by software and hardware components in order to benefit from the strengths of each technology. We present an introduction to hardware/software codesign techniques for embedded systems.

[1]  Ron Miller,et al.  Behavioral Synthesis Methodology for HDL-Based Specification and Validation , 1995, 32nd Design Automation Conference.

[2]  Luciano Lavagno,et al.  Synthesis of software programs for embedded control applications , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Gert Goossens,et al.  Chess: retargetable code generation for embedded DSP processors , 1994, Code Generation for Embedded Processors.

[4]  Rick Reed,et al.  Telecommunications systems engineering using SDL , 1989 .

[5]  Giovanni De Micheli,et al.  High Level Synthesis of ASlCs un - der Timing and Synchronization Constraints , 1992 .

[6]  Edward A. Lee,et al.  A hardware-software codesign methodology for DSP applications , 1993, IEEE Design & Test of Computers.

[7]  Bill Lin,et al.  Embedded architecture co-synthesis and system integration , 1996 .

[8]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Luciano Lavagno,et al.  Hardware-software codesign of embedded systems , 1994, IEEE Micro.

[10]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[11]  Rolv Bræk.  SDL Basics , 1996, Comput. Networks ISDN Syst..

[12]  David Garlan,et al.  Formal Connectors , 1994 .

[13]  Rajesh Gupta,et al.  Hardware/software co-design , 1996, Proc. IEEE.

[14]  Ahmed Amine Jerraya,et al.  Protocol selection and interface generation for HW-SW codesign , 1997, IEEE Trans. Very Large Scale Integr. Syst..

[15]  Hugo De Man,et al.  Constructing application-specific heterogeneous embedded architectures from custom HW/SW applications , 1996, DAC '96.

[16]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[17]  Alice C. Parker,et al.  Slide: An I/O Hardware Descriptive Language , 1981, IEEE Transactions on Computers.

[18]  Gaetano Borriello,et al.  Synthesis of the hardware/software interface in microcontroller-based systems , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[19]  Rajesh Gupta,et al.  An algorithm for synthesis of system-level interface circuits , 1996, ICCAD 1996.

[20]  S. M. Wu,et al.  The IBM High-Level Synthesis System , 1991 .

[21]  Donald E. Thomas,et al.  The Verilog® Hardware Description Language , 1990 .

[22]  Bill Lin,et al.  Synthesis Of Concurrent System Interface Modules With Automatic Protocol Conversion Generation , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[23]  David C. Ku,et al.  HardwareC -- A Language for Hardware Design (Version 2.0) , 1990 .

[24]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[25]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[26]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[27]  Frank Vahid,et al.  Specification partitioning for system design , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[28]  Clifford Liem,et al.  Compilation Techniques and Tools for Embedded Processor Architectures , 1997 .

[29]  Francesco Curatelli,et al.  Software synthesis for real-time information processing systems , 1995, Code Generation for Embedded Processors.

[30]  Hugo De Man,et al.  Embedded architecture co-synthesis and system integration , 1996, Proceedings of 4th International Workshop on Hardware/Software Co-Design. Codes/CASHE '96.

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

[32]  D.E. Thomas,et al.  The design of mixed hardware/software systems , 1996, 33rd Design Automation Conference Proceedings, 1996.

[33]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[34]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[35]  Alberto Sangiovanni-Vincentelli,et al.  Embedded system design and hybrid systems , 1997 .

[36]  Aarti Gupta,et al.  Formal hardware verification methods: A survey , 1992, Formal Methods Syst. Des..

[37]  G. Borriello,et al.  Communication synthesis for distributed embedded systems , 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

[38]  Raul Camposano,et al.  Embedded system design , 1996, Des. Autom. Embed. Syst..

[39]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[40]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[41]  Rajesh Gupta,et al.  Hardware Software Co-Design of Embedded Systems , 1996, VLSI Design.

[42]  Jørgen Staunstrup.  Design Specification and Verification , 1997 .