3 citations · 3 across the 2 of their papers we have counts for
3 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…
cs.LG2023★ 3 cited
DeepGate2: Functionality-Aware Circuit Representation Learning
Zhengyuan Shi, Hongyang Pan, Sadaf Khan +7
Circuit representation learning aims to obtain neural representations of circuit elements and has emerged as a promising research direction that can be applied to various EDA and l…