HEAPLab / TAFFO
Tuning Assistant for Floating point to Fixed point Optimization
☆19Updated 2 years ago
Alternatives and similar repositories for TAFFO:
Users that are interested in TAFFO are comparing it to the libraries listed below
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆30Updated 8 months ago
- A Hardware Pipeline Description Language☆44Updated last year
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆20Updated this week
- A polyhedral compiler for hardware accelerators☆55Updated 5 months ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆25Updated 11 years ago
- HeteroCL-MLIR dialect for accelerator design☆41Updated 4 months ago
- FPGA acceleration of arbitrary precision floating point computations.☆38Updated 2 years ago
- FPGA version of Rodinia in HLS C/C++☆31Updated 4 years ago
- TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerat…☆19Updated 4 months ago
- CoreIR Symbolic Analyzer☆63Updated 4 years ago
- A Rocket-based RISC-V superscalar in-order core☆29Updated 2 months ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 6 months ago
- ☆26Updated 7 years ago
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆38Updated last month
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆70Updated last year
- ☆102Updated 2 years ago
- CGRA Compilation Framework☆82Updated last year
- HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)☆17Updated 3 months ago
- Memory consistency model checking and test generation library.☆14Updated 8 years ago
- Floating point modules for CHISEL☆30Updated 10 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆35Updated 3 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆17Updated last month
- The PE for the second generation CGRA (garnet).☆17Updated 4 months ago
- ILA Model Database☆22Updated 4 years ago
- A multicore microprocessor test harness for measuring interference☆13Updated 4 years ago
- Polyhedral High-Level Synthesis in MLIR☆29Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆48Updated last year
- ☆15Updated 3 years ago
- A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…☆20Updated 6 months ago