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.

High-Level Synthesis Compile Optimization Algorithm for Recursive Functions

GA Based Inlining Optimization in Front-End Synthesis of Embedded Software

An Automatic Optimization Method of Combinational Logic Loops in CGRA

Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis

Dependency Graph-based High-level Synthesis for Maximum Instruction Parallelism

A Survey on Performance Optimization of High-Level Synthesis Tools

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup

Highly Efficient Modulo Loop Pipeline for High Level Synthesis

Dynamic-II Pipeline: Compiling Loops with Irregular Branches on Static-Scheduling CGRA

Low-Power Loop Parallelization Onto CGRA Utilizing Variable Dual VDD

Improving High Level Synthesis Optimization Opportunity Through Polyhedral Transformations.

Exploiting Outer Loop Parallelism of Nested Loop on Coarse-Grained Reconfigurable Architectures

Design space exploration of multiple loops on FPGAs using high level synthesis

High-Reliability Compilation Optimization Sequence Generation Framework Based ANN

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

GAHLS: an optimized graph analytics based high level synthesis framework

Resource-saving compile flow for coarse-grained reconfigurable architectures

Extending High-Level Synthesis for Task-Parallel Programs

A VLSI Structural Optimization Method and Workflow Based on Synthesis Frequency Inflexion

Register Allocation Algorithm for High-Level Circuit Synthesis for Improved Testability

Cortex: A Compiler for Recursive Deep Learning Models