Abstract-Reversible logik funktioner kan realiseras som nätverk av Tofoli portar. Syntetiseringen av Toffoli nätverk kan delas in i två steg. Först, hitta ett nätverk som inser den önskade funktionen. För det andra, omvandla nätverket så att det använder färre portar, samtidigt som man inser samma funktion. I detta dokument behandlas ovan nämnda syntesmetod. Vi presenterar en grundläggande metod och, baserat på det, en dubbelriktad syntesalgoritm som producerar ett nätverk av Toffoli grindar förverkliga en given reversibel specifikation. En asymptotiskt optimal modifiering av den grundläggande syntesalgoritmen med hjälp av generaliserade mEXOR-portar presenteras också. Omvandlingarna tillämpas sedan med hjälp av mallmatchning. Grunden för en mall är ett nätverk av grindar som inser identitetsfunktionen. Om en sekvens av grindar i det syntetiserade nätverket matchar en sekvens som består av mer än hälften av grindarna i en mall, kan en omvandling med hjälp av återstående grindar i mallen tillämpas, vilket resulterar i en minskning av grindantalet för det syntetiserade nätverket. Alla mallar med upp till sex portar beskrivs i detta dokument. Experimentella resultat, inklusive en uttömmande undersökning av alla 3-variabla reversibla funktioner och en samling av referensproblem, presenteras. Dokumentet avslutas med förslag till ytterligare forskning. Index Terms-Logisk syntes, kvantdata, reversibel logik.
Ett tillvägagångssätt är baserat på mall matchning REF, vilket ger betydande minskning av antalet grindar.
Toffoli network synthesis with templates
{'venue': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'journal': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'mag_field_of_study': ['Computer Science']}