AzizZayed / DialEggLinks
MLIR+EqSat
☆21Updated 3 months ago
Alternatives and similar repositories for DialEgg
Users that are interested in DialEgg are comparing it to the libraries listed below
Sorting:
- 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
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆38Updated last year
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆33Updated last year
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆24Updated this week
- UniSparse: An Intermediate Language for General Sparse Format Customization (OOPSLA'24)☆32Updated last year
- Using e-graphs for logic synthesis☆24Updated 3 weeks ago
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆20Updated last year
- HeteroCL-MLIR dialect for accelerator design☆42Updated last year
- A hardware synthesis framework with multi-level paradigm☆41Updated 10 months ago
- ☆40Updated last year
- EQueue Dialect☆41Updated 3 years ago
- CGRA framework with vectorization support.☆40Updated this week
- ☆61Updated 8 months ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆34Updated 10 months ago
- ☆61Updated last week
- ☆18Updated 2 weeks ago
- ☆17Updated 3 months ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Updated 4 years ago
- A graph linear algebra overlay☆51Updated 2 years ago
- An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs☆54Updated 3 months ago
- A Generic Distributed Auto-Tuning Infrastructure☆22Updated 4 years ago
- ☆15Updated 3 years ago
- A polyhedral compiler for hardware accelerators☆59Updated last year
- ☆60Updated 2 years ago
- DASS HLS Compiler☆29Updated 2 years ago
- ☆50Updated 10 months ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆54Updated 10 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Updated last year