DocumentCode :
1511632
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
Volume :
18
Issue :
6
fYear :
1999
fDate :
6/1/1999 12:00:00 AM
Firstpage :
834
Lastpage :
849
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;
fLanguage :
English
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
0278-0070
Type :
jour
DOI :
10.1109/43.766731
Filename :
766731
Link To Document :
بازگشت