Hardware/software co-design of digital telecommunication systems

We reflect on the nature of digital telecommunication systems. We argue that these systems require, by nature, a heterogeneous specification and an implementation with heterogeneous architectural styles. CoWare is a hardware/software co-design environment based on a data model that allows to specify, simulate, and synthesize heterogeneous hardware/software architectures from a heterogeneous specification. CoWare is based on the principle of encapsulation of existing hardware and software compilers and special attention is paid to the interactive synthesis of hardware/software and hardware/hardware interfaces. The principles of CoWare are illustrated by the design process of a spread-spectrum receiver for a pager system.

[1]  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.

[2]  Robert W. Brodersen,et al.  Design of system interface modules , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[3]  Marly Roncken,et al.  The VLSI-programming language Tangram and its translation into handshake circuits , 1991, Proceedings of the European Conference on Design Automation..

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

[5]  T. Meng,et al.  A 1.2 mW video-rate 2D color subband decoder , 1995, Proceedings ISSCC '95 - International Solid-State Circuits Conference.

[6]  Markus Freericks,et al.  Describing instruction set processors using nML , 1995, Proceedings the European Design and Test Conference. ED&TC 1995.

[7]  G. Goossens,et al.  Design Of Heterogeneous Ics For Mobile And Personal Communication Systems , 1994, IEEE/ACM International Conference on Computer-Aided Design.

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

[9]  Gaetano Borriello,et al.  The Chinook hardware/software co-synthesis system , 1995 .

[10]  H. De Man,et al.  A programmable CDMA IF transceiver ASIC for wireless communications , 1995, Proceedings of the IEEE 1995 Custom Integrated Circuits Conference.

[11]  W. Richard Stevens,et al.  Unix network programming , 1990, CCRV.

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

[13]  W.F.J. Verhaegh,et al.  Allocation of multiport memories for hierarchical data streams , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

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

[15]  Fadi J. Kurdahi,et al.  Partitioning by regularity extraction , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[16]  Wim F. J. Verhaegh,et al.  PHIDEO: High-level synthesis for high throughput applications , 1995, J. VLSI Signal Process..

[17]  A. O. Fernandes,et al.  Hardware-software codesign of embedded systems , 1998, Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216).

[18]  A LeeEdward,et al.  A Hardware-Software Codesign Methodology for DSP Applications , 1993 .

[19]  Jan M. Rabaey,et al.  DSP specification using the Silage language , 1990 .

[20]  Edward A. Lee,et al.  Scheduling dynamic dataflow graphs with bounded memory using the token flow model , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.

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

[22]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[23]  Frank Vahid,et al.  System specification with the SpecCharts language , 1992, IEEE Design & Test of Computers.

[24]  Pierre G. Paulin,et al.  DSP design tool requirements for embedded systems: A telecommunications industrial perspective , 1995, J. VLSI Signal Process..

[25]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[26]  H. De Man,et al.  Dataflow-driven Memory Allocation For Multi-dimensional Signal Processing Systems , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[27]  Hugo De Man,et al.  Synthesis of High Throughput DSP ASICs Using Application Specific Datapaths , 1994 .

[28]  Hugo De Man,et al.  Illustration of the SFG-tracing multi-level behavioral verification methodology, by the correctness proof of a high to low level synthesis application in Cathedral-II , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

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

[30]  Hugo De Man,et al.  Memory and Data-Path Mapping for Image and Video Applications , 1993 .

[31]  Gaetano Borriello,et al.  Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems , 1994, 31st Design Automation Conference.

[32]  M. Engels,et al.  Grape-II: A System-Level Prototyping Environment for DSP Applications , 1995, Computer.

[33]  Hugo De Man,et al.  High-level synthesis for real-time digital signal processing , 1993, The Kluwer international series in engineering and computer science.

[34]  Keshab K. Parhi,et al.  Design of high-performance DSP systems , 1996 .

[35]  Hugo De Man,et al.  Software synthesis for real-time information processing systems , 1995 .

[36]  Hugo De Man,et al.  Time constrained allocation and assignment techniques for high throughput signal processing , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[37]  H. De Man,et al.  User requirements for designing complex systems on silicon , 1994, Proceedings of 1994 IEEE Workshop on VLSI Signal Processing.

[38]  Teresa H. Meng,et al.  A 1.2 mW video-rate 2-D color subband decoder , 1995 .

[39]  Jochen A. G. Jess,et al.  Efficient code generation for in-house DSP-cores , 1995, Proceedings the European Design and Test Conference. ED&TC 1995.

[40]  R. Woudsma,et al.  Consumer applications: a driving force for high-level synthesis of signal-processing architectures , 1992, IEEE Micro.

[41]  H. De Man,et al.  Verification of loop transformations for real time signal processing applications , 1994, Proceedings of 1994 IEEE Workshop on VLSI Signal Processing.

[42]  Bill Lin,et al.  Synthesis of concurrent system interface modules with automatic protocol conversion generation , 1994, ICCAD.

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

[44]  Rudy Lauwereins,et al.  Design of a processing board for a programmable multi-VSP system , 1993, J. VLSI Signal Process..

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

[46]  Miodrag Potkonjak,et al.  Fast prototyping of datapath-intensive architectures , 1991, IEEE Design & Test of Computers.

[47]  Massoud Pedram,et al.  Power conscious CAD tools and methodologies: a perspective , 1995, Proc. IEEE.

[48]  Hugo De Man,et al.  Cathedral-III : architecture-driven high-level synthesis for high throughput DSP applications , 1991, 28th ACM/IEEE Design Automation Conference.

[49]  James F. Ready.  VRTX: A Real-Time Operating System for Embedded Microprocessor Applications , 1986, IEEE Micro.

[50]  Rudy Lauwereins,et al.  Paradigm RP, a System for the Rapid Prototyping of Real-Time DSP Applications , 1994 .

[51]  Hugo De Man,et al.  Quadratic zero-one programming based synthesis of application specific data paths , 1993, ICCAD '93.

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

[53]  Randy H. Katz,et al.  A new interface specification methodology and its application to transducer synthesis , 1988 .

[54]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

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

[56]  Joos Vandewalle,et al.  Architectural strategies for an application-specific synchronous multiprocessor environment , 1988, IEEE Trans. Acoust. Speech Signal Process..