A tool box to map system level communications on HW/SW architectures

We present a hardware and software tool box that allows to map an initial specification done in term of tasks communicating through FIFOs onto a HW/SW architecture. Communication templates are used to characterize the way data are exchanged between tasks realized either in software or in hardware. From these templates, we define the specifications-in terms of resources necessary to handle the communications-of a hardware module and a set of software drivers. These interface modules and their software counterparts allow simple virtual component reuse since they not only implement protocol compatibility through the use of the VCI/OCB standard but also system level communications through semantics widely accepted in the design community. The interface modules have been used in the COSY project for the implementation of a video decoder by Philips starting from a system-level description and performing communication refinement using Cadence VCC and Philips' own communication schemes.

[1]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[2]  Frédéric Pétrot,et al.  Efficient combinational loops handling for cycle precise simulation of system on a chip , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).

[3]  Jean Paul Calvez,et al.  Embedded Real-Time Systems , 1993 .

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

[5]  Thomas Martyn Parks,et al.  Bounded scheduling of process networks , 1996 .

[6]  Edward A. Lee,et al.  System-level codesign of mixed hardware-software systems , 1995 .

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

[8]  Erwin A. de Kock,et al.  COSY communication IP's , 2000, Proceedings 37th Design Automation Conference.

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

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  Alain Greiner,et al.  Cycle precise core based hardware/software system simulation with predictable event propagation , 1997, EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167).

[12]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.