Lightweight Structural Choices Operator for Technology Mapping
Antoine Grosnit, Matthieu Zimmer, Rasul Tutunov, Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Haitham Bou-Ammar
Abstract
Technology mapping quality heavily depends on the subject graph structure. To overcome structural biases, operators construct choice nodes to enable mappings with improved node and level counts. Nevertheless, state-of-the-art structural choice operators scale poorly with graph size.We present the lightweight structural choices (LCH) operator that incorporates equivalencies by processing only subparts of the graph. We propose multiple heuristics that rely on specific node extraction orders and subpart sizes to extract non-overlapping components. Compared to state-of-the-art methods on EPFL circuits, LCH is 2.35x faster enduring a small sacrifice in node count (3%) and level reduction (2%).
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Cited by top-tier papers1
Ask how each one uses itRelated papers
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic SynthesisChen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma et al.DAC 2025 · 9 citations
- SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations †You Li, Guannan Zhao, Yunqi He, Hai ZhouDAC 2023 · 4 citations
- Adaptive Layout Decomposition with Graph Embedding Neural NetworksWei Li, Jialu Xia, Yuzhe Ma, Jialu Li et al.DAC 2020 · 6 citations
- FPGA Technology Mapping Using Sketch-Guided Program SynthesisGus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung et al.ASPLOS 2024 · 4 citations
- ELF: Efficient Logic Synthesis by Pruning Redundancy in RefactoringDimitris Tsaras, Xing Li, Lei Chen, Zhiyao Xie et al.DAC 2025
