|
Synthesis of Software Programs for Embedded Control Applications
Abstract:
Software components for embedded reactive real-time applications
must satisfy tight code size and
run-time constraints.
Cooperating Finite State Machines provide a convenient intermediate format
for embedded system co-synthesis, between high-level
specification languages and software or hardware implementations.
We propose a software generation methodology that takes advantage
of the very restricted class of specifications and allows for
tight control over
the implementation cost.
The methodology exploits several techniques from the domain of Boolean function
optimization. We also describe how the simplified control/data-flow graph used
as an intermediate representation can be used to accurately estimate the size
and timing cost of the final executable code.
UCB Design Technology Warehouse Homepage
|