All Categories → No Category → high-level-synthesis

Top 7 high-level-synthesis open source projects

Time-sensitive affine types for predictable hardware generation

✭ 87

scala racket javascript emacs lisp Makefile CSS open-source-hardware high-level-synthesis fpga-programming dahlia

Intermediate Language (IL) for Hardware Accelerator Generators

✭ 157

rust python SystemVerilog C++javascript CSS open-source-hardware intermediate-language high-level-synthesis fpga-programming dahlia

PandA-bambu public repository

✭ 129

C++c M4 Makefile TeX VHDL fpga hls high-level-synthesis hw-accelerators c-to-verilog-vhdl

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

✭ 63

Coq ocaml SystemVerilog scheme tcl shell semantics coq verification verilog compcert high-level-synthesis

A Vivado HLS Command Line Helper Tool

✭ 35

python C++fpga high-level-synthesis vivado-hls

Polyphony is Python based High-Level Synthesis compiler.

✭ 90

python c objective c C++fpga high-level-synthesis

🎯 soap - Structural Optimisation of Arithmetic Programs

✭ 21

python Isabelle VHDL fpga design-space-exploration abstract-interpretation high-level-synthesis floating-point-accuracy-problems

1-7 of 7 high-level-synthesis projects