Aug 23, 2023 · This paper describes a novel canonical form and its computation algorithm by introducing Boolean influence to NPN classification, which is a ...

Compared with the state-of-the-art algorithm implemented in ABC, our influence- aided canonical form for exact NPN classification gains up to 5.5x speedup.

Aug 23, 2023 · This paper proposes a new approach to exact NPN classification, in which a series of canonical forms and the algorithms to compute them are ...

We investigate two methods for accelerating the standard cg-algorithm for solving the family of systems (#). The first one utilizes a stopping criterion ... [ ...

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

This article proposes two different hybrid NPN canonical forms and a new algorithm to compute them. By exploiting symmetries under different phase assignment as ...

Fast Exact NPN Classification with Influence-aided Canonical Form ... NPN classification has many applications in the synthesis and verification of digital ...

Fast Exact NPN Classification with Influence-Aided Canonical Form. Y Zhang, L Ni, J Zhang, G Luo, H Li, S Zheng. 2023 IEEE/ACM International Conference on ...

This paper describes a novel canonical form and its computation algorithm by introducing Boolean influence to NPN classification, which is a basic concept in ...

A novel algorithm for computing NPN canonical form by exploiting asymmetries under different phase assignments and higher-order symmetries of Boolean ...