no code implementations • 22 Dec 2023 • Liwei Ni, Zonglin Yang, Jiaxi Zhang, Junfeng Liu, Huawei Li, Biwei Xie, Xinquan Li
Rewriting is a common procedure in logic synthesis aimed at improving the performance, power, and area (PPA) of circuits.
no code implementations • 23 Aug 2023 • Yonghe Zhang, Liwei Ni, Jiaxi Zhang, Guojie Luo, Huawei Li, Shenggen Zheng
NPN classification has many applications in the synthesis and verification of digital circuits.
no code implementations • 11 Nov 2021 • Jiaxi Zhang, Liwei Ni, Shenggen Zheng, Hao liu, Xiangfu Zou, Feng Wang, Guojie Luo
In this paper, we introduce Boolean sensitivity into Boolean matching and design several sensitivity-related signatures to enhance fast Boolean matching.