Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions

Jiaxi Zhang, Shenggen Zheng, Liwei Ni +2

NPN classification is an essential problem in the design and verification of digital circuits. Most existing works explored variable symmetries and cofactor signatures to develop t…