Synthesis of software programs for embedded control applications
Balarin, F.
Chiodo, M.
Giusto, P.
Hsieh, H.
Jurecska, A.
Lavagno, L.
Sangiovanni-Vincentelli, A.
Sentovich, E.M.
Suzuki, K.
Cadence Berkeley Labs., CA;
Abstract
Software components for embedded reactive real-time applications
must satisfy tight code size and run-time constraints. Cooperating
finite state machines provide 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 a 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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
