Popular repositories Loading

1. DSS DSS Public

   DASS HLS Compiler

   VHDL 27 9

2. iiProver iiProver Public

   An LLVM pass to prove that an II works for the given loop for Vitis HLS

   C++ 11 1

3. HLS-benchmarks HLS-benchmarks Public

   Benchmarks for High-Level Synthesis

   C++ 10 3

4. svm_hls_on_zynq svm_hls_on_zynq Public

   Supporting Vector Machine Classsfications Using High-Level Synthesis

   C++ 7 5

5. EASY EASY Public

   Efficient Arbiter SYnthesis (EASY) - a plugin to the LegUp High Level Synthesis tool that simplifies the memory arbitration with the help of formal verifications.

   C++ 2

6. dynamatic dynamatic Public

   Forked from lana555/dynamatic

   C++ 2 1