Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm | IEEE Journals & Magazine | IEEE Xplore