constantinides Goto Github PK

bacs

Benchmarks for Approximate Circuit Synthesis

benchmarks-hls

Benchmarks, testbenches, and transformed codes for high-level synthesis research

emethod

figaro

Figaro Programming Language and Core Libraries

fpga-shared-mem

iiprover

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

kmeans-stealing

kocl

KOCL (KAPow for OpenCL)

lutnet

paf

PAF: Probabilistic Analysis of Errors in Floating-Point Computations

polytss

Tile size selection for optimized memory reuse in high-level synthesis

potholes

Polyhedral Compilation tool for High Level Synthesis.

protoip

IP prototyping in FPGA hardware

raabb

rethinking

Support material for Royal Society Phil Trans A paper

soap

:dart: soap - Structural Optimisation of Arithmetic Programs

vivado-kmeans

Hand-written HDL code and C-based HLS designs for K-means clustering implementations on FPGAs