A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Hongyang Pan, Ruibing Zhang, Yinshui Xia, Lunyao Wang, Fan Yang, Xuan Zeng, Zhufei Chu. A Semi-Tensor Product based Circuit Simulation for SAT-sweeping. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2024, Valencia, Spain, March 25-27, 2024. pages 1-6, IEEE, 2024. [doi]

Abstract

Abstract is missing.