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...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Juling Zhang, Guowu Yang, William N. N. Hung, Jinzhao Wu
Format: Artykuł
Język:English
Wydane: IEEE 2017-01-01
Seria:IEEE Access
Hasła przedmiotowe:
Boolean difference
boolean matching
NPN equivalent
symmetry
Dostęp online:https://ieeexplore.ieee.org/document/8123609/

Internet

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

Podobne zapisy