AzizZayed / DialEggLinks
MLIR+EqSat
☆21Updated 4 months 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☆28Updated this week
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆52Updated 2 years ago
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆64Updated last year
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆21Updated last year
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆34Updated 11 months ago
- ☆62Updated this week
- EQueue Dialect☆41Updated 3 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆34Updated last year
- ☆17Updated 4 months ago
- A hardware synthesis framework with multi-level paradigm☆42Updated 11 months ago
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆29Updated last week
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆40Updated last year
- Open-source AI acceleration on FPGA: from ONNX to RTL☆38Updated last week
- ☆60Updated 8 months ago
- ☆18Updated 4 years ago
- UniSparse: An Intermediate Language for General Sparse Format Customization (OOPSLA'24)☆33Updated last year
- HeteroCL-MLIR dialect for accelerator design☆42Updated last year
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- ☆16Updated 3 years ago
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- A fast, accurate trace-based simulator for High-Level Synthesis.☆73Updated 8 months ago
- ☆18Updated last month
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Updated 3 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Updated last year
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆79Updated this week
- CGRA framework with vectorization support.☆41Updated last week
- Optimizing scheduler. Combinatorial instruction scheduling project.☆28Updated last month
- GL0AM GPU Accelerated Gate Level Logic Simulator☆29Updated 3 months ago
- ☆60Updated 2 years ago