|
Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications
Abstract:
Embedded controllers for reactive real-time applications are
implemented as mixed software-hardware systems.
Co-design Finite State Machine
(CFSM) is a formal specification format for hardware-software co-design.
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 and
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.
UCB Design Technology Warehouse Homepage
|