Issue No. 12 - Dec. (2012 vol. 61)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2011.205
Qiang Liu , Imperial College London, London
Tim Todman , Imperial College London, London
Wayne Luk , Imperial College London, London
George A. Constantinides , Imperial College London, London
Utility-directed transformations involve changing a design to optimize for given constraints while preserving behavior. These changes are often achieved by techniques such as linear programming or geometric programming. We present a systematic approach composing multiple utility-directed transformations for optimizing and mapping a sequential design onto a customizable parallel computing platform such as a Field-Programmable Gate Array (FPGA). Our aim is to enable automatic design optimization at compile time. Design goals specified by users drive the design transformations. Each utility-directed transformation achieves part of the overall goal, and multiple utility-directed transformations, connected by pattern-directed transformations, are composed to fulfill the overall design requirements. The utility-directed transformations in this work produce performance-optimized designs by exploiting data reuse, MapReduce, and pipelining for the target parallel computing platform. Moreover, it is shown that performing transformations in different orders allows users to trade speed for resources, and design performance for compile time. Several applications are used to evaluate this approach on FPGAs. The system performance of a 64-bit matrix multiplication is shown to improve up to 98 times compared to the original design, in the target hardware platform.
Energy efficiency, Pipeline processing, Energy management, Electricity supply industry, Design optimization, Optimization, Geometric programming, geometric programming, Design optimization, data reuse, MapReduce, pipelining
W. Luk, T. Todman, Q. Liu and G. A. Constantinides, "Optimizing Hardware Design by Composing Utility-Directed Transformations," in IEEE Transactions on Computers, vol. 61, no. , pp. 1800-1812, 2012.