Revisit Choice Network for Synthesis and Technology Mapping
Chen Chen, Jiaqi Yin, Cunxi Yu

TL;DR
This paper presents Cristal, a new framework for constructing high-quality Boolean choice networks that improve synthesis and technology mapping, leading to better performance and efficiency in circuit optimization.
Contribution
Cristal introduces a novel flow for choice network synthesis, including logic cone search, structural mutation, and priority ranking, resulting in fewer but higher-quality choices.
Findings
Cristal achieves significant reductions in delay and area in post-mapping stages.
Cristal reduces runtime by up to 63.77% on large-scale circuits.
Cristal outperforms the state-of-the-art in Boolean choice network construction.
Abstract
Choice network construction is a critical technique for alleviating structural bias issues in Boolean optimization, equivalence checking, and technology mapping. Previous works on lossless synthesis utilize independent optimization to generate multiple snapshots, and use simulation and SAT solvers to identify functionally equivalent nodes. These nodes are then merged into a subject graph with choice nodes. However, such methods often neglect the quality of these choices, raising the question of whether they truly contribute to effective technology mapping. This paper introduces Cristal, a novel methodology and framework for constructing Boolean choice networks. Specifically, Cristal introduces a new flow of choice network-based synthesis and mapping, including representative logic cone search, structural mutation for generating diverse choice structures via equality saturation, and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTechnology Assessment and Management
