Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous Representations
Zhang Hu, Hongyang Pan, Yinshui Xia, Lunyao Wang, Zhufei Chu
摘要
The independence of logic optimization and technology mapping poses a significant challenge in achieving high-quality synthesis results. Recent studies have improved optimization outcomes through collaborative optimization of multiple logic representations and have improved structural bias through structural choices. However, these methods still rely on technology-independent optimization and fail to truly resolve structural bias issues. This paper proposes a scalable and efficient framework based on Mixed Structural Choices (MCH). This is a novel heterogeneous mapping method that combines multiple logic representations with technology-aware optimization. MCH flexibly integrates different logic representations and stores candidates for various optimization strategies. By comprehensively evaluating the technology costs of these candidates, it enhances technology mapping and addresses structural bias issues in logic synthesis. Notably, the MCH-based lookup table (LUT) mapping algorithm set new records in the EPFL Best Results Challenge by combining the structural strengths of both And-Inverter Graph (AIG) and XOR-Majority Graph (XMG) logic representations. Additionally, MCH-based ASIC technology mapping achieves a area and delay reduction (balanced), 20.35% delay reduction (delay-oriented), and area reduction (area-oriented), outperforming traditional structural choice methods. Furthermore, MCH-based logic optimization utilizes diverse structures to surpass local optima and achieve better results.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper3
- SLAP: A Supervised Learning Approach for Priority Cuts Technology MappingWalter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amarù 等DAC 2021 · 被引用 32 次
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic SynthesisChen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu 等DAC 2024 · 被引用 17 次
- Lightweight Structural Choices Operator for Technology MappingAntoine Grosnit, Matthieu Zimmer, Rasul Tutunov, Xing Li 等DAC 2023 · 被引用 6 次
相关 Paper
- Improving LUT-based optimization for ASICsWalter Lau Neto, Luca G. Amarù, Vinicius Possani, Patrick Vuillod 等DAC 2022 · 被引用 6 次
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic SynthesisChen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma 等DAC 2025 · 被引用 9 次
- LUT-Based Optimization For ASIC Design FlowLuca Gaetano Amarù, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello 等DAC 2021 · 被引用 9 次
- HIMap: a heuristic and iterative logic synthesis approachXing Li, Lei Chen, Fan Yang, Mingxuan Yuan 等DAC 2022 · 被引用 11 次
- Improving Standard-Cell Design Flow using Factored Form OptimizationAlessandro Tempia Calvino, Alan Mishchenko, Herman Schmit, Ethan Mahintorabi 等DAC 2023 · 被引用 4 次
