Rank-based Multi-objective Approximate Logic Synthesis via Monte Carlo Tree Search
Approximate Logic Synthesis (ALS) is an automated technique designed for error-tolerant applications, optimizing delay, area, and power under specified error constraints. However, existing methods typically focus on either delay reduction or area minimization, often leading to local optima in multi-objective optimization. This paper proposes a rankbased multi-objective ALS framework using Monte Carlo Tree Search (MCTS). It develops non-dominated circuit ranking, to guide MCTS in exploring local approximate changes (LACs) across the entire circuit and generate approximate circuit sets with great optimization potential. Additionally, a Rank-Transformer model is introduced to predict pathdomain ranks, enhancing the application of high-quality LACs within circuit paths. Experimental results show that our framework achieves faster and more efficient optimization in delay and area simultaneously compared to state-of-the-art methods.
Authors
- Xinyi Hu (ORCID: https://orcid.org/0000-0002-5846-1454)
- Tinghuan Chen (ORCID: https://orcid.org/0000-0002-9195-6619)
- Yu Gong (ORCID: https://orcid.org/0000-0002-2736-4635)
- Peng Xu (ORCID: https://orcid.org/0000-0003-0032-1237)
- Bei Yu (ORCID: https://orcid.org/0000-0001-6406-4810)
- Yuyang Ye (ORCID: https://orcid.org/0000-0002-1513-7814)
- Hao Yan (ORCID: https://orcid.org/0009-0003-0195-0446)
- Yuchen Liu (ORCID: https://orcid.org/0000-0003-0684-1364)
- Longxing Shi (ORCID: https://orcid.org/0000-0002-0629-7154)
Institutions
- Chinese University of Hong Kong, Shenzhen (CN)
- University of Hong Kong (HK)
- Nanjing University of Aeronautics and Astronautics (CN)
Publication Details
- Published
- 2025-06-22
- DOI
- https://doi.org/10.1109/dac63849.2025.11132589
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00