Abstract-This paper föreslår en snabb algoritm för Booleska matchning av helt specificerade Booleska funktioner. Algoritmen är baserad på NPN-klassificeringen och kan appliceras i farten på miljontals små praktiska funktioner som förekommer i industriella konstruktioner, vilket leder till runtime och minnesreducering i logiksyntes och teknikkartläggning. Algoritmen är konceptuellt enklare, snabbare och mer skalbar än tidigare arbete. En NPN-klass är en uppsättning booleska funktioner som härrör från varandra genom permutation och komplettering av ingångarna och komplettering av utdata. Boolesk matchning avgör om två Booleska funktioner tillhör samma NPN-klass. I de praktiska applikationerna används Boolesk matchning för att matcha en funktion mot ett bibliotek av funktioner vars implementation eller andra egenskaper är kända eller har förhandskomputerats. AIG Denna uppsats presenterar två algoritmer: en snabb heuristisk en och en långsammare nästan exakt en. De jämförs med [8] som tros vara toppmoderna i Booleska matchningar på en stor uppsättning små praktiska funktioner som härrör från industriella konstruktioner. Slutsatsen är att den föreslagna heuristiska algoritmen ofta är snabbare utan förnedrande kvalitet, medan en mer detaljerad nästan exakt algoritm beräknar färre klasser än [8]. Dessutom kan [8] inte tillämpas på funktioner med mer än 9 ingångar, vilket begränsar dess praktiska funktion. Samtidigt, den föreslagna algoritmen skalor till 16 variabler och är därför en bättre passform för cut-baserad logik syntes och teknikkartläggning. Resten av pappret är organiserat enligt följande: Avsnitt II innehåller relevant bakgrund. I avsnitt III beskrivs den föreslagna algoritmen i tre steg. Avsnitt IV visar experimentella resultat. Avsnitt V avslutar dokumentet.
Författarna till REF föreslog en snabb Boolesk funktion NPN-klassificering med hjälp av kanoniska former, där en Boolesk funktion representeras av en sanningstabell.
Fast Boolean matching based on NPN classification
{'venue': '2013 International Conference on Field-Programmable Technology (FPT)', 'journal': '2013 International Conference on Field-Programmable Technology (FPT)', 'mag_field_of_study': ['Computer Science']}