Abstract-Reversible kretsar är en framväxande teknik där alla beräkningar utförs på ett invertibelt sätt. Motiverad av deras lovande tillämpningar, t.ex. Inom området kvantberäkning eller lågeffektsdesign har syntesen av sådana kretsar studerats intensivt. Men hur man automatiskt förverkligar reversibla kretsar med minimalt antal linjer för stora funktioner är ett öppet forskningsproblem. I detta dokument föreslår vi en ny syntesmetod som bygger på begrepp som kompletterar befintliga. Medan "konventionella" funktionsrepresentationer har tillämpats för syntes hittills (såsom sanningstabeller, ESOPs, BDDs), utnyttjar vi Quantum Multiple- valued Decision Diagrams (QMDDs) för detta ändamål. En algoritm presenteras som utför omvandlingar på denna data-struktur så småningom leder till den önskade kretsen. Experimentella resultat visar att det föreslagna tillvägagångssättet är nytt genom att möjliggöra automatisk syntes av stora reversibla funktioner med minimalt antal kretsar. Dessutom minskas kvantkostnaden för de resulterande kretsarna med i genomsnitt 50 % jämfört med en befintlig toppmodern syntesmetod.
Vissa metoder använder en alternativ datastruktur som kallas Quantum Multiple- valued Decision Diagrams (QMDDs) REF, som kan syntetisera större ingångskretsar med minimalt antal kretslinjer.
Synthesis of reversible circuits with minimal lines for large functions
{'venue': '17th Asia and South Pacific Design Automation Conference', 'journal': '17th Asia and South Pacific Design Automation Conference', 'mag_field_of_study': ['Computer Science']}