Efficient and Effective E-graph-based Logic Optimization
Recent efforts of applying e-graphs in logic synthesis have shown promising results. Nevertheless, e-graph-based gate-level logic optimization suffers from inefficiency and limited extraction quality. In this article, we propose a fast parallel e-matching algorithm for speeding up e-graph rewriting, and an efficient netlist extraction framework with high quality of results in both area and delay. Experiments show that e-graph rewriting can be accelerated by up to 8.3× over a high-performance e-graph library, and our extraction framework achieves 11.0% and 1.0% improvements in size and level on average, compared to the best results of the state-of-the-art netlist extraction method.
Authors
- Bentian Jiang (ORCID: https://orcid.org/0000-0001-8163-3114)
- Shiju Lin
- Evangeline F. Y. Young (ORCID: https://orcid.org/0000-0003-0623-1590)
- Guannan Guo (ORCID: https://orcid.org/0000-0002-7318-4010)
- Tianji Liu (ORCID: https://orcid.org/0009-0003-2204-280X)
- Weihua Sheng (ORCID: https://orcid.org/0009-0000-0810-2042)
- Nutdranai Jaruthikorn (ORCID: https://orcid.org/0009-0006-4332-0567)
Institutions
- Chinese University of Hong Kong (HK)
- Huawei Technologies (China) (CN)
- Huawei Technologies (United States) (US)
- BioElectronics (United States) (US)
- University of Hong Kong (HK)
- South China University of Technology (CN)
Publication Details
- Journal
- ACM Transactions on Design Automation of Electronic Systems
- Published
- 2025-11-05
- DOI
- https://doi.org/10.1145/3774883
- Primary Topic
- VLSI and FPGA Design Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00