3 citations · 3 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…