32.2. DOUBLE- RAIL LOGIC BASED ON NOT, SWAP AND CONTROLLED SWAP GATES. The symbolic notation on the right shows my notation for single-rail (symbolic) notation of double-rail circuits:a’ = (a1, a2’) = (1,0),a = (a1’, a2) = (0,1).Double-rail InverterFig : Realization of NOT in double-rail technology
4Double-Rail Feynman Gate a’ = (a1, a2’) = (1,0),a = (a1’, a2) = (0,1).Fig : Realization of Controlled-Not (Feynman) gate in double-rail logic.
5Fredkin built from Toffoli and CNOT (a) (b) (c)Fig :Realization of Fredkin gate using Toffoli and CNOT gates.By surrounding the Toffoli gate (Fig a) with CNOT gates (Fig b) we obtain the Fredkin gate (Fig c).Similarly the Toffoli gate can be obtained by surrounding the Fredkin gate using two CNOT gates.This way a Toffoli gate in double-rail logic can be realized, as shown in Fig
6Toffoli built from Fredkin and Feynman controlFig : Realization of Toffoli gate in double-rail logic using a double-rail Fredkin gate surrounded by two Controlled NOT gates.
7Double-rail Fredkin gate Fig : Detailed circuit of double-rail Fredkin gate realized with two standard Fredkin gates with the same control.
8Single-rail schematics for double-rail Fredkin gate Fig : The gate from Figure in another notation, every signal corresponds now to two wires from Figure
9New double-rail gates can be created with single-rail Fredkin gates (c1,c2) = (a1,a2)and(d1,d2) = (not b1, not b2).Fig : Detailed circuit of double-rail “new gate” realized with three standard Fredkin gates.
10Toffoli gate in double-rail technology Fig : Realization of CNOT in double-rail technology. Signal a is represented by a1=0, a2 = 1. Signal a’ (negation of a) is represented by a1=1, a2 =0.
11SWAP in double-railFig : Realization of SWAP in double-rail technology.
12Conclusion on Double-Rail. Single-rail SWAP = double-rail NOTBasic gates are single-rail SWAP and controlled-SWAPNOT gate can be created.Toffoli, Feynman and Fredkin gates can be created.Complex gates can be created.Gates are not necessarily conservative.
132.3. DOUBLE-RAIL OPEN/CLOSE SWITCH REVERSIBLE CMOS LOGIC OF ALEXIS DE VOS Fig : Realization of Fredkin gate. Notation for De Vos double-rail technology from FigureFigure Realization of function Q in Fredkin gate using De Vos technology.
14Toffoli in De Vos Technology Fig :Realization of Toffoli gate in double-rail DeVos technology.As we see, this is a kind of double-rail technology.
15Toffoli Gate.The function realized in Figure for output p is c’ ab in upper branch controlled by c’ and c (a’ + b’) controlled by c in the right branch.Thus the function realized for p is the following:p = c’ ab + c (a’ + b’) = c’ (ab) + c (ab)’ = ab cSimilarly, the function realized for negation of p, denoted by p’ is c’ (a’ + b’) (controlled by c’) and (ab) c controlled by c. Thus the function for negated p, denoted by p’ is the following:p’ = c’ (a’ + b’) + (ab) c = c’ (ab)’ + (ab) c = [ ab c ]’ = p’ (negation of signal p).
16CNOT gate in De Vos technology Figure Realization of CNOT in De Vos technology.
17Regular layout for De Vos technology ToffoliFig : DeVos CMOS circuit layout for pass-transistor diagram from Figure
18Conclusion on De Vos technology. Based on open/close switches.This is double-rail technologyParallel and serial connections of switchesEvery output of gate has a form:Variable Function (other variables)Single-rail SWAP = double-rail NOTNOT gate can be created.Toffoli, Feynman and Fredkin gates can be created.Complex gates can be created.Gates are not necessarily conservative.Creating complex gates is simple.Realized in CMOS, input-output physically reversible, not only logically reversibleRequires special power supplies to reduce powerCombined with the idea of adiabatic gate.
192.4. CONSERVATIVE REVERSIBLE LOGIC BASED ON 2*3 SWITCHES
20CONSERVATIVE REVERSIBLE LOGIC BASED ON 2*3 SWITCHES Fig : Realization of CNOT in double-rail switch-based technology
212*3 Switch technologies Fig : Realization of Fredkin gate in single-rail switch-based technology.
22New Synthesis method using 2*3 switches First Stage:First we create a sequence of products of literals with more and more literals successively.We do this in all possible ways.This is illustrated in the left part of the upper row of gates in Figure below.This way, functions a, a’b, ab, a’c and ac are created.For gates of smaller size the number of such products is quite limited so my method is rather efficient.We cannot create fan-outs of any signals, including the primary inputs.Second Stage:When we have the set of products available, next we can make sums of all possible pairs of disjoint products.Disjoint are products that share at least one variable that is in various polarities in them.This must be however done always in such a way that finally the number of primary outputs of the circuit that we create will be the same as the number of primary inputs.We check that each function being a primary output must be balanced.Third Stage:Finally we check that the k*k function created by us is reversible.Comments:Based on a simple heuristic:This way we always create a k*k gate(by k*k gate we understand a reversible function with k inputs and k outputs).The above algorithm can be implemented as a tree search algorithm.
23New gate in 2*3 switch technology Fig : Using Switch gates to build a new reversible conservative gate.Fig : Schematics of the new gate based on the schematics from FigureThis gate can realize products, inhibitions, sums and implication functions on its three outputs.
24Methodology to create new gates using 2*3 switch technology Fig : Fredkin gate with internal swap built from switch gates
25Hierarchical design from 2*3 switches Figure Schematic of a new single-rail reversible gate using Fredkin gates built from 2*3 switches.
26New design ideasFigure Another way of drawing the circuit from Figure to emphasize its similarity to generalized gates introduced in Chapter 3.Both muxes are controlled by the Exor.This circuit, in contrast to circuits in other figures is drawn from right to left rather than from left to right to emphasize its reversible nature and to help using the analysis from Figure
27New design ideas Fig. 2.4.9: Analysis of circuit from Fig.2.4.8. Another notation for the circuit from two Fredkin gates given in FigureAssume x=c, y=d.
28CNOT gate in De Vos technology Figure Realization of CNOT in De Vos technology.
29Conclusion on 2*3 switch technology. Based on 2*3 switches.Realized in optical, fluidic, CMOS and other nano.This is not double-rail technology, but double-rail gates can be created on a higher level.NOT gate cannot be directly created.Toffoli, Feynman and Fredkin gates can be created.Complex gates can be created.Gates are not necessarily conservative.Creating complex gates is not simple.Can create Fredkin, thus all gates from previous section can be created.
30Concluding on 2*3 switches (cont) Every conservative reversible gate can be built from 2*3, 3*2 switches and (hierarchically) from k*k conservative gates built in turn from 2*3 and 3*2 switches.Next, by using double-rail technology, every reversible gate can be built from conservative gates.Thus, every circuit discussed in chapters can on the bottom of hierarchy be built from only 2*3 and 3*2 switches.The number of such switches is the cost function of the solution which is used to compare various designs one with another.
31 2.5. MAJORITY GATES IN QUANTUM CELLULAR AUTOMATA Fig : Fredkin gate from Toffoli and CNOT gates with analysis equations.The same figure explains also how Toffoli can be created from Fredkin.Surrounding with two more Feynmans on left and right and next cancelling pairs of successive Feynmans would restore the original Toffoli gate.
32Miller gate as three majorities is base of reversible design in quantum dot cellular automata Fig : Miller gate is three majorities with various polarities.
33Fig 2.5.3: Analysis of Miller’s gate. Obviously, by surrounding Miller with two Feynmans with EXOR up in first bit we will obtain Fredkin gate,and next by surrounding again with Feynmans with EXOR up in second bit we get Toffoli gate.
34Miller gate plus inverters is universal Fig : Universality of Miller gate. Miller with inverters is universal.
35 Fig 2.5.5: Realization of EXOR using 3 majorities. Realization of EXOR needs ancilla bits Fig 2.5.5: Realization of EXOR using 3 majorities.
36Adaptation to reversible design Fig : The circuit from Fig redrawn to a notation that is more similar to Quantum Array notation.
37New gate from Miller gates with no ancilla bits realizes a new Feynman-like gate Figure This figure demonstrates that by taking two Miller gates we can create new reversible functions which are not the Miller gate with other polarities.This gate becomes Feynman gate with c=0
38Concluding on Quantum Dot Logic Basic gates are NOT and majority.SWAP is cheap.AND and OR gates can be created with ancilla from majority.Miller gate is three majorities with various polarities.Other functions can be created using majorities.Other functions can be created using Miller and NOT gatesI believe that I will be able to create many useful gates in various families based on:Majorities onlyMajorities and SWAPMajorities and NOTMajorities, NOT and SWAPToffoli, Feynman and Fredkin can be created but are not necessarily the best way to create big reversible circuits in quantum dot QCA.
39Concluding on technologies Concluding. This section showed several ways of realizing reversible gates using quantum dot based QCAs. All methods from next chapters can be thus used to synthesize circuits from quantum dots, but I have doubt how cost efficient these methods will be when compared to the group-theory methods developed by Dr. Guowu Yang and Prof. Perkowski for the Miller gate. On the other hand, the exact method of Yang et al is only for 3*3 circuits and my methods work for larger circuits. The tasks of designing best reversible gates on top of QCA and using such gates in synthesis are relatively separated and I can work only on one of them, as shown in next chapters. There is no method to design reversible circuits directly from majorities. Such method would be very useful for the recent breakthrough technology of quantum dots. The only paper in the literature is from Yang et al which has a theoretical analysis and some designs but no heuristic algorithm for practical design of larger circuits. Another open research topic. I am not committing myself to solve all these problems. I just want to show here that in addition to problems that I already solved and I just need to write better software there are several related tasks for which methods and algorithms should be created. I will work possible on these topics as well, in addition to my main topic of implementing software.
40Conclusion on all these technologies. Based on some type of switches.Realized in optical, fluidic, CMOS and other nano.Similar to quantum gates.Double-rail technology often used.Quadruple-rail technology can be created for adiabatic CMOS.Universal logic systems.Some natural some not.NOT gate can be usually but not always created.Toffoli, Feynman and Fredkin gates can be always created.Complex gates can be created.Gates are not necessarily conservative.Creating complex gates is simple or not simple, depending on technology.Very little is published on synthesis of such gates from some type of specification.Many open research problems, in physics and in synthesis methods.
41What to remember? Y gate Single-rail circuits with Y gates. Double-rail circuits with Y gates.What are advantages of double-rail circuits.Majority gate in Quantum Dot Cellular Automata.How to use Majority to build Three-input EXOR?Relation between reversible Miller Gate and Majority – how it can be used in QCA circuits?