AzizZayed / DialEggLinks
MLIR+EqSat
☆25Updated 3 weeks ago
Alternatives and similar repositories for DialEgg
Users that are interested in DialEgg are comparing it to the libraries listed below
Sorting:
- Using e-graphs for logic synthesis (ICCAD'25)☆32Updated this week
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆65Updated last year
- Open-source AI acceleration on FPGA: from ONNX to RTL☆48Updated last month
- ☆17Updated 5 months ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆41Updated last year
- A hardware synthesis framework with multi-level paradigm☆44Updated last year
- HeteroCL-MLIR dialect for accelerator design☆42Updated last year
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆31Updated 3 weeks ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆22Updated last year
- EQueue Dialect☆42Updated 4 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆35Updated last year
- A fast, accurate trace-based simulator for High-Level Synthesis.☆73Updated last month
- Optimizing scheduler. Combinatorial instruction scheduling project.☆27Updated last month
- CGRA framework with vectorization support.☆43Updated last week
- ☆17Updated 10 months ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆36Updated last year
- ☆18Updated 4 years ago
- UniSparse: An Intermediate Language for General Sparse Format Customization (OOPSLA'24)☆33Updated last year
- A graph linear algebra overlay☆51Updated 2 years ago
- ☆62Updated 10 months ago
- ☆62Updated this week
- ☆52Updated last year
- ☆18Updated last month
- GL0AM GPU Accelerated Gate Level Logic Simulator☆30Updated 5 months ago
- ☆19Updated 5 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- DASS HLS Compiler☆29Updated 2 years ago
- Multi-target compiler for Sum-Product Networks, based on MLIR and LLVM.☆25Updated last year