constantinides
Popular repositories Loading
-
-
Vivado-KMeans
Vivado-KMeans PublicForked from FelixWinterstein/Vivado-KMeans
Hand-written HDL code and C-based HLS designs for K-means clustering implementations on FPGAs
VHDL 1
-
-
-
figaro
figaro PublicForked from charles-river-analytics/figaro
Figaro Programming Language and Core Libraries
Scala
Repositories
Showing 10 of 17 repositories
- paf Public Forked from soarlab/paf
PAF: Probabilistic Analysis of Errors in Floating-Point Computations
constantinides/paf’s past year of commit activity - iiProver Public Forked from jianyicheng/iiProver
An LLVM pass to prove that an II works for the given loop for Vitis HLS
constantinides/iiProver’s past year of commit activity - PolyTSS Public Forked from Junyi-Liu/PolyTSS
Tile size selection for optimized memory reuse in high-level synthesis
constantinides/PolyTSS’s past year of commit activity