A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.
DaCe - Data Centric Parallel Programming
Intermediate Language (IL) for Hardware Accelerator Generators
#计算机科学#NNgen: A Fully-Customizable Hardware Synthesis Compiler for Deep Neural Network
Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing
A collection of extensions for Vitis and Intel FPGA OpenCL to improve developer quality of life.
Veriloggen: A Mixed-Paradigm Hardware Construction Framework
FPGA Accelerator for CNN using Vivado HLS
A Compiler for the Popr Language
Allo: A Programming Model for Composable Accelerator Design
Examples shown as part of the tutorial "Productive parallel programming on FPGA with high-level synthesis".
Time-sensitive affine types for predictable hardware generation
CHARM: Composing Heterogeneous Accelerators on Heterogeneous SoC Architecture
Polyphony is Python based High-Level Synthesis compiler.
A formally verified high-level synthesis tool based on CompCert and written in Coq.
High-Performance Sparse Linear Algebra on HBM-Equipped FPGAs Using HLS
