A Methodology and Tool for Automated Transformational High-Level Design Space Exploration

Authors:
Affiliations:
Venue:
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Year:
2000

Citing 6
Cited 2

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Maximally fast and arbitrarily fast implementation of linear computations

ICCAD '92 1992 IEEE/ACM international conference proceedings on Computer-aided design
Power optimization in programmable processors and ASIC implementations of linear systems: transformation-based approach

DAC '96 Proceedings of the 33rd annual Design Automation Conference
High-level power modeling, estimation, and optimization

DAC '97 Proceedings of the 34th annual Design Automation Conference
A methodology for guided behavioral-level optimization

DAC '98 Proceedings of the 35th annual Design Automation Conference
A scalable methodology for cost estimation in a transformational high-level design space exploration environment

Proceedings of the conference on Design, automation and test in Europe

Compiler-in-the-loop exploration during datapath synthesis for higher quality delay-area trade-offs

ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on adaptive power management for energy and temperature-aware computing systems
A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

Objective of the methodology presented in this paper is to perform design space exploration on a high level of abstraction by applying high-level transformations. The paper concentrates on algorithmic approaches on controlling the iterative process of transformation selection. A novel modular algorithm for transformation control is presented and its effectiveness is experimentally validated. In combination with a large set of transformation algorithms and mechanisms for high-level estimation of transformation quality, there results a methodology for automated high-level design space exploration. All the concepts are summarized in a software tool called ExTra (Design Space Exploration Using Transformations). Finally, the results of the application of ExTra to the JPEG encoding algorithm are presented.