Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M93/49
June 1993

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1993/ERL-93-49.pdf

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.


BibTeX citation:

@techreport{Chiodo:M93/49,
    Author = {Chiodo, M. and Giusto, P. and Hsieh, H. and Jurecska, A. and Lavagno, L. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1993},
    Month = {Jun},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1993/2373.html},
    Number = {UCB/ERL M93/49},
    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.}
}

EndNote citation:

%0 Report
%A Chiodo, M.
%A Giusto, P.
%A Hsieh, H.
%A Jurecska, A.
%A Lavagno, L.
%A Sangiovanni-Vincentelli, Alberto L.
%T Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications
%I EECS Department, University of California, Berkeley
%D 1993
%@ UCB/ERL M93/49
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1993/2373.html
%F Chiodo:M93/49