Name
Abstract | ||
|---|---|---|
Programming productivity of FPGA devices remains a significant challenge, despite the emergence of robust high level synthesis tools to automatically transform codes written in high-level languages into RTL implementations. Focusing on a class of programs with regular loop bounds and array accesses (so-called affine programs), the polyhedral compilation framework provides a convenient environment to automate many of the manual program transformation tasks that are still needed to improve the QoR of the HLS tool. In this work, we demonstrate that tiling-driven affine loop transformations, while mandatory to ensure good data reuse and reduce off-chip communication volumes, are not always enough to achieve the best throughput, determined by the Initiation Interval (II) for loop pipelining. We develop additional techniques to optimize the computation part to be executed on the FPGA, using Index-Set Splitting (ISS) to split loops into sub-loops with different properties (sequential/parallel, different memory port conflicts features). This is motivated by the presence of non-uniform data dependences in some affine benchmarks, which are not effectively handled by the affine transformation system for tiling implemented in the PolyOpt/HLS software. We develop a customized affine+ISS optimization algorithm that aims at reducing the II of pipelined inner loops to reduce the program latency. We report experimental results on numerous affine computations. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2554688.2554772 | FPGA |
Keywords | Field | DocType |
regular loop bound,customized affine,numerous affine computation,so-called affine program,fpga device,pipelined inner loop,affine transformation system,affine benchmarks,loop pipelining,high-level synthesis,throughput optimization,tiling-driven affine loop transformation,program optimization,pipelining,high level synthesis | Program optimization,Programming productivity,Affine transformation,Pipeline (computing),Program transformation,Computer science,Parallel computing,High-level synthesis,Real-time computing,Throughput,For loop | Conference |
Citations | PageRank | References |
2 | 0.43 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peng Li | 1 | 1912 | 152.85 |
| Louis-noël Pouchet | 2 | 880 | 47.61 |
| Deming Chen | 3 | 1432 | 127.66 |
| Jason Cong | 4 | 7069 | 515.06 |