2 papers
cs.AR2025
Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous Representations
Zhang Hu, Hongyang Pan, Yinshui Xia +2
The independence of logic optimization and technology mapping poses a significant challenge in achieving high-quality synthesis results. Recent studies have improved optimization o…
cs.LO2023
A Semi-Tensor Product based Circuit Simulation for SAT-sweeping
Hongyang Pan, Ruibing Zhang, Yinshui Xia +4
In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation…