Abstract:High level synthesis (HLS) is an important enabling technology for the adoption of hardware accelerator technologies. It promises the performance and energy efficiency of hardware designs with a lower barrier to entry in design expertise, and shorter design time. State-of-the-art high level synthesis now includes a wide variety of powerful optimizations that implement efficient hardware. These optimizations can implement some of the most important features generally performed in manual designs including parallel hardware units, pipelining of execution both within a hardware unit and between units, and fine-grained data communication. We may generally classify the optimizations as those that optimize hardware implementation within a code block (intra-block) and those that optimize communication and pipelining between code blocks (inter-block). However, both optimizations are in practice difficult to apply. Real-world applications contain data-dependent blocks of code and communicate through complex data access patterns. Existing high level synthesis tools cannot apply these powerful optimizations unless the code is inherently compatible, severely limiting the optimization opportunity. In this paper we present an integrated framework to model and enable both intra- and inter-block optimizations. This integrated technique substantially improves the opportunity to use the powerful HLS optimizations that implement parallelism, pipelining, and fine-grained communication. Our polyhedral model-based technique systematically defines a set of data access patterns, identifies effective data access patterns, and performs the loop transformations to enable the intra- and inter-block optimizations. Our framework automatically explores transformation options, performs code transformations, and inserts the appropriate HLS directives to implement the HLS optimizations. Furthermore, our framework can automatically generate the optimized communication blocks for fine-grained communication between hardware blocks. Experimental evaluation demonstrates that we can achieve an average of 6.04X speedup over the high level synthesis solution without our transformations to enable intra- and inter-block optimizations.

Optimizing resource utilization using transformations

Improving High Level Synthesis Optimization Opportunity Through Polyhedral Transformations.

Behavioural Transformation to Improve Circuit Performance in High-Level Synthesis

Scheduling to timing optimization for a novel high-level synthesis approach

Bit-Level Transformation and Optimization for Hardware Synthesis of Algorithmic Descriptions

Bit-Level Optimization For High-Level Synthesis And Fpga-Based Acceleration

Facilitating the search for compositions of program transformations

Combining Power and Arithmetic Optimization via Datapath Rewriting

A Comprehensive High-Level Synthesis System for Control-Flow Intensive Behaviors

Enhancing High-Level Synthesis Using a Meta-Programming Approach

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search

High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices

Design Optimization by Fine-grained Interleaving of Local Netlist Transformations in Lagrangian Relaxation

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

High-level synthesis: productivity, performance, and software constraints

Bayesian Optimization for Efficient Accelerator Synthesis

Pyramid: Machine Learning Framework to Estimate the Optimal Timing and Resource Usage of a High-Level Synthesis Design

A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures

Automated Generation of Reconfigurable Systems-on-Chip by Interactive Code Transformations for High-Level Synthesis

Minimizing Leakage Power In Aging-Bounded High-Level Synthesis With Design Time Multi-V-Th Assignment