3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
The prediction of the quality of results in Logic Synthesis using Transformer and Graph Neural Networks
Chenghao Yang, Zhongda Wang, Yinshui Xia +1
In the logic synthesis stage, structure transformations in the synthesis tool need to be combined into optimization sequences and act on the circuit to meet the specified circuit a…