Presentation on theme: "Reversible Gates in various realization technologies."— Presentation transcript:
Reversible Gates in various realization technologies
Double Rail Technologies
2.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 = (a 1, a 2 ) = (1,0), a = (a 1, a 2 ) = (0,1). Fig : Realization of NOT in double-rail technology Double-rail Inverter
Double-Rail Feynman Gate Fig : Realization of Controlled-Not (Feynman) gate in double-rail logic. a = (a 1, a 2 ) = (1,0), a = (a 1, a 2 ) = (0,1).
Fredkin built from Toffoli and CNOT 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 (a) (b) (c)
Toffoli built from Fredkin and Feynman Fig : Realization of Toffoli gate in double-rail logic using a double-rail Fredkin gate surrounded by two Controlled NOT gates. control
Double-rail Fredkin gate Fig : Detailed circuit of double-rail Fredkin gate realized with two standard Fredkin gates with the same control.
Single-rail schematics for double-rail Fredkin gate Fig : The gate from Figure in another notation, every signal corresponds now to two wires from Figure
New double-rail gates can be created with single-rail Fredkin gates Fig : Detailed circuit of double-rail new gate realized with three standard Fredkin gates. (c1,c2) = (a1,a2) and (d1,d2) = (not b1, not b2).
Toffoli 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.
SWAP in double-rail Fig : Realization of SWAP in double-rail technology.
Conclusion on Double-Rail. Single-rail SWAP = double-rail NOT Basic gates are single-rail SWAP and controlled-SWAP NOT gate can be created. Toffoli, Feynman and Fredkin gates can be created. Complex gates can be created. Gates are not necessarily conservative.
2.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 Figure Figure Realization of function Q in Fredkin gate using De Vos technology.
Toffoli 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.
Toffoli 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 c Similarly, 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).
CNOT gate CNOT gate in De Vos technology Figure Realization of CNOT in De Vos technology.
Regular layout Regular layout for De Vos technology Fig : DeVos CMOS circuit layout for pass-transistor diagram from Figure Toffoli
Conclusion on De Vos technology. Based on open/close switches. This is double-rail technology Parallel and serial Parallel and serial connections of switches Every output of gate has a form: Variable Function (other variables) Single-rail SWAP = double-rail NOT NOT 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 reversible Requires special power supplies to reduce power Combined with the idea of adiabatic gate.
2.4. CONSERVATIVE REVERSIBLE LOGIC BASED ON 2*3 SWITCHES
CONSERVATIVE REVERSIBLE LOGIC BASED ON 2*3 SWITCHES CONSERVATIVE REVERSIBLE LOGIC BASED ON 2*3 SWITCHES Fig : Realization of CNOT in double-rail switch- based technology
2*3 Switch technologies Fredkin gate Fig : Realization of Fredkin gate in single- rail switch-based technology.
New Synthesis method New Synthesis method using 2*3 switches First Stage: 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, ab, ab, ac 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: 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: Third Stage: – Finally we check that the k*k function created by us is reversible. Comments: 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.
New gate New 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 Figure This gate can realize products, inhibitions, sums and implication functions on its three outputs.
Methodology Methodology to create new gates using 2*3 switch technology Fig : Fredkin gate with internal swap built from switch gates
Hierarchical design Hierarchical design from 2*3 switches Figure Schematic of a new single-rail reversible gate using Fredkin gates built from 2*3 switches.
New design ideas Figure 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
Fig : Another notation for the circuit from two Fredkin gates given in Figure Assume x=c, y=d. New design ideas Fig : Analysis of circuit from Fig
CNOT gate CNOT gate in De Vos technology Figure Realization of CNOT in De Vos technology.
Conclusion 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.
cont Concluding 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.
2.5. MAJORITY GATES IN QUANTUM CELLULAR AUTOMATA 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.
Miller gate Miller gate as three majorities is base of reversible design in quantum dot cellular automata Fig : Miller gate is three majorities with various polarities.
Fig 2.5.3: Analysis of Millers 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.
Miller gate plus inverters is universal Fig : Universality of Miller gate. Miller with inverters is universal.
Fig 2.5.5: Realization of EXOR using 3 majorities. Realization of EXOR needs ancilla bits
Adaptation to reversible design Fig : The circuit from Fig redrawn to a notation that is more similar to Quantum Array notation.
New gate New 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
Concluding 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 gates I believe that I will be able to create many useful gates in various families based on: – Majorities only – Majorities and SWAP – Majorities and NOT – Majorities, NOT and SWAP Toffoli, Feynman and Fredkin can be created but are not necessarily the best way to create big reversible circuits in quantum dot QCA.
Concluding 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.
Conclusion 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.
What to remember? 1.Y gate 2.Single-rail circuits with Y gates. 3.Double-rail circuits with Y gates. 4.What are advantages of double-rail circuits. 5.Majority gate in Quantum Dot Cellular Automata. 6.How to use Majority to build Three-input EXOR? 7.Relation between reversible Miller Gate and Majority – how it can be used in QCA circuits?