Title :
Synthesis of software programs for embedded control applications
Author :
Balarin, Felice ; Chiodo, Massimiliano ; Giusto, Paolo ; Hsieh, Harry ; Jurecska, Attila ; Lavagno, Luciano ; Sangiovanni-Vincentelli, Alberto ; Sentovich, Ellen M. ; Suzuki, Kei
Author_Institution :
Cadence Berkeley Labs., CA, USA
fDate :
6/1/1999 12:00:00 AM
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
Keywords :
Boolean functions; computerised control; data flow graphs; embedded systems; finite state machines; high level synthesis; optimisation; software engineering; Boolean function optimization; co-synthesis; data flow graph; embedded reactive real-time control; finite state machine; high-level specification language; software program synthesis; Application software; Automata; Boolean functions; Control system synthesis; Costs; Embedded software; Embedded system; Hardware; Runtime; Specification languages;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on