Skip to content

@constantinides constantinides

Change the repository type filter

All

    Repositories list

    17 repositories

    • paf

      Public
      PAF: Probabilistic Analysis of Errors in Floating-Point Computations
      Python
      •
      MIT License
      •2•0•0•0•Updated Jun 1, 2021Jun 1, 2021

    • iiProver

      Public
      An LLVM pass to prove that an II works for the given loop for Vitis HLS
      C++
      •
      MIT License
      •1•0•0•0•Updated Feb 15, 2021Feb 15, 2021

    • BACS

      Public
      Benchmarks for Approximate Circuit Synthesis
      Verilog
      •8•0•0•0•Updated Aug 2, 2020Aug 2, 2020

    • LUTNet

      Public
      Verilog
      •
      BSD 2-Clause "Simplified" License
      •18•0•0•0•Updated Mar 4, 2020Mar 4, 2020

    • rethinking

      Public
      Support material for Royal Society Phil Trans A paper
      Python
      •0•1•0•0•Updated Apr 3, 2019Apr 3, 2019

    • RAABB

      Public archive
      C
      •0•3•0•0•Updated Sep 4, 2018Sep 4, 2018

    • emethod

      Public
      C++
      •4•0•0•0•Updated Jun 27, 2018Jun 27, 2018

    • FPGA-shared-mem

      Public
      VHDL
      •
      Apache License 2.0
      •9•1•0•0•Updated Dec 7, 2017Dec 7, 2017

    • KOCL

      Public
      KOCL (KAPow for OpenCL)
      C
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Sep 21, 2017Sep 21, 2017

    • PolyTSS

      Public
      Tile size selection for optimized memory reuse in high-level synthesis
      MATLAB
      •
      Apache License 2.0
      •2•0•0•0•Updated Aug 29, 2017Aug 29, 2017

    • Potholes

      Public
      Polyhedral Compilation tool for High Level Synthesis.
      C++
      •3•0•0•0•Updated Aug 14, 2017Aug 14, 2017

    • protoip

      Public
      IP prototyping in FPGA hardware
      C++
      •8•1•0•0•Updated Jul 17, 2017Jul 17, 2017

    • benchmarks-HLS

      Public
      Benchmarks, testbenches, and transformed codes for high-level synthesis research
      C
      •4•0•0•0•Updated Jul 14, 2017Jul 14, 2017

    • figaro

      Public
      Figaro Programming Language and Core Libraries
      Scala
      •
      Other
      •151•0•0•0•Updated Jun 8, 2017Jun 8, 2017

    • soap

      Public
      :dart: soap - Structural Optimisation of Arithmetic Programs
      Python
      •
      MIT License
      •6•0•0•0•Updated May 9, 2016May 9, 2016

    • kmeans-stealing

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Feb 22, 2016Feb 22, 2016

    • Vivado-KMeans

      Public
      Hand-written HDL code and C-based HLS designs for K-means clustering implementations on FPGAs
      VHDL
      •
      Other
      •23•1•0•0•Updated Feb 2, 2014Feb 2, 2014