Abstract:The quest to democratize the use of Field-Programmable Gate Arrays (FPGAs) has given High-Level Synthesis (HLS) the final push to be widely accepted with FPGA vendors strongly supporting this VLSI design methodology to expand the FPGA user base. HLS takes as input an untimed behavioral description and generates efficient RTL (Verilog or VHDL). One major advantage of HLS is that it allows us to generate a variety of different micro-architectures from the same behavioral description by simply specifying different combination of synthesis options. In particular, commercial HLS tools make extensive use of synthesize directives in the form pragmas. This strength is also a weakness as it forces HLS users to fully understand how these synthesis options work and how they interact to efficiently set them to get a hardware implementation with the desired characteristics. Luckily, this process can be automated. Unfortunately, the search space grows supra-linearly with the number of synthesis options. To address this, this work proposes an automatic synthesis option tuner dedicated for FPGAs. We have explored a larger number of behavioral descriptions targeting ASICs and FPGAs and found out that due to the internal structure of the FPGA a large number of synthesis options combinations never lead to a Pareto-optimal design and, hence, the search space can be drastically reduced. Moreover, we make use of large database of DSE results that we have generated since we started working in this field to further accelerate the exploration process. For this, we use a technique based on perceptual hashing that allows our proposed explorer to recognize similar program structures in the new description to be explored and match them with structures in our database. This allows us to directly retrieve the pragma settings that lead to Pareto-optimal configurations. Experimental results show that the search space can be accelerated substantially while leading to finding most of the Pareto-optimal designs.

Finite-Time Lyapunov Exponent Calculation on FPGA using High-Level Synthesis Tools

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

Fortran High-Level Synthesis: Reducing the barriers to accelerating HPC codes on FPGAs

High-Level Synthesis for FPGAs: From Prototyping to Deployment

Enabling FPGAs for the Masses

A study of high-level synthesis: Promises and challenges

A Survey on Performance Optimization of High-Level Synthesis Tools

Automatic Creation of High-Bandwidth Memory Architectures from Domain-Specific Languages: The Case of Computational Fluid Dynamics

Dataflow Optimized Reconfigurable Acceleration for FEM-based CFD Simulations

FPGA Implementation of Feature Detection Algorithm Based on High Level Synthesis

Revisiting FPGA Acceleration of Molecular Dynamics Simulation with Dynamic Data Flow Behavior in High-Level Synthesis

Accelerating unstructured finite volume computations on field-programmable gate arrays

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

FPGA-Based Bandwidth Selection for Kernel Density Estimation Using High Level Synthesis Approach

Cement: Streamlining FPGA Hardware Design with Cycle-Deterministic Ehdl and Synthesis

CuFP: An HLS Library for Customized Floating-Point Operators

Low-power option Greeks: Efficiency-driven market risk analysis using FPGAs

Efficient Ab-Initio Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGAs

RapidStream IR: Infrastructure for FPGA High-Level Physical Synthesis

Towards Lattice Quantum Chromodynamics on FPGA devices

Two FPGA Case Studies Comparing High Level Synthesis and Manual HDL for HEP applications