Affiliation:
1. Ghent University, Ghent, Belgium
Abstract
In many applications, subsequent data manipulations differ only in a small set of parameter values. Because of their reconfigurability, FPGAs (field programmable gate arrays) can be configured with a specialized circuit each time the parameter values change. This technique is called dynamic data folding. The specialized circuits are smaller and faster than their generic counterparts. However, the overhead involved in generating the configurations for the specialized circuits at runtime is very large when conventional tools are used, and this overhead will in many cases negate the benefit of using optimized configurations.
This article introduces an automatic method for generating runtime parameterizable configurations from arbitrary Boolean circuits. These configurations, in which some of the configuration bits are expressed as a closed-form Boolean expression of a set of parameters, enable very fast run-time specialization, since specialization only involves evaluating these expressions. Our approach is validated on a ternary content-addressable memory (TCAM). We show that the specialized configurations, produced by our method use 2.82 times fewer LUTs than the generic configuration, and even 1.41 times fewer LUTs than the implementation generated by Xilinx Coregen. Moreover, while Coregen needs hand-crafted generators for each type of circuit, our toolflow can be applied to any VHDL design. Using our automatic and generally applicable method, run-time hardware optimization suddenly becomes feasible for a large class of applications.
Publisher
Association for Computing Machinery (ACM)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference36 articles.
1. Altera. 2001. Application note 119: Implementing high-speed search applications with Altera CAM Altera. Altera. 2001. Application note 119: Implementing high-speed search applications with Altera CAM Altera.
2. Berkeley Logic Synthesis and Verification Group. ABC: A system for sequential synthesis and verification. Berkeley Logic Synthesis and Verification Group. Berkeley Logic Synthesis and Verification Group. ABC: A system for sequential synthesis and verification. Berkeley Logic Synthesis and Verification Group.
3. Biere A. 2007. The AIGER and-Inverter Graph (AIG) format. Johannes Kepler University. Biere A. 2007. The AIGER and-Inverter Graph (AIG) format. Johannes Kepler University.
4. Brelet J.-L. and New B. 1999. XAPP203: Designing flexible fast CAMs with Virtex family FPGAs. Xilinx. Brelet J.-L. and New B. 1999. XAPP203: Designing flexible fast CAMs with Virtex family FPGAs. Xilinx.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献