HEAPLab / TAFFOLinks
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
Sorting:
- A Hardware Pipeline Description Language☆49Updated 6 months ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 4 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 6 years ago
- A polyhedral compiler for hardware accelerators☆59Updated last year
- C++ parsing library for simple formats used in logic synthesis and formal verification☆38Updated last year
- ILA Model Database☆24Updated 5 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- ☆24Updated 5 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆55Updated 6 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Updated last year
- ☆104Updated 3 years ago
- ☆15Updated 4 years ago
- Heterogeneous simulator for DECADES Project☆32Updated last year
- An advanced header-only exact synthesis library☆31Updated 3 years ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆117Updated last year
- ☆87Updated last year
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- FPGA version of Rodinia in HLS C/C++☆40Updated 5 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 4 months ago
- RTLCheck☆24Updated 7 years ago
- Software workload management tool for RISC-V based SoC research. This is the default workload management tool for Chipyard and FireSim.☆87Updated 3 months ago
- ☆17Updated 3 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- DASS HLS Compiler☆29Updated 2 years ago
- PACoGen: Posit Arithmetic Core Generator☆76Updated 6 years ago
- ☆29Updated 8 years ago
- The Shang high-level synthesis framework☆120Updated 11 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago