EPFL-LAP / dynamatic
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
☆110Updated this week
Alternatives and similar repositories for dynamatic
Users that are interested in dynamatic are comparing it to the libraries listed below
Sorting:
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆49Updated last year
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆58Updated 7 months ago
- ☆86Updated last year
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆68Updated 2 weeks ago
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆127Updated this week
- high-performance RTL simulator☆158Updated 10 months ago
- Chisel RISC-V Vector 1.0 Implementation☆96Updated this week
- ☆44Updated last month
- An energy-efficient RISC-V floating-point compute cluster.☆80Updated this week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆72Updated 3 weeks ago
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆105Updated last week
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆92Updated this week
- A hardware synthesis framework with multi-level paradigm☆38Updated 4 months ago
- ☆58Updated this week
- A tool for synthesizing Verilog programs☆78Updated this week
- CGRA framework with vectorization support.☆29Updated this week
- An open source high level synthesis (HLS) tool built on top of LLVM☆120Updated 11 months ago
- An Open-Hardware CGRA for accelerated computation on the edge.☆24Updated 8 months ago
- Next generation CGRA generator☆111Updated this week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆83Updated last year
- A dynamic verification library for Chisel.☆150Updated 6 months ago
- Tests for example Rocket Custom Coprocessors☆74Updated 5 years ago
- A Fast, Low-Overhead On-chip Network☆201Updated this week
- A GPU acceleration flow for RTL simulation with batch stimulus☆106Updated last year
- ILA Model Database☆22Updated 4 years ago
- ☆50Updated last month
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆53Updated 3 years ago
- ☆42Updated last month
- Championship Branch Prediction 2025☆40Updated last month