Using e-graphs to synthesize netlists from boolean logic.
☆14Jul 26, 2023Updated 2 years ago
Alternatives and similar repositories for egg-netlist-synthesizer
Users that are interested in egg-netlist-synthesizer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆36Jan 26, 2026Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- The LLHD reference simulator.☆39Aug 26, 2020Updated 5 years ago
- egraph <-> json☆16Dec 29, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- [ASICON'25] User-friendly lithography simulation engine for full-chip scale mask optimization☆40Dec 17, 2025Updated 3 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- ☆52Jan 16, 2025Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆42Jul 17, 2024Updated last year
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆118Aug 11, 2025Updated 7 months ago
- Small 32-bit RISC-V CPU with a half-width datapath inspired by the 68000