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 Modeling and Verification Platform for SoCs using ILAs☆80Updated last year
- ☆15Updated 4 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- ILA Model Database☆24Updated 5 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- A polyhedral compiler for hardware accelerators☆59Updated last year
- A Hardware Pipeline Description Language☆49Updated 4 months ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 5 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆37Updated last year
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆31Updated last year
- ☆24Updated 5 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 4 years ago
- RTLCheck☆23Updated 7 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆51Updated 2 years ago
- Floating point modules for CHISEL☆31Updated 11 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- Polyhedral High-Level Synthesis in MLIR☆34Updated 2 years ago
- Software workload management tool for RISC-V based SoC research. This is the default workload management tool for Chipyard and FireSim.☆86Updated last month
- ☆104Updated 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…☆23Updated last year
- COATCheck☆13Updated 7 years ago
- The gem5-X open source framework (based on the gem5 simulator)☆42Updated 2 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated last month
- Base repo of a workable zsim on newer version of Ubuntu, with PIN-2.14 binary (the original zSim no longer works)☆13Updated 2 years ago
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆43Updated 4 months ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- C++ truth table library☆62Updated 3 months ago
- BTOR2 MLIR project☆26Updated last year
- The PE for the second generation CGRA (garnet).☆17Updated 6 months ago