Logic Synthesis Techniques for Embedded Control Code Optimization (1997)
| Venue: | In Proc. Int. Workshop on Logic Synthesis |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Cortadella97logicsynthesis,
author = {Jordi Cortadella and Luciano Lavagno and Ellen Sentovich},
title = {Logic Synthesis Techniques for Embedded Control Code Optimization},
booktitle = {In Proc. Int. Workshop on Logic Synthesis},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose software synthesis and optimization based on the composition of three techniques that have recently been developed or experienced evolutionary changes. They all have a basis in logic synthesis, but each contains quite different analyses and transformations. They are applied to software for embedded systems. They are generally much more expensive than optimizations normally used in general-purpose compilers, but are basedon a much more precise understanding of the meaning of the program or procedure that is being optimized. Standard compilers are limited in the type and amount of optimizations they can perform by: ffl execution time limits; since they must be applicable to large programs within a short compile-and-debug cycle, they cannot afford to use optimizations whose complexity is more than quadratic (or even linear) in the size of the source code, ffl the richness of the language; since the determining the function computedby a program is impossible in general,...
