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.

Hector: Multi-level Paradigm in Hardware Synthesis

HECTOR: A Multi-Level Intermediate Representation for Hardware Synthesis Methodologies.

MetaHDL:inference and parameter tracing oriented domain-specific language for hardware description

Hermes: Enhancing Extensibility in High-Level Synthesis Through Multi-Level IRs

LLHD: A Multi-level Intermediate Representation for Hardware Description Languages

RapidStream IR: Infrastructure for FPGA High-Level Physical Synthesis

Hestia: an Efficient Cross-Level Debugger for High-Level Synthesis

HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description

A study of high-level synthesis: Promises and challenges

PyHGL: A Python-based Hardware Generation Language Framework

HLSPilot: LLM-based High-Level Synthesis

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

Building a Reusable and Extensible Automatic Compiler Infrastructure for Reconfigurable Devices

Improving High Level Synthesis Optimization Opportunity Through Polyhedral Transformations.

Program implementation schemes for hardware-software systems

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

The Challenges of Hardware Synthesis from C-Like Languages

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

High-Level Synthesis for FPGAs: From Prototyping to Deployment

PEak: A Single Source of Truth for Hardware Design and Verification

Towards Layout-Friendly High-Level Synthesis