Specification and Modeling of HW/SW CO-Design for Heterogeneous Embedded Systems

The complexity of designing embedded systems is constantly increasing. Some of the factors contributing to the increase in complexity are: increasing complexities of hardware and software, increased pressure to deliver full-featured products with reduced time-to-market, and the fact that more embedded systems are using heterogeneous architectures consisting of dedicated hardware components (ASIC) and software running on processors. This ongoing increase in complexities motivates the usage of high-level system design approaches such as System Level Design tools and methodologies. In System Level Design, specification languages are used to build high level models of the entire system, at the System Level, to allow fast design space exploration. Models of Computations (MoC) are used as the underlying formal representation of a system. This paper investigates the co-design approach and its design activities. Specifically, specification and modeling computation process are investigated and evaluated. Popular models of computations are described and compared. Various specification languages for designing embedded are described and compared..

[1]  Daniel D. Gajski,et al.  Essential Issues in Codesign , 1997 .

[2]  Wayne Wolf,et al.  High-Level VLSI Synthesis , 1991 .

[3]  Petru Eles,et al.  A Survey on Hardware/Software Codesign Representation Models , 1999 .

[4]  Hugo De Man,et al.  CoWare—A design environment for heterogeneous hardware/software systems , 1996, EURO-DAC '96/EURO-VHDL '96.

[5]  Ralf Niemann.  Hardware, software co-design for data flow dominated embedded systems , 1998 .

[6]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[7]  Axel Jantsch,et al.  Models of computation in the design process , 2006 .

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

[9]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[10]  Mattias O'Nils,et al.  Specification, Synthesis and Validation of Hardware/Software Interfaces , 1999 .

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

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

[13]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[14]  Martyn Edwards,et al.  Logic synthesis , 1994, Microprocessors and microsystems.

[15]  Frank Vahid,et al.  Embedded system design - a unified hardware / software introduction , 2001 .

[16]  Daniel D. Gajski,et al.  Estimation and exploration automation of system level design , 2004 .

[17]  G. Bosman,et al.  A Survey of Co-Design Ideas and Methodologies (draft) , 2003 .

[18]  Edward A. Lee,et al.  Dataflow process networks , 1995, Proc. IEEE.

[19]  Rainer Dömer,et al.  System-level modeling and design with the SpecC language , 2000 .