high-level-synthesis - 技术专题深度解读

google / xls

XLS: Accelerated HW Synthesis

open-source compiler hls pipeline verilog high-level-synthesis mid-level-synthesis

Updated Jul 28, 2026
C++

JulianKemmerer / PipelineC

PypelineC: A hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.

python c fpga hls hardware vhdl pipelines open-source-hardware high-level-synthesis hardware-description-language fpga-accelerators fpga-acceleration fpga-programming hardware-description

Updated Jul 28, 2026
Python

calyxir / calyx

Intermediate Language (IL) for Hardware Accelerator Generators

compiler open-source-hardware intermediate-language high-level-synthesis fpga-programming

Updated Jul 28, 2026
Rust

spcl / dace

DaCe - Data Centric Parallel Programming

programming-language fpga cuda high-performance-computing high-level-synthesis vivado-hls

Updated Jul 28, 2026
Python

cornell-zhang / allo

Allo Accelerator Design and Programming Framework (PLDI'24)

asic fpga compiler hardware dsl high-level-synthesis npu

Updated Jul 26, 2026
Python

spcl / gemm_hls

Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.

fpga hls high-level-synthesis vivado-hls

Updated Jan 20, 2025
C++

NNgen / nngen

NNgen: A Fully-Customizable Hardware Synthesis Compiler for Deep Neural Network

python deep-learning neural-network compiler hardware verilog-hdl pyverilog high-level-synthesis onnx veriloggen

Updated Oct 17, 2023
Python

ferrandi / PandA-bambu

PandA-bambu public repository

fpga hls high-level-synthesis hw-accelerators c-to-verilog-vhdl

Updated Jul 27, 2026
C++

definelicht / hlslib

A collection of extensions for Vitis and Intel FPGA OpenCL to improve developer quality of life.

cmake fpga hpc xilinx sdaccel high-level-synthesis vivado-hls intel-fpga vitis intel-fpga-opencl

Updated Jan 20, 2025
C++

changwoolee / lenet5_hls

FPGA Accelerator for CNN using Vivado HLS

hls accelerator cnn lenet vivado sdx high-level-synthesis sdsoc

Updated Oct 25, 2021
C++

cornell-zhang / heterocl

HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing (FPGA'19 Best Paper)

python fpga compiler dsl high-level-synthesis accelerators fpga-programming

Updated Apr 20, 2024
Python

PyHDI / veriloggen

Veriloggen: A Mixed-Paradigm Hardware Construction Framework

python compiler hardware verilog-hdl pyverilog high-level-synthesis hardware-construction-language

Updated Mar 8, 2026
Python

HackerFoo / poprc

Sponsor

A Compiler for the Popr Language

language dependent-types functional compiler concatenative verilog logic-programming non-deterministic partial-evaluators supercompiler linear-logic popr popr-compiler high-level-synthesis

Updated Jan 7, 2021
C

spcl / hls_tutorial_examples

Examples shown as part of the tutorial "Productive parallel programming on FPGA with high-level synthesis".

fpga hls opencl high-level-synthesis vivado-hls intel-fpga

Updated Nov 14, 2021
C++

arc-research-lab / CHARM

CHARM: Composing Heterogeneous Accelerators on Heterogeneous SoC Architecture

fpga deeplearning design-space-exploration versal high-level-synthesis electronic-design-automation heterogeneous-computing acap domain-specific-architecture versalacap

Updated Mar 12, 2026
C++

cucapra / dahlia

Time-sensitive affine types for predictable hardware generation

open-source-hardware high-level-synthesis fpga-programming dahlia

Updated Jan 5, 2026
Scala

polyphony-dev / polyphony

Polyphony is Python based High-Level Synthesis compiler.

python fpga high-level-synthesis

Updated Apr 14, 2026
Python

cornell-zhang / HiSparse

High-Performance Sparse Linear Algebra on HBM-Equipped FPGAs Using HLS

open-source-hardware high-level-synthesis fpga-programming sparse-linear-algebra

Updated Sep 27, 2024
C++

ymherklotz / vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

coq high-level-synthesis

Updated Jan 29, 2026
Rocq Prover

cornell-zhang / GraphLily

A graph linear algebra overlay

graph-processing open-source-hardware high-level-synthesis fpga-programming

Updated Apr 26, 2023
C++

high-level-synthesis - 技术专题

Here are 141 public repositories matching this topic...