HEAPLab / TAFFO
Tuning Assistant for Floating point to Fixed point Optimization
☆19Updated 3 years ago
Alternatives and similar repositories for TAFFO:
Users that are interested in TAFFO are comparing it to the libraries listed below
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆21Updated this week
- Polyhedral High-Level Synthesis in MLIR☆30Updated 2 years ago
- FPGA version of Rodinia in HLS C/C++☆35Updated 4 years ago
- TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerat…☆19Updated 8 months ago
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)☆54Updated 4 years ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆26Updated 11 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆76Updated 9 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- A Hardware Pipeline Description Language☆44Updated last year
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆31Updated 11 months ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- CGRA Compilation Framework☆83Updated last year
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 years ago
- A polyhedral compiler for hardware accelerators☆56Updated 9 months ago
- ☆11Updated 3 years ago
- FPGA acceleration of arbitrary precision floating point computations.☆38Updated 2 years ago
- HeteroCL-MLIR dialect for accelerator design☆40Updated 7 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- ☆24Updated 4 years ago
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆40Updated last week
- ☆41Updated this week
- RTLCheck☆21Updated 6 years ago
- Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator☆58Updated 2 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- SForum 2020 : "A Run-time Hardware Routing Implementation for CGRA Overlays" code and data.☆11Updated 4 years ago
- RISC-V GPGPU☆34Updated 5 years ago
- A Modular Open-Source Hardware Fuzzing Framework☆32Updated 3 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- The specification for the FIRRTL language☆54Updated this week