EPFL-LAP / dynamatic
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
☆96Updated this week
Alternatives and similar repositories for dynamatic:
Users that are interested in dynamatic are comparing it to the libraries listed below
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆88Updated 11 months ago
- ☆87Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆48Updated last year
- high-performance RTL simulator☆153Updated 9 months ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- An energy-efficient RISC-V floating-point compute cluster.☆69Updated last week
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆63Updated this week
- CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.☆121Updated last week
- A GPU acceleration flow for RTL simulation with batch stimulus☆102Updated 11 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆66Updated last week
- A Fast, Low-Overhead On-chip Network☆181Updated 2 weeks ago
- A tool for synthesizing Verilog programs☆74Updated this week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆76Updated 11 months ago
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆58Updated 5 months ago
- Chisel RISC-V Vector 1.0 Implementation☆87Updated last month
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆99Updated last week
- (System)Verilog to Chisel translator☆111Updated 2 years ago
- An Open-Hardware CGRA for accelerated computation on the edge.☆21Updated 6 months ago
- ☆55Updated this week
- A hardware synthesis framework with multi-level paradigm☆38Updated 2 months ago
- CGRA framework with vectorization support.☆27Updated last week
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆50Updated 3 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆81Updated 5 months ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆119Updated 9 months ago
- ☆57Updated last year
- ☆41Updated 2 weeks ago
- Heterogeneous Research Platform (HERO) for exploration of heterogeneous computers consisting of programmable many-core accelerators and a…☆101Updated last year
- A dynamic verification library for Chisel.☆146Updated 4 months ago
- Unit tests generator for RVV 1.0☆79Updated last week
- Tests for example Rocket Custom Coprocessors☆72Updated 5 years ago