ABSTRACT Detta dokument presenterar en ny kompakt kanonisk-baserad algoritm för att lösa problemet med en output helt specificerad indata negation och / eller input permutation och / eller utdata negation Boolean matchning. Vi föreslår en ny signatur vektor Boolesk skillnad och cofaktor signatur vektor. Vår algoritm använder Booleska skillnaden, cofaktor signatur och symmetri egenskaper för att söka efter kanoniska omvandlingar. Användningen av symmetri och boolesk skillnad minskar i synnerhet sökytan och påskyndar booleska matchningsprocessen jämfört med den algoritm som föreslås av Adbollahi och Pedram. Vi testade vår algoritm på ett stort antal kretsar. De experimentella resultaten visade att den genomsnittliga drifttiden för vår algoritm 37% högre och dess genomsnittliga sökutrymme 67% mindre jämfört med Adbollahi och Pedram, när den testades på allmänna kretsar. Boolesk skillnad, boolesk matchning, NPN-ekvivalent, symmetri.
Variabel symmetri och boolesk skillnad användes för att minska sök komplexiteten i REF.
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science', 'Mathematics']}