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.

FlexWalker: an Efficient Multi-Objective Design Space Exploration Framework for HLS Design

Multi-objective Design Space Exploration for High-Level Synthesis Via Bayesian Optimization

Chimera: A Hybrid Machine Learning Driven Multi-Objective Design Space Exploration Tool for FPGA High-Level Synthesis

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

Design Space Exploration of FPGA-based Accelerators with Multi-Level Parallelism

AutoHLS: Learning to Accelerate Design Space Exploration for HLS Designs

Correlated Multi-objective Multi-fidelity Optimization for HLS Directives Design

Learning from the Past: Efficient High-level Synthesis Design Space Exploration for FPGAs

Practical Design Space Exploration

FlexHB: a More Efficient and Flexible Framework for Hyperparameter Optimization

IronMan-Pro: Multiobjective Design Space Exploration in HLS via Reinforcement Learning and Graph Neural Network-Based Modeling

FADO: Floorplan-Aware Directive Optimization for High-Level Synthesis Designs on Multi-Die FPGAs

HGBO-DSE: Hierarchical GNN and Bayesian Optimization Based HLS Design Space Exploration

Improving High Level Synthesis Optimization Opportunity Through Polyhedral Transformations.

A Chisel Framework for Flexible Design Space Exploration through a Functional Approach

FADO: Floorplan-Aware Directive Optimization Based on Synthesis and Analytical Models for High-Level Synthesis Designs on Multi-Die FPGAs

High-Level Synthesis for FPGAs: From Prototyping to Deployment

Discrete Variable Topology Optimization Using Multi-Cut Formulation and Adaptive Trust Regions

Efficient Task Transfer for HLS DSE

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

FLEX: an Adaptive Exploration Algorithm for Nonlinear Systems