Synthesis of Mixed Software-Hardware Implementations From CFSM Specifications

Authors:
Chiodo, Massimiliano
Giusto, Paolo
Hsieh, Harry
Jurecska, Attila
Lavagno, Luciano
Sangiovanni, Vincentelli
Technical Report Identifier: ERL-93-49
January 1, 1993

Abstract: Embedded controller for reactive real-time applications are implemented as mixed software- hardware systems. In [CGH+ 93], a formal specification model called Co-design Finite State Machine (CFSM) is introduced. In this paper we present a methodology for partitioning and automatic synthesis of software-hardware systems specified with CFSMs, CFSM networks are partitioned into software ad hardware domains. Interfaces between hardware and/or software partitions are defined. An implementation of the entire system is automatically generated and optimization techniques are applied to both software and hardware. To reduce the complexity of the design and the representation, library modules can be predefined and reused. An example from the automotive industry is used to demonstrate the method.