Name
Abstract | ||
|---|---|---|
Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are composed together, significant additional opportunities for optimizations are introduced because only a subset of the entire functionality is actually used. We propose COSE-a technique to jointly optimize such designs. We use symbolic execution to compute invariants in each component of the design. We propagate these invariants as constraints to other modules using global flow analysis of the composition of the design. This captures optimizations that go beyond, and are qualitatively different than, those achievable by compiler optimization techniques such as common subexpression elimination, which are localized. We again employ static analysis techniques to perform optimizations subject to these constraints. We implemented COSE in the Metropolis platform and achieved significant optimizations using reasonable computational resources. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/FMCAD.2007.27 | FMCAD |
Keywords | Field | DocType |
global optimization,common subexpression elimination,image processing,static analysis,embedded system,design optimization,field programmable gate arrays,hardware,compiler optimization,constraint optimization,embedded computing,entire function,flow analysis | Common subexpression elimination,Global optimization,Computer science,Static analysis,Parallel computing,Field-programmable gate array,Theoretical computer science,Real-time computing,Optimizing compiler,Software,Symbolic execution,Constrained optimization | Conference |
ISBN | Citations | PageRank |
0-7695-3023-0 | 0 | 0.34 |
References | Authors | |
16 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fadi A. Zaraket | 1 | 42 | 9.93 |
| John Pape | 2 | 0 | 0.34 |
| Adnan Aziz | 3 | 1778 | 149.76 |
| Margarida F. Jacome | 4 | 214 | 20.17 |
| Sarfraz Khurshid | 5 | 2892 | 152.88 |