|
Published Articles >> Table of Contents >> Abstract
Design, Automation and Test in Europe (DATE '00)
p. 14
Free MDD-Based Software Optimization Techniques for Embedded Systems
Chunghee Kim, Hanyang University
Luciano Lavagno, Università di Udine
Alberto Sangiovanni-Vincentelli, University of California at Berkeley
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840009
Send link to a friend
| Abstract |
|
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, performance and safety constraints. Several super-optimization techniques for embedded software based on Multi-valued Decision Diagram (MDD) representations have been described in the literature, but they all share the same basic limitation. They are based on standard Ordered MDD (OMDD) packages, and hence require a fixed order of evaluation for the MDD variables on every execution path. Free MDDs (FMDDs) lift this limitation, and hence open up more optimization opportunities. Finding the optimal variable ordering for FMDDs is a very difficult problem. Hence in this paper we describe a heuristic procedure that performs well in practice, and is based on FMDD cost estimation applied to recursive co-factoring. Experimental results show that our new variable ordering method obtains often smaller embedded software than previous (sifting-based) methods.
|
 Additional Information
|
Citation:
Chunghee Kim, Luciano Lavagno, Alberto Sangiovanni-Vincentelli,
"Free MDD-Based Software Optimization Techniques for Embedded Systems,"
date,
p. 14,
Design, Automation and Test in Europe (DATE '00),
2000
|
|
