A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature

A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature

This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified input negation and/or input permutation and/or output negation Boolean matching. We propose a new signature vector Boolean difference and cofactor signature vector. Our algorithm ut...

Full description

Bibliographic Details
Main Authors: Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
Boolean difference
boolean matching
NPN equivalent
symmetry
Online Access:https://ieeexplore.ieee.org/document/8123609/

Internet

https://ieeexplore.ieee.org/document/8123609/

Similar Items