Fast Exact NPN Classification with Influence-aided Canonical Form

Yonghe Zhang, Liwei Ni, Jiaxi Zhang +3

NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical f…