2 papers
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.AR2022
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…