Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter September 29, 2015

Design of reversible logic circuits using quantum dot cellular automata-based system

  • Tamoghna Purkayastha

    Tamoghna Purkayastha received his MTech. degree in Very Large Scale Integration (VLSI) from West Bengal University of Technology, West Bengal, India, in 2013. Presently, he is a Junior Research Fellow in the Department of Computer Science and Engineering, West Bengal University of Technology, Kolkata, India. His research interests include QCA-based reversible computing and nanocommunication.

    , Tanay Chattopadhyay

    Tanay Chattopadhyay received his MSc degree in Physics from the University of Calcutta in 2002 and his PhD degree in Physics from West Bengal University of Technology in 2012. He is currently working at Kolaghat Thermal Power Station, a unit of West Bengal Power Development Corporation Ltd., Government of West Bengal Enterprise, as a junior manager. His present research interests include optical logic-based information processing, multiple-valued logic, cellular automata, nonlinear optics, and quantum optical devices.

    ORCID logo EMAIL logo
    and Debashis De

    Debashis De received his MTech. degree in Radio Physics and Electronics in 2002. He obtained his PhD (Engineering) from Jadavpur University in 2005. Presently, he is an Associate Professor in the Department of Computer Science and Engineering, West Bengal University of Technology, India, and an adjunct research fellow of the University of Western Australia, Australia.

From the journal Nanotechnology Reviews

Abstract

Shrinking transistor sizes and power dissipation are the major barriers in the development of future computational circuits. At least when the transistor size approaches the atomic scale, duplication of transistor density according to Moore’s law will not be possible. Physical limits, like quantum effects and nondeterministic behavior of small currents, and technological limits, such as high power consumption and design complexity, may hold back the future program of microelectronic conventional circuit scaling. Hence, an alternative technology is required for future design. Quantum dot-cellular automata (QCA) is a transistor-less, very promising nanotechnology that can be used to build nanocircuits. The conventional computer is an irreversible one; i.e. once a logic block generates the output bits, the input bits are lost. A possible solution is reversible computing, where no bit is lost during computation. Hence, logically reversible circuit can consume less energy than any conventional circuit. In this paper, a brief review on evolution of the QCA in reversible computing is discussed. Various reversible gates that are designed using QCA technology as well as the modification of those designs that are made in latter works are highlighted.

1 Introduction

In 1961, Rolf Landauer of IBM defined a revolutionary principle that when the output of any logical circuit does not uniquely define its input, then the device is said to be logically irreversible and it will dissipate energy [1]. Logical irreversibility means that any outputs from a logic gate can be obtained from more than one set of inputs. For example, the logic gate AND (A, B)=Y that maps two input bits, A and B, into a single bit, Y, is logically irreversible because an output Y=0 (false) could be accounted for by any of the three input pairs (A=0, B=0), (A=0, B=1), and (A=1, B=0). Hence, for this particular output, the input is ambiguous and the operation is said to be logically irreversible. According to the second law of thermodynamic consequences, whenever a logically irreversible operation is performed, energy must be dissipated, in the amount of kBTln2 J per bit erased [1], where kB is the Boltzmann constant and T=300 K. This value is equivalent to ~2.9×10-21 J at room temperature. This was also experimentally proven by Bèrut et al. [2]. When bit is destroyed inside the circuit, entropy of the physical system increases according to the second law of thermodynamics. Thus, heat dissipation in a circuit can be expressed by Shannon entropy (H) as -ipilnpi, where pi is the probability of state during computation. If ΔH measures the logical entropy changes in bits, then minimum heat dissipated is ΔE=kBTln2(ΔH). If total change of entropy of system and the surrounding is >0, then a physical system cannot run in reverse. Thus, the system is called thermodynamically irreversible. The energy E bit required for a binary transition is given by the Shannon-Von Neumann-Landauer (SNL) expression in [1, 2] as follows:

(1)EbitE SNL=kBTln2=0.017 eV.

This amount is small but not negligible for a large circuit. Also, at low temperatures (T→0 K), this will be very low. Also, from the Heisenberg uncertainty relation, the size of the device should be ~1.5 nm at room temperature for low loss [3]. Hence, a nanoscale circuit is required for lossless computing in the future. The solution for this energy loss can be obtained by introducing reversible computing. In order to eliminate the problem of bit loss, reversible computing came into practice. Bennett first proposed the principle of logical reversibility. He showed that, asymptotically, zero-power dissipation in logic circuit is possible only if the circuits are composed of reversible gates [4]. There are two types of reversible elements: one without memory, which is usually called a reversible logic gate, and the other with memory, which is called rotary element [5]. In this article, reversible logic elements are discussed. According to the theory of reversibility, any reversible logic gate will follow the following principles:

  1. For n bits of inputs, there should be equal n bits of output.

  2. The input combination will be reflected at the output but not necessarily in the same order.

  3. Fan-out is not possible in reversible systems.

Thus, reversible gates do not erase any information, and consequently, a computation based on reversible logic can be run forward to obtain an answer as well as the answer copied, and then the whole computation is undone to recover almost all the energy expended. A reversible gate has an inverse, that is, a gate that “undoes” the logic function [6]. A logic gate is said to be self-invertible if the gate is equal to its own inverse. For example, a gate G is self-invertible if, for every input x, G(G(x))=x [6]. The unused outputs are used to maintain the reversibility of the circuits and are known as the garbage outputs. However, the inputs that are regenerated at the outputs are not considered as the garbage [7]. The constant inputs in the reversible circuits are called the ancilla. Numerous reversible logic gates have been proposed in following years, out of which some of the notable ones are Fredkin gate and Toffoli gate proposed by Fredkin and Toffoli [7], Feynman gate (FyG) [8], TSG gate [9].

Boolean logic gates are arguably the most important elements of modern computers and switching networks. At the same time, numerous contributors to electronic Boolean logic gates have revolutionized the world by keeping Moore’s law alive. However, it is obvious that such an exponential growth of transistor density on some square millimeters must reach its limits in the future – at least when the miniaturization reaches a level where a single transistor size approaches the atomic scale. Thus, some researchers think that in 2020 to 2025, duplication of transistor density will not be possible any longer. Computers today are based on electronics, but ohmic loss (I2R) happens when electron moves through wire. Increase in power consumption is becoming a limiting factor in high-performance digital circuit and systems. In electronics, Ohmic loss cannot be avoided. Quantum dot-cellular automata (QCA) was first proposed by Lent et al. in 1993 in their paper [10, 11]. QCA is a transistor-less technology, and beyond CMOS technology, it will play a vital role in future supercomputing [12, 13]. It is based on the principle of quantum confinement. When a low-bandgap material is confined in three dimensions (3D confinement) by another high-bandgap material, then quantum dot (QD) is formed. QD is a 0D structure, where carries are restricted to a specific set of completely quantized energy states. A QCA cell consists of four QDs, out of which two dots are injected with extra electrons. Depending upon the position of the electrons, the QCA cell gains its polarization. The basic advantages of QCA are the following:

  1. It is a transistor-less technology; as a result, it does not face short channel effects.

  2. QCA is a charge confined protocol, so it does not have the disadvantage of charge dissipation.

  3. QCA circuit operates at a speed of terahertz frequency range.

  4. QCAs have high packing density.

This paper is organized as follows, Section 2 will provide a brief overview of QCA cell structure, majority voters (MVs), and clocking. In Section 3, we will focus on different approaches made to design many reversible logic gates. Comparative analysis of all those designs is given in Section 4. Finally, a conclusion of the review is drawn in Section 5, followed by references.

2 Background of QCA

Lent et al. [10, 11] were the first to propose the concept of QCA. QCA is a transistor-less technology. It is based on the concept of charge quantization. QDs are produced by forming semiconductor heterostructure. A QCA cell will consist of four such QDs. Electrons are injected in the QDs, which occupy the corner-most dots of the cell. Depending upon the position of the cell, the polarization of a QCA cell can be determined with three different cell-polarization states, as shown in Figure 1A, viz. P=0 (null state), P=-1 (binary 0 state), and P=+1 (binary 1 state), respectively.

Figure 1: Basic QCA cells. (A) Different QCA cell polarization, (B) data flow in QCA wire.
Figure 1:

Basic QCA cells. (A) Different QCA cell polarization, (B) data flow in QCA wire.

The polarization of electrons can be described with respect to quantum mechanics. The polarization P is defined as follows:

(2)P=(σ1+σ3)-(σ2+σ4)(σ1+σ2+σ3+σ4).

Here, σi is the expected value of number operator of site i. For the ground state Eigen functions:

(3)σi=ψ0|n^|ψ0,

where |ψ0〉 represents the ground state. According to polarization P, the electrons are positioned with applied strong stimulation such as heat, voltage, or photons. This can change the electron polarization of the cell due to “kink” the energy. From Coulomb’s law, it is known that the potential energy (Ei,j ) between two charges qi and qj separated by distance rij is given by Eq. (4).

(4)Ei,j=14πε0|ri-rj|qiqj=kqiqjrij

ε0=permittivity of free space

qi and qj =electrical charges of i and j, respectively

|ri -rj |=rij =distance between two electrons

k=14πε0=Coulomb constant9×109

Considering the values of k, qi , and qj , kqiqj =9×109× (1.6)2×10-38=23.04×10-29=A is obtained [14–16]. The energy represented by Eq. (4) is minimum when two neighboring cells have same polarization and is maximum when they are in opposite polarization. The difference between this maximum and minimum energy is called kink energy, i.e. Ekink=(Ei,j)|PiPj-(Ei,j)|Pi=Pj.Ei,j can be calculated using Eq. (4) and can show how data are transferred through the QCA wire, which is QCA cells placed side by side. Here, data or the cell polarization is transferred through the wire without having any charge transfer. A cell wire is composed of a finite number of cells (say N), all lined up forming a linear array. At the initial condition, i.e. when the system is in ground state, all the cells have the same polarization. Suppose, then, the cell in one extremity of the wire is externally forced to change its polarization, and suddenly a kink in polarizations appears between the first and the second cells of the array. This kink must then propagate through the array until it reaches the other extremity. Figure 1B shows a simple QCA wire having three QCA cells. Here, each dot of QCA cells is numbered from E1 to E16. Navi et al. [17, 18] have proposed a physical proof of the functionality of QCA devices. They calculated the potential energy of electrons in each dot in a cell with respect to the potential energy of the electron in the previous cell [17, 18]. It was observed that in order to achieve more stability, the electrons in each cell should be placed in such a manner so that their potential energy reaches minimum level.

Total potential energy=UT=l=1n(Ei,j)l.

Here, the cell size is considered 18 nm×18 nm, and there is a 2-nm gap in between two cells. Let the first leftmost cell at polarization be P=+1. At first, we can calculate the potential energy existing between electrons E1, E2, E3, and E4 and E5. Based on the calculation, the position of electrons in cell 2 is defined. Let the potential energy between E1 and E5 be (E1,5)1 and so on. Therefore, the potential energies are calculated as follows:

(E1,5)1=Ar1,5=23.04×10-2920×10-091.15×10-20 J

(E2,5)2=Ar2,5=23.04×10-292×10-0911.52×10-20 J

(E3,5)3=Ar3,5=23.04×10-29(18)2+(20)2×10-09=23.04×10-2926.90×10-090.856×10-20 J

(E4,5)4=Ar4,5=23.04×10-29(18)2+(2)2×10-09=23.04×10-2918.11×10-091.27×10-20 J

Hence, UT1=l=14(Ei,j)l=[(E1,5)1+(E2,5)2+(E3,5)3+(E4,5)4]=14.796×10-19J.

In the same way, the potential energy (UT2) of electron E6 with E1, E2, E3, and E4 as (E1,6)1=0.57×10-20 J,(E2,6)2=1.04×10-20 J,(E3,6)3=0.50×10-20 J, and (E4,6)4=0.61×10-20 J, respectively, is calculated. Hence, UT2=[(E1,6)1+(E2,6)2+(E3,6)3+(E4,6)4]=2.72×10-20 J. So, UT2<UT1. So, electron E6 is much more stable than E1. Similarly, it is shown that electron E7 is much more stable than E8. So, the second cell will be the polarization P=+1; i.e. data are transferred to the second cell. In the same manner by calculation of potential energies for each electron, we can physically determine the polarizations for each cell. In this way, data transfer through QCA wire can happen.

2.1 Types of QCA

There are four types of QCA reported so far. These are as follows:

2.1.1 Molecular QCA

In [19], Lent et al. produced a QD at the redox center of the proposed molecule 1(1,4-diallyl butane radical cation). In [20], Lent et al. proposed another three-dot molecule based on the same principle as in [19]. The molecule proposed in [20] has three allyl groups connected in a “V”-like structure by alkyl bridges. It represents a “QCA half-cell,” which can be in the state 1, 0, or NULL as shown in Figure 2. The isopotential surfaces of three states, i.e. state 1, state 0, and null, are shown in Figure 2. The lump indicates the occupancy of excess positive charge or hole on an allyl group. In [21], an unsymmetrical Ru-Fc complex QCA cell is prepared and synthesized. Further XPS and spectrographic studies are performed to support the experimental observations.

Figure 2: Charge configuration of the molecules proposed in [20]. This molecular structure has 3 allyl groups (shown by three circles by A1, A2 and A3 respectively in ‘V’ shape). Among them, two are neutral and one is positive. In this case positive charge (hole, shown by filled circle) transferred between different dots, creates three states (‘NULL’, ‘Binary-0’ and ‘Binary-1’ respectively).
Figure 2:

Charge configuration of the molecules proposed in [20]. This molecular structure has 3 allyl groups (shown by three circles by A1, A2 and A3 respectively in ‘V’ shape). Among them, two are neutral and one is positive. In this case positive charge (hole, shown by filled circle) transferred between different dots, creates three states (‘NULL’, ‘Binary-0’ and ‘Binary-1’ respectively).

2.1.2 Metal Dot QCA

Several works are proposed in metal dot QCA cell. The metal dot QCA cell fabricated by Orlov et al. [22] is shown in Figure 3. It consists of four metals connected by Al-AlOx-Al tunnel junctions. The fabrication is done by electron beam lithography method and shadow evaporation techniques at 15 K temperature. A magnetic field of 1 T is required to generate superconductivity of the metal. Electron transfer between dots creates polarization change. Gate electrodes (on which external voltage is applied) force to tunnel an electron to switch from one dot to the other.

Figure 3: Schematic of metal dot QCA.
Figure 3:

Schematic of metal dot QCA.

In the metal dot QCA paradigm, the dot is basically a metal island. Tóth and Lent [23] show the quasi-adiabatic switching of a metallic half-cell consisting of three metal islands. Here, the top and bottom islands will correspond for the polarization of the cell, whereas the null state will be associated with the middle island. A leadless QCA double dot cell had been fabricated by Amlani et al. [24]. Here, the metal island is made of aluminum. The area of the tunnel junction fabricated is 60×60 nm2 and electron temperature is 70 mK. The fabrication here is also done by electron beam lithography.

2.1.3 Semiconductor QCA

A QCA cell can be realized in silicon system [25–27]. In a semiconductor material like GaAs/AlGaAs, four QDs can be fabricated with a high-mobility 2D electron gas (2DEG) below the surface. The idea of patterning electrons confined in 2DEG using metal top gate has been implemented to develop semiconductor QCA system. The 2DEG is formed at the interface of a semiconductor substrate and dielectric layer. The preferable semiconductor materials are silicon-silicon dioxide or III–V heterojunction materials. Electric field is applied through the metal top gate, which depletes the electrons in the 2DEG. Finally, metal gates are etched away to form QDs at the exposed surfaces. In [28], Lent and Tougaw have proposed the possible fabrication of semiconductor QCA system with this technique. Further, the authors in [28] have modified the structure to develop a sharper QD. This is by using dual metal top gates. The fabricated layout demonstrated by Lent and Tougaw [28] is shown in Figure 4. Here, two top metal gates (G1 and G2) control the occupancy of electrons in p-type Si substrate. A lower metal gate is used to deplete holes near the surface of the metal substrate where QDs are not desired. Using this approach, dots can be made to hold a single electron. This design can be fabricated with scanning tunneling lithography [29, 30].

Figure 4: Schematic of semiconductor QCA by Lent and Tougaw [28].
Figure 4:

Schematic of semiconductor QCA by Lent and Tougaw [28].

QDs are formed by 3D confinements of semiconductor materials with different lattice structures [31]. There are two types of semiconductor junctions, viz. homo-junction and hetero-junction. Homo-junctions are formed at the interface of two semiconductors of similar lattice structures, whereas hetero-junctions are formed at the interface of two dissimilar crystalline semiconductors. The thickness of the layer at which the QDs are formed is known as critical thickness, tcr . When monolayers of hetero-junctions are deposited, then at a certain point, the layer thickness t becomes greater than critical thickness tcr . At this time, a very thin semiconductor film buckles due to stress of having different lattice structures from those of the material upon which the films are grown. This huge pressure of the newly formed layer forces the inner layer to pop up to relieve stress, which forms the QD. The formation of QD occurs at t>tcr . The density of state equation for QD is

(5)ρenergy=2nx,ny,nzδ(E-Enx,ny,nz),

where ρenergy is the energy density and is given as ρenergy=dρdE and Enx,ny,nz is the finite carrier energy.

QDs are fabricated by the following three methods:

  1. Electron beam lithography

  2. Molecular beam epitaxy (MBE)

  3. Metalorganic vapor phase epitaxy

Among these, MBE is the most used technique today. MBE takes place in ultra-high vacuum (10-8 Pa) environment. The deposition rate of MBE is typically less than 3000 nm per h [32]. MBE allows epitaxial growth of films. The ultra-high vacuum environment is required for high purity of the grown films. The reflection high-energy electron diffraction method is used to monitor the growth of the crystal layers. QDs are formed by 3D confinements of different bandgap materials. In a semiconductor, in crystallites whose diameter is smaller than the size of its exciton Bohr radius, the excitons are squeezed, leading to electron confinement.

The thickness of each layer down to a single atom layer is controlled by a computer-controlled shutter. In this way, structures of layers of different materials are fabricated. With the help of such control, development of structures where the electrons can be confined in space are achieved, which results in the formation of QDs.

2.1.4 Magnetic QCA

It is observed that magnetic phenomenon is utilized for data storage, whereas electronic phenomenon for information processing. Thus, ferromagnetism is nonvolatile in nature. Power dissipation has become a challenging issue for present CMOS circuits. As a result, logic implementation using nanomagnets are being researched upon [40–42]. This is because of the following two major advantages of nanomagnet logic:

  1. The nonvolatile nature results in zero standby power dissipation.

  2. Switching energy of magnetic devices is much less compared to CMOS gates [41].

Nanomagnets are nanoscale magnets that have single magnetization state, viz. up (↑) or down (↓). Such nanomagnets have size scales of tens to hundreds of nanometers. This is because if the length is too large, the magnetization state will break up into multiple internal domains, whereas if the length is too small, the magnetization state can be switched by random thermal fluctuations and will no longer be stable.

The array of nanomagnets can be placed in either antiferromagnetic (↑↓) or ferromagnetic (→→) positions [41]; here, the arrow denotes the direction of the poles of the magnets. It is observed that in the antiferromagnetic position, the direction of the poles gets reversed.

Porod et al. [41] have designed a QCA system using nanomagnets. This kind of logic is termed as magnetic QCA or nanomagnetic logic. Hu et al. [41] have termed a single nanomagnet as a magnetic island, and the magnetic islands are fabricated from 30-nm thin film of permalloy using EBL and standard liftoff technique. Here, four major works done in the MQCA domain have been cited. In the magnetic domain, QCA cells are formed by nanosized ferromagnetic materials. Csaba et al. [33] proposed that information can be propagated through an array of magnetic dots due to dot-dot interactions. Depending on the spin of the magnetic dot, the polarization of a MQCA cell can be determined. Csaba et al. [33] show how signal processing and various logic functions can be realized by the interaction between neighboring magnetic dots. In [33], it was shown how nanowire can be realized by proper placement of nanomagnets, shown in Figure 5A. Here, clock (discussed in Section 2.3) is a periodic oscillating external magnetic field (H). It drives the system initially (Figure 5A), then controls the relaxation of the system to ground state. H turns the magnetic moments of all nanomagnets horizontally, as shown in Figure 5A. When H is removed, i.e. H=0, the nano magnets relax into an antiferromagnetic order (shown in Figure 5D). Clocking system is done by induced magnetic field created by applying current (I) [33–37].

Figure 5: Operating principles of MQCA.
Figure 5:

Operating principles of MQCA.

Latter in 2004, magnetic cellular automata was proposed by Parish and Forshaw [38] based on the principle of data storage using nanomagnets. One of the advantages of MQCA is that is can be operated at room temperature. Bernstein et al. [39] carried an experimental demonstration of designing of nanomagnet at room temperature. They also proposed how QCA wire and majority gates can be realized using nanomagnets.

2.1.5 Room temperature fabrication of QCA

Very recently, Dilabio et al. [43] have experimentally fabricated QCA cell at 293 K. This invention is expected to remove the major obstacle for QCA realization in room temperature. The QCA device has been fabricated by spatially controlled formation of dangling bonds (DBs) over silicon surface <100>. The silicon atom in the surface shared three bonds with other silicon atom. The unshared atom is bonded with hydrogen atom to form a DB. Each DB has a separation of one atom. Finally, additional electron has been provided inside the DB such that there exists at least one unoccupied DB for each additional electron. Such a cell has a “self-biasing” effect. The binary state of the cell is electrostatically controlled. The most important feature is that the device operates at room temperature (293 K) and largely immune to stray electrostatic perturbation [43].

2.2 QCA basic gates

2.2.1 Majority voter

In QCA technology, data transfer as well as computation operations take place with the help of columbic interactions. There is no concept of charge transfer through wire, like traditional CMOS technology. This is because of the fact that charges remain confined in the QCA cell and ideally do not dissipate. Here, the concept of polarizations comes in, which means that the placement of QCA cells is the a particular manner is required to design any QCA logic gates or QCA wire. The fundamental QCA logic circuit is majority voter (MV) gate. MV is a logic gate whose output is the state of the majority of the inputs [10, 19, 20]. Eq. (6) gives the logic function of a three-input MV, where A, B, and C are the three inputs.

(6)MV (A, B, C)=AB+BC+CA

The QCA layout of the MV gate is shown in Figure 6a. From the figure, it is seen that there are three input cells, viz. A, B, and C, and one output cell M. Apart from these three cells, there is another cell in the middle. This cell is known as a device cell. The input cells may have different polarizations, i.e. +1 or -1. But as there are three of them, there will always be either two +1 or two -1 polarizations or, in other words, majority of any one of the polarizations will be seen at any point of time. The device cell will simply attain the polarization that is in excess in the input cells. Finally, the output cell will simply reflect the polarization of the device cell due to columbic effect. This is the fundamental operation of the QCA MV gate. The block diagram of an MV gate is also shown in Figure 6b. MV can be used to perform AND as well as OR operations by making one of the inputs, say C, fixed to logic 0, i.e. polarization -1, also known as fixed polarization, and as an OR gate by making one of the inputs fixed to logic 1, i.e. polarization +1 as

Figure 6: Majority voter circuit. (a) QCA layout; (b) its block diagram.
Figure 6:

Majority voter circuit. (a) QCA layout; (b) its block diagram.

MV (A, B, C)=AB+BC+CAMV (A, B, 0)=ABMV (A, B,1)=AB+B+A=A+B

2.2.2 QCA Inverter or NOT

Another interesting QCA gate is the QCA inverter. Until now, we are familiar of the fact that any logic operation or data transfer in QCA technology is basically driven by Columbic interaction between the electrons of adjacent QCA cells. The same principle holds true in the case of designing QCA inverters. The basic idea is to have cell(s) at the corner(s) of the output cell. The first figure in Figure 7A shows that the output cell X′ has cell at one of its corners. This kind of orientation will force the output cell to attain the polarization opposite of that of the corner cell. A similar operation takes place in the second figure in Figure 7A, but in this case, the output cell has cells in both of its corners. The only difference in this layout is that it will attain a much stable output. For example, in this case, the corner cells are in +1 polarization, so the output cell can never be in +1 polarization due to Columbic interaction and thus will be forced to be in -1 polarization. Two standard cells in a diagonal orientation are designed as QCA inverter. Two types of designs can be possible for QCA inverter or NOT gate. The QCA layout of these inverters is shown in Figure 7A. Also, its logic symbol is shown in Figure 7B.

Figure 7: Inverter/NOT circuit. (A) QCA layout; (B) its logic symbol.
Figure 7:

Inverter/NOT circuit. (A) QCA layout; (B) its logic symbol.

2.2.3 QCA tile structure

The defect in QCA structures depends highly on the placement of the QCA cell. There are two types of placement defect in QCA structures, viz. misplaced cell defects and missing cell defects. In the first case, the cell might be wrongly fabricated in a misaligned manner, whereas in the second case, the cell might not be fabricated at all. In both cases, the output will be erroneous. In order to cope up with the misplaced/missing cell defect of QCA cells, QCA tile structure was proposed by Das and De in their paper [44]. Here, a number of QCA cells are placed closely packed with each other; thus, the probable error of misplacement can be rectified to a large extent. Among various tile structures, the 3×3 tile is found to be most popular because of its versatility. In Figure 8A, a grid representation of the 3×3 tile is presented. It has a total of nine positions for cell placement. The positions for cell placement are marked from 1 to 9. A 3×3 tile-based MV is much more stable and fault tolerant than ordinary three-input MV, as discussed in Section 2.2.1 for the presence of diagonal cells (1, 3, 7, and 9) [44] and the radius effect [45]. Having the grid structure for MV will strengthen the output polarization and will make it more stable. Further, if any of the cell gets misplaced or missing, the adjacent cells of the grid will cope up for it. In this way, the placement problem can be eliminated. The grid structures are not quite favorable for smaller designs because they will increase the cell count of the design, but in bigger circuits, it will be highly beneficial. A block diagram of an MV circuit using a 3×3 tile is shown in Figure 10B. The tile structure shown in Figure 8B is known as 3×3 orthogonal tile [46]. There is another variety of 3×3 tile that is known as 3×3 baseline tile (shown in Figure 8C). The most significant feature of the 3×3 baseline tile is that it supports coplanar crossing without using rotated cells. From Figure 8C, it is seen that polarization of A passes through F2, whereas polarization of input B passes through F1 without mutual interaction. This tile structure is used to design QCA-based Fredkin gate [46]. The detailed structure of the Fredkin gate is discussed in Section 3.1.1.

Figure 8: QCA tile structure. (A) Grid representation of 3×3 tile. (B) Block diagram of MV circuit using 3×3 orthogonal tile. (C) A 3×3 baseline tile showing coplanar crossing.
Figure 8:

QCA tile structure. (A) Grid representation of 3×3 tile. (B) Block diagram of MV circuit using 3×3 orthogonal tile. (C) A 3×3 baseline tile showing coplanar crossing.

2.2.4 QCA crossover

Crossover is required to carry data through a QCA wire without affecting the other data inside the circuit. There are two types of QCA crossovers, viz. single layer, as shown in Figure 9A, and multilayer, as shown in Figure 9B. Single-layer or coplanar crossings use only one layer but require using two types of QCAs, i.e. regular and rotated. The regular cell and the rotated cell do not interact with each other when they are properly placed, so rotated cells can be used for coplanar crossings. The interaction between a regular QCA wire and a rotated QCA wire is very interesting. Consider the QCA layout in Figure 9A; there are two regular QCA cells on both sides of a rotated QCA cell. In this case, the Coulombic effect of both the regular QCA cells will nullify each other. As a result, the interaction will not take place and the polarization of the rotated cell will be affected only by the upper rotated cell. Multilayer crossovers utilize the concept of multilayered conventional integrated circuits. It consists of the main cell layer, via layers and the interconnection layer. In case of multilayer crossover, as shown in Figure 9B, the crossings of the two QCAs do not take place at the same layer. While one of the wires, marked in white in the figure, passes through the base layer, also known as the main cell layer, the other wire, marked in brown in the figure, crosses the previous wire through a different layer above the main cell layer. This new layer is known as the via layer, and there are interconnection layers that connect the via layer with the main cell layer.

Figure 9: QCA crossovers: (A) coplanar crossover, (B) multilayer crossover.
Figure 9:

QCA crossovers: (A) coplanar crossover, (B) multilayer crossover.

2.3 Clocking in QCA circuits

Clocking is required for a QCA circuit to synchronize and for information flow control. If we switch a large array of cells at the same time, then data get stuck because electric field (kink energy) never reaches the ground state. Hence, error occurs at the output. To overcome this problem, various cell arrays are divided into four clocking zones, i.e. C0, C1, C2 and C3.

  • It must follow a particular order, viz. C0→C1→C2→C3.

  • If the length of any QCA wire is greater than Ei,j /kbT, then the wire is further partitioned into separate clock zones.

Generally, four multiphase clocking signals of phase lagging of π/2 are applied, as shown in Figure 10A. This type of clocking system is called the Laundauer type [47]. During a complete cycle, each zone goes through the four phases.

  • Switch phase: The QCA cell starts to move from an unpolarized state to a polarized state and the barriers of the dots are raised. The electrons start tunneling through dots as the dots are influenced by the electron of its neighbor cell.

  • Hold phase: The barrier of the cell is in the high value, electrons cannot tunnel through dots, and cells maintain their current states, i.e. fixed polarization.

  • Release phase: The barrier is lowered, electrons can tunnel through dots, and states of the cell become unpolarized.

  • Relax phase: The barrier remains lowered and cells stay in the unpolarized state.

Figure 10: Clocking used in QCA circuit. (A) Laundauer clocking waveform, (B) Bennett clocking waveform. S, switch phase; H, hold phase; Re, release phase; Rx, relax phase.
Figure 10:

Clocking used in QCA circuit. (A) Laundauer clocking waveform, (B) Bennett clocking waveform. S, switch phase; H, hold phase; Re, release phase; Rx, relax phase.

Also, Lent et al. proposed another type of clocking signals for reversible circuit, which is Bennett-type clocking [47, 48]. The waveform of Bennett clocking is shown in Figure 12B. The principle of this clocking is to first compute the results by latching the cell array from input to output and then uncomputing by latching array to relax to an unpolarized state from output to input. From Figure 10A and B, we see that Bennett clocking requires more than twice the number of clock fractions than does the Laundauer clocking scheme [48].

3 Reversible computation in QCA

In 1993, Lent et al. introduced reversibility in QCA-based circuit design [10]. In the following years, several authors have proposed several reversible gates in QCA. In the chart given below, some of the important designs of reversible logic gates based on QCA are highlighted. All these designs are further modified and proposed in latter work.

3.1 Basic reversible logic gates

In this section, we will discuss various reversible gates that have been proposed in QCA.

3.1.1 Fredkin gate

One of the most used reversible logic gates is the Fredkin gate, or controlled SWAP gate. It is a 3×3 reversible gate. If A, B, and C are the inputs, then P, Q, and R will be the outputs such that P=A, Q=A̅B+AC, and R=A̅C+AB. This will be clear by the truth table of the Fredkin gate in Table 1.

Table 1

Truth table of the Fredkin gate.

InputOutput
ABCPQR
000000
001001
010010
011011
100100
101110
110101
111111

From the truth table, it is observed that outputs Q and R will reflect the inputs B and C when input A is 0. But when A becomes 1, swapping will take place, i.e. the output Q will reflect input C and output R will reflect input B. From this truth table, the change in entropy (ΔH) by calculating Hin and Hout is calculated. It is found that Hin=Hout=-818ln(18) and ΔH=Hin-Hout=0. So energy dissipation is ΔE=kBTln2·(ΔH)=0. Ma et al. [49] was the first to design a QCA-based Fredkin gate; the QCA layout of the circuit is shown in Figure 11a. In Figure 11a, A, B, C are the inputs and P, Q, R are the outputs. The layout is analyzed using the following equations:

Figure 11: A QCA-based Fredkin gate circuit as proposed by (a) Ma et al. [49], (b) Thapliyal and Ranganathan [50], and (c) Das and De [46] (3×3 T: 3×3 tile-based MV).
Figure 11:

A QCA-based Fredkin gate circuit as proposed by (a) Ma et al. [49], (b) Thapliyal and Ranganathan [50], and (c) Das and De [46] (3×3 T: 3×3 tile-based MV).

MV3 (A, C, -1)=AC; MV3 is the three-input MV, -1=-1 fixed polarization at the third input. In Section 2.2.1, we have discussed how MV can be used to design AND and OR gates.

Q=MV3(MV3_1, MV3_2,1)MV3(A, B, -1)=ABMV3(A¯, C, -1)=A¯CR=MV3 (MV3, MV3,1)P=R

They use coplanar crossing in their design, so cell count is reduced to a large extent. Moreover, the output of the Fredkin gate can be obtained in one clock cycle delay. But the design uses four extra ancilla inputs. These bits are destroyed, so actual heat dissipation is 4kBTln2 J. Also, the number of the fan-out is 8.

In the same year, in 2009, another paper was published by Thapliyal and Ranganathan [50], where the design approach of the QCA-based Fredkin gate is basically same as in [49], shown in Figure 11b. Their design used six extra ancilla inputs. These bits are destroyed, so actual heat dissipation is 6kBTln2 J. Also, the number of fan-out is 6.

In 2010, another significant modification of the QCA-based Fredkin gate design was reported by Das and De [46]. The Fredkin gate proposed [46] is based on the QCA 3×3 orthogonal and baseline tile structure. The tile structure helps in implementing versatile logic functions and is highly area efficient. The proposed Fredkin gate QCA layout is given in Figure 11c. The circuit has four extra ancilla inputs, which is equivalent to heat dissipation of 4kBTln2 J and six fan-outs. In Figure 11c, a 3×3 orthogonal tile structure is used as majority gates, whereas a 3×3 baseline tile is used for coplanar crossover. The majority equation of this design is same as of the other two.

3.1.2 Toffoli gate

The Toffoli gate is also a 3×3 reversible gate. The truth table of the Toffoli gate is given in Table 2, which gives the logical expressions for outputs as P=A, R=C, and Q=AB¯+B (AC). Here, it is found ΔH=0; i.e. energy dissipation is asymptotically zero. The Toffoli gate is known as controlled NOT gate because the output R will be the inverse of input C when both inputs A and B are 1. The QCA-based circuit of Toffoli gate was also first proposed by Ma et al. [49], which is shown in Figure 12. It has two extra ancilla inputs, equivalent to heat dissipation 2kBTln2 J and six fan-outs. The majority equation for Figure 12 is shown below:

Table 2

Truth table of the Toffoli gate.

InputOutput
ABCPQR
000000
001001
010010
011011
100100
101101
110111
111110
Figure 12: Schematic diagram of the Toffoli gate proposed by Ma et al. [49].
Figure 12:

Schematic diagram of the Toffoli gate proposed by Ma et al. [49].

P=AR=CMV (B¯, A, -1)=B¯AMV (C¯,A¯,1)=C¯+A¯MV (A, B, C)=AB+BC+CAQ=MV (MV (B¯, A, -1), MV ((C¯,A¯,1), MV(A, B, C))=MV (AB¯,A¯+C¯, AB+BC+CA)=AB¯C¯+A¯BC+ABC¯+AB¯C=AB¯+BA¯C+BAC¯=AB¯+B (AC)

3.1.3 Reversible universal gate

Sen et al. [51] proposed the reversible universal gate (RUG), which is shown in Figure 13. The logical expressions of the outputs are as follows:

Figure 13: Schematic diagram of the RUG gate proposed by Sen et al. [51].
Figure 13:

Schematic diagram of the RUG gate proposed by Sen et al. [51].

X=M (A, B, C)=AB+BC+CAY=MV [MV (A, C, -1), MV (A, B, -1),1]=AB+ACZ=MV [MV (B, C, -1), MV(C, B, -1),1]=BC.

It has six extra ancilla inputs, equivalent to heat dissipation 6kBTln2 J and eight fan-outs.

3.1.4 Feynman gate

The FyG is a 2×2 reversible logic gate. The logical expression of two outputs are P=A and Q=A⊕B, where A and B are two inputs. If B=0, then Q=A⊕0=A; i.e. it copies the inputs into two without crating fan-out and bit erase. Hence, this reversible gate reduced fan-out. In [52], Thapliyal and Ranganathan have proposed a QCA-based FyG. The schematic diagram of QCA layout of a FyG is shown in Figure 14a. Here, it is seen that there are three extra ancilla inputs in the circuit, which is equivalent to heat dissipation 3kBTln2 J as these bits are lost during operation. Also the number of fan-out is three.

Figure 14: Schematic diagram of (a) FyG and (b) double FyG proposed by Bahar et al. [53].
Figure 14:

Schematic diagram of (a) FyG and (b) double FyG proposed by Bahar et al. [53].

In [53], Bahar et al. proposed a modification on the FyG. The authors proposed a QCA-based double FyG. The double FyG is a 3×3 structure with A, B, and C as inputs and P, Q, and R as outputs such that P=A, Q=A⊕B, and R=A⊕C.

The truth table of the double FyG proposed in [53] is given in Table 3. It is seen from the truth table that the input combination is uniquely represented at the output, which supports the reversibility of the proposed gate. Here, it has also been found that ΔH=0, and Figure 14b shows that there are six extra ancilla inputs in the circuit, which is equivalent to heat dissipation 6kBTln2 J as these bits are lost during operation.

Table 3

Truth table of the double FyG.

InputOutput
ABCPQR
000000
001001
010010
011011
100111
101110
110101
111100

3.1.5 CQCA gate

The CQCA gate was proposed by Thapliyal and Ranganathan [50]. The schematic diagram of the proposed CQCA gate is shown in Figure 15. The proposed CQCA gate performs the output logic expressions, P=A, Q=AB+BC+CA, and R=A̅B+BC+A̅. CQCA is a conservative logic gate. The circuit has no ancilla inputs and also ΔH=0; hence, theoretically, it does not dissipate energy. The number of fan-out is four.

Figure 15: Schematic diagram of the reversible CQCA gate proposed by Thapliyal and Ranganathan [50].
Figure 15:

Schematic diagram of the reversible CQCA gate proposed by Thapliyal and Ranganathan [50].

3.1.6 CLG gate

Another 3×3 conservative logic gate with reversible property was proposed by Das and De [46]. The logic expression of CLG is P=C, Q=AB+BC+CA, R=C̅B+AB+C̅A. This is basically a similar type of CQCA gate. The QCA circuit of the CLG gate is shown in Figure 16. Here, they used 3×3 tile-based MV gates. CLG has both bit preservation as well as parity preservation properties. As a result, CLG can be used as both reversible and conservative logic. Due to the use of tile structure, the design can be achieved in a single layer; also, the stability of the output is much higher. Here, no ancilla inputs occurred, no bit loss happens, and also ΔH=0. So, theoretically, it does not dissipate energy, but the circuit has three fan-outs.

Figure 16: Schematic QCA layout of the CLG gate proposed by Das and De [46]. 3×3 T: 3×3 tile-based MV.
Figure 16:

Schematic QCA layout of the CLG gate proposed by Das and De [46]. 3×3 T: 3×3 tile-based MV.

3.2 Complex reversible logic circuit design using basic reversible logic gates

3.2.1 Reversible full adder

Any complex circuit designed with basic reversible gates are also reversible in nature. Bruce et al. [6] designed a full-adder circuit using four Fredkin gates as shown in Figure 17. Total ancilla inputs are two and the number of garbage outputs is three.

Figure 17: Reversible full-adder circuit proposed by Bruce et al. [6]. FG, Fredkin gate.
Figure 17:

Reversible full-adder circuit proposed by Bruce et al. [6]. FG, Fredkin gate.

Here, from the logical expressions of Fredkin gate, the logical expressions of the different outputs can be written as

P1=Xi,Q1=Xi,R1=X¯iQ2=Y¯iQ1+YiR1=Y¯iXi+YiX¯i=XiYi,R2=Y¯iR1+YiQ1=Y¯iX¯i+YiXi=XiYi¯, P3=Q2=XiYi, P4=CiCi+1=Q2¯P1+Q2P4=Q2¯P1+Q2Ci=(XiYi¯)Xi+(XiYi)Ci=XiYi+(XiYi)CiSi=C¯iP3+CiR2=C¯i(XiYi)+Ci(XiYi¯)=(XiYiCi)

3.2.2 Reversible latches

Thapliyal and Ranganathan proposed the reversible D latch and J-K latch using Fredkin gates in their article [54]. In Figure 18A and B, the block diagrams D latch and J-K latch are shown respectively. The characteristic equations of such latches are QD–latch=DE+E̅D and QJK–latch=(JQ̅+K̅Q)E+E̅Q [54]. The D latch has two garbage outputs and the J-K latch has seven garbage outputs and four Ancilla inputs.

Figure 18: Reversible latches. (A) Reversible D-latch and (B) reversible JK-latch proposed by Thapliyal and Ranganathan [54]. FG, Fredkin gate.
Figure 18:

Reversible latches. (A) Reversible D-latch and (B) reversible JK-latch proposed by Thapliyal and Ranganathan [54]. FG, Fredkin gate.

3.2.3 Reversible CED circuit

Thapliyal and Ranganathan used FyG to design a reversible comparator for concurrent error detection (CED), where the authors used FyG to avoid the fan-out constraints [52]. The schematic block diagram of CED is shown in Figure 19. Here, R is a reversible gate that maps input vector X to output vector Y and R̅ is the inverse reversible gate of R, which maps input vector Y to output vector X. Now, if R and R̅ are cascaded together, the input vector can go back at the end. Thus, by comparing the original input vector with the regenerated ones, any error that occurred can be analyzed. Here, the authors have cascaded R with R̅ and the garbage outputs of R are directly passed as the inputs of R̅, whereas each primary output of R is passed through a FyG, with its second input being 0. As shown in Figure 19, the primary output Yk is passed through FyG. As a result, two copies of the primary outputs are obtained, one of which is passed to the input of R̅ to perform CED. Finally, the original input vector and the regenerated input vector are passed through a comparator to generate the error signal.

Figure 19: Block diagram of the error detection scheme proposed by Thapliyal and Ranganathan [52].
Figure 19:

Block diagram of the error detection scheme proposed by Thapliyal and Ranganathan [52].

4 Comparative study

In this section, we present a comparative study of all the different QCA-based reversible logic gate designs that have been highlighted in Section 3. The comparison of the QCA circuits is done on the basis of cell count, number of MVs, area, number of layers used, clock cycles, and latency. In Table 4, the comparative studies of the two types of the design of Fredkin gate that are proposed in [49] and [46], respectively, are presented. From Table 4, it is observed that by using QCA tile structure as discussed in Section 2.2.3, the area of the circuit can be significantly reduced, although the cell count gets higher to some extent, whereas the other factors, like number of layers and latency, remain the same. Another interesting factor that can be observed from Table 4 is that the tile structure uses only 90° cells; thus, it is much more stable in comparison to the other design [42].

Table 4

Comparative analysis of the QCA-based Fredkin gate proposed in [49] and [46].

Proposed byCell countMVsAreaLayerLatencyKey design aspect
Ma et al. [49]18560.54 μm21One clock cycle (four clock zones)Use of both 90° and 45° cells
Das and De [46]24660.33 μm21One clock cycle (four clock zones)Use of 3×3 orthogonal tile

Next, in Table 5, a comparison between the Toffoli gate proposed by Ma et al. [49] and RUG proposed by Sen et al. [51] are shown. The reason we chose to compare these two designs is that both are similar designs and RUG is actually a modified version of the Toffoli gate.

Table 5

Comparative analysis of the QCA-based Toffoli gate proposed in [49] and RUG proposed in [51].

Proposed byCell countMVsAreaLayerLatencyKey design aspect
Ma et al. [49]16740.558 μm211 clock cycle (four clock zones)Use of both 90° and 45° cells
Sen et al. [51].≈298711.75 clock cycles (seven clock zones)Use of both 90° and 45° cells

Table 6 provides a comparative analysis of three new reversible gates designed in QCA. These are the double FyG proposed in [53], the CQCA gate proposed in [50], and the CLG gate proposed in [46]. Among all the designs, the CLG design has both cell count, area, and latency benefits because it has the same latency and also a coplanar design, but cell count and MV count are less compared to other designs. Thus, CLG is beneficial to use in various complex QCA-based reversible logic designs.

Table 6

Comparative analysis of the QCA-based double FyG proposed in [53], CQCA proposed in [50], and CLG proposed in [46].

Proposed byGate proposedCell countMVsAreaLayerLatencyKey design aspect
Bahar et al. [53]Double FyG51 for type 1 and 96 for type 260.06 μm2 for type 1 and 0.094 μm2 for type 210.5 clock cycle (two clock zones) for type 1 and 0.75 clock cycle (three clock zones) for type 2Single layer design by using only 90° cells
Thapliyal and Ranganathan [50]CQCA11720.11 μm210.5 clock cycle (two clock zones)Use of both 90° and 45° cells
Das and De [46]CLG9430.11 μm210.5 clock cycle (2 clock zones)Use of both 90° and 45° cells

In Figure 20A, B, and C, the cell count, area and latency of the various QCA-based reversible gates discussed in Section 3 are shown graphically.

Figure 20: Comparison of (A) cell count, (B) area, and (C) latency of different QCA-based reversible gates.
Figure 20:

Comparison of (A) cell count, (B) area, and (C) latency of different QCA-based reversible gates.

In general, evaluation of the RLGs can be comprehended easily with the help of one main factor, which is circuit complexity. This parameter can be obtained by counting the number of logical calculations (T) [55, 56], which is shown in Table 7. Here we consider

Table 7

Complexity of different reversible logic gates.

Reversible logic gateNumber of inputs/outputsTotal logical calculations
Fredkin gate (FG)32α+4β+2δ
Toffoli gate (TG)3α+β
RUG35α+10β
FyG2α
Double FyG (Fy2G)32α
CQCA35α+9β+3δ
CLG35α+9β+3δ

α=a two-input EXOR gate calculationβ=a two-input AND gate calculationδ=a NOT gate calculation

If we plot the three parameters α, β, and δ in Figure 21, we can easily say that the CLG or CQCA gate has more logical calculations and FyG has less. Also, SCL complexity is twice the TG. According to the complexity order, we can write, RUG>CQCA=CLG>TG>Fy2G>FyG.

Figure 21: Different gate number (α, β, δ) variations for different reversible logic gates.
Figure 21:

Different gate number (α, β, δ) variations for different reversible logic gates.

5 Conclusion

This paper presents review work on various reversible logic gates that have been designed in the QCA paradigm. QCA is one of the most promising candidates of post-CMOS design. Various techniques by which QCA cells have been fabricated are shown in this paper. Although it is not possible to fabricate all of the QCA cells in room temperature, magnetic and semiconductor QCA cells are successfully fabricated in room temperature. The fabrication process has been described. Different variations in the design done on basic reversible gates like the Fredkin gate, Toffoli gate, and FyG are studied. Also, some of the modifications done on earlier gates as well as some new reversible gates that have been proposed in latter literature are highlighted. By the comparative study, major variations in the cell count of the different QCA-based reversible gates have been observed. However, the latencies of all the designs discussed in this paper are more or less equal.


Corresponding author: Tanay Chattopadhyay, Kolaghat Thermal Power Station, West Bengal Power Development Corporation Ltd., Govt. of West Bengal Enterprise, Mecheda, Purba Medinipur 721137, West Bengal, India, e-mail: .

About the authors

Tamoghna Purkayastha

Tamoghna Purkayastha received his MTech. degree in Very Large Scale Integration (VLSI) from West Bengal University of Technology, West Bengal, India, in 2013. Presently, he is a Junior Research Fellow in the Department of Computer Science and Engineering, West Bengal University of Technology, Kolkata, India. His research interests include QCA-based reversible computing and nanocommunication.

Tanay Chattopadhyay

Tanay Chattopadhyay received his MSc degree in Physics from the University of Calcutta in 2002 and his PhD degree in Physics from West Bengal University of Technology in 2012. He is currently working at Kolaghat Thermal Power Station, a unit of West Bengal Power Development Corporation Ltd., Government of West Bengal Enterprise, as a junior manager. His present research interests include optical logic-based information processing, multiple-valued logic, cellular automata, nonlinear optics, and quantum optical devices.

Debashis De

Debashis De received his MTech. degree in Radio Physics and Electronics in 2002. He obtained his PhD (Engineering) from Jadavpur University in 2005. Presently, he is an Associate Professor in the Department of Computer Science and Engineering, West Bengal University of Technology, India, and an adjunct research fellow of the University of Western Australia, Australia.

Acknowledgments

T. Purkayastha and D. De are grateful to The University Grants Commission, India, for providing with the grant for accomplishment of the project under the UGC Major Project File No. 41-631/2012(SR).

References

[1] Landauer R. Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 1961, 5, 183–191.Search in Google Scholar

[2] Bèrut A, Arakelyan A, Petrosyan A, Ciliberto S, Dillenschneider R, Lutz E. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 2012, 483, 187–189.10.1038/nature10872Search in Google Scholar PubMed

[3] Zhirnov VV, Cavin RK III, Hutchby JA, Bourianoff GI. Limits to binary logic switch scaling – a Gedanken model. Proc. of the IEEE 2003, 91, 1934–1939.10.1109/JPROC.2003.818324Search in Google Scholar

[4] Bennett CH. Logical reversibility of computation. IBM J. Res. Dev. 1973, 17, 525–532.10.1147/rd.176.0525Search in Google Scholar

[5] Ogriro T, Alhazov A, Tanizawa T, Morita K. Universality of 2-state 3-symbol reversible logic elements – a direct simulation method of a rotary element Int. Workshop Natural Comput. (IWNC 2009), Proc. Inform. Commun. Technol. (PICT) 2010, 2, 252–250.10.1007/978-4-431-53868-4_29Search in Google Scholar

[6] Bruce JW, Thornton MA, Shivakumaraiah L, Kokate PS, Li X. Efficient adder circuits based on a conservative reversible logic gate. IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, PA, April 25–26, 2002, 83–88.Search in Google Scholar

[7] Fredkin E, Toffoli T. Conservative logic. Int. J. Theor. Phys. 1982, 21, 219–253.Search in Google Scholar

[8] Feynman R. Quantum mechanical computers. Optics News 1985, 11–20.10.1364/ON.11.11.000020Search in Google Scholar

[9] Thapliyal H, Srinivas MB. A novel reversible TSG gate and its application for designing reversible carry look-ahead and other adder architectures. Adv. Comp. Syst. Arch. 2005, volume 3740 of the series Lecture Notes in Computer Science, 805–817.Search in Google Scholar

[10] Lent CS, Tougaw PD, Porod W, Bernstein GH. Quantum cellular automata. Nanotechnology 1993, 4, 49.10.1088/0957-4484/4/1/004Search in Google Scholar

[11] Lent CS, Sarah EF, Peter MK. Reversible computation with quantum-dot cellular automata (QCA). Proceedings of the 2nd Conference on Computing Frontiers, ACM: Ischia, Italy, May 4–6, 2005.10.1145/1062261.1062327Search in Google Scholar

[12] Hutchby JA, Bourianoff GI, Zhirnov VV, Brewer, JE. Extending the road beyond the CMOS. IEEE Circuits & Device Magazine March 2002, 28–41.10.1109/101.994856Search in Google Scholar

[13] Bourianoff G, Brillouët M, Cavin RK III, Hiramoto T, Hutchby JA, Ionescu AM, Uchida K. Nanoelectronics research for beyond CMOS information processing. Proc. IEEE 2010, 98, 1986–1992.10.1109/JPROC.2010.2077211Search in Google Scholar

[14] Halliday D, Resnick A, Fundamentals of Physics, Part 1, 7th ed., John Wiley & Sons, Inc.: New York, 2004 (Chapters 3–6).Search in Google Scholar

[15] McDermott LC. Research on conceptual understanding in mechanics. Phys. Today 1984, 37, 24–32.10.1063/1.2916318Search in Google Scholar

[16] Halloun I, Hestenes D. Common sense concepts about motions. Am. J. Phys. 1985, 53, 1056–1064.Search in Google Scholar

[17] Navi K, Farazkish R, Sayedsalehi S, Azghadi RM. A new quantum-dot cellular automata full-adder. Microelectron. J. 2010, 41, 820–826.Search in Google Scholar

[18] Purkayastha T, Chattopadhyay T, De D, Mahata A. Realization of data flow in QCA tile structure circuit by potential energy calculation. International Conference on Nanomaterials and Nanotechnology (CNT 2014), Hyderabad, India, October 17–18, 2014.Search in Google Scholar

[19] Lent CS, Beth I, Marya L. Molecular quantum-dot cellular automata. J. Am. Chem. Soc. 2003, 125, 1056–1063.Search in Google Scholar

[20] Lent CS, Beth I. Clocked molecular quantum-dot cellular automata. IEEE Trans Electron Devices 2003, 50, 1890–1896.10.1109/TED.2003.815857Search in Google Scholar

[21] Li Z, Beatty AM, Fehlner TP. Molecular QCA cells. 1. Structure and functionalization of an unsymmetrical dinuclear mixed-valence complex for surface binding. Inorg. Chem. 2003, 42, 5707–5714.Search in Google Scholar

[22] Orlov AO, Amlani I, Bernstein GH, Lent CS, Snider GL. Realization of a functional cell for quantum-dot cellular automata. Science 1997, 277, 928–930.10.1126/science.277.5328.928Search in Google Scholar

[23] Tóth G, Lent CS. Quasiadiabatic switching for metal-island quantum-dot cellular automata. J. Appl. Phys. 1999, 85, 2977–2984.Search in Google Scholar

[24] Amlani I, Orlov AO, Kummamuru RK, Bernstein GH, Lent CS, Snider GL. Experimental demonstration of a leadless quantum-dot cellular automata cell. Appl. Phys. Lett. 2000, 77, 738–740.Search in Google Scholar

[25] Smith CG, Gardelis S, Rushforth AW, Crook R, Cooper J, Ritchie DA, Linfield EH, Jin Y, Pepper M. Realization of quantum-dot cellular automata using semiconductor quantum dots. Superlattices Microstruct. 2003, 34, 195–203.Search in Google Scholar

[26] Single C, Augke R, Prins FE, Wharam DA, Kern DP. Towards quantum cellular automata operation in silicon: transport properties of silicon multiple dot structures. Superlattices Microstruct. 2000, 28, 429–434.Search in Google Scholar

[27] Gardelis S, Smith CG, Cooper J, Ritchie DA, Linfield EH, Jin Y. Evidence for transfer of polarization in a quantum dot cellular automata cell consisting of semiconductor quantum dots. Phys. Rev. B 2003, 67, 033302.10.1103/PhysRevB.67.033302Search in Google Scholar

[28] Lent CS, Tougaw PD. A device architecture for computing with quantum dots. Proc. IEEE 1997, 85, 541–557.10.1109/5.573740Search in Google Scholar

[29] Lent CS, Tougaw PD. Bistable saturation due to single electron charging in rings of tunnel junctions. J. Appl. Phys. 1994, 75, 4077–4080.Search in Google Scholar

[30] Perez-Martinez F, Farrer I, Anderson D, Jones GAC, Ritchie DA, Chorley SJ, Smith CG. Demonstration of a quantum cellular automata cell in a GaAs/AlGaAs heterostructure. Appl. Phys. Lett. 2007, 91, 032102.Search in Google Scholar

[31] Das K, De D, De M. Tile based approach to design logic circuit and its defects analysis for quantum dot cellular automata. In Quantum Dots and Quantum Cellular Automata: Recent Trends and Applications. Nova Science Publishers, Inc.: USA, 2013, pp. 325–352.Search in Google Scholar

[32] Wikipedia. Molecular beam epitaxy. http://en.wikipedia.org/wiki/Molecular_beam_epitaxy.Search in Google Scholar

[33] Csaba G, Imre A, Bernstein GH, Porod W, Metlushko V. Nanocomputing by field-coupled nanomagnets. IEEE Trans. Nanotechnol. 2002, 1, 209–213.Search in Google Scholar

[34] Graziano M, Vacca M, Chiolerio A, Zamboni M. An NCL-HDL snake-clock-based magnetic QCA architecture. IEEE Trans. Nanotechnol. 2011, 10, 1141–1149.Search in Google Scholar

[35] Kumari A, Bhanja S. Landauer clocking for magnetic cellular automata (MCA) arrays. IEEE Trans. Very Large Scale Integration (VLSI) Syst. 2011, 19, 714–717.Search in Google Scholar

[36] Das J, Alam SM, Bhanja S. Low power magnetic quantum cellular automata realization using magnetic multi-layer structures. IEEE J. Emerging Sel. Top Circuits Syst. 2011, 1, 267–276.Search in Google Scholar

[37] Pulecio JF, Pendru PK, Kumari A, Bhanja S. Magnetic cellular automata wire architectures. IEEE Trans. Nanotechnol. 2011, 10, 1243–1248.Search in Google Scholar

[38] Parish MCB, Forshaw M. Magnetic cellular automata (MCA) systems. IEEE Proc. Circuits Devices Syst. 204, 15, 480–485.10.1049/ip-cds:20040746Search in Google Scholar

[39] Bernstein GH, Alexandra I, Metlushko V, Orlov A, Zhou L, Ji L, Csaba G, Porod W. Magnetic QCA systems. Microelectron. J. 2005, 36, 619–624.Search in Google Scholar

[40] Bernstein K, Cavin RK, Porod W, Seabaugh A, Welser J. Device and architecture outlook for beyond CMOS switches. Proc. IEEE 2010, 98, 2169–2184.10.1109/JPROC.2010.2066530Search in Google Scholar

[41] Porod W, Bernstein GH, Csaba G, Hu SX, Nahas J, Niemier MT, Orlov A. Nanomagnet logic (NML), Anderson NG and Bhanja J, Eds., Field-Coupled Nanocomput. LNCS 8280, 21–32, 2014, Springer-Verlag: Heidelberg, 2014, 21.10.1007/978-3-662-45908-9_2Search in Google Scholar

[42] Csaba G, Porod W, Csurgay AI. A computing architecture composed of field-coupled single domain nanomagnets clocked by magnetic field. Int. J. Circuit Theory Appl. 2003, 31, 67–82.Search in Google Scholar

[43] DiLabio GA, Robert AW, Jason LP, Paul GP. Atomistic quantum dots. U.S. Patent Application 14/448,899, filed July 31, 2014.Search in Google Scholar

[44] Das K, De D. A study on diverse nanostructure for implementing logic gate design for QCA. Int. J. Nanosci. 2011, 10, 263–269.Search in Google Scholar

[45] Sarkar T, Chattopadhyay T. Design of RS latch and RS flip-flop in quantum cellular automata. Phys. Express 2014, 4, 1–7.Search in Google Scholar

[46] Das K, De D. Novel approach to design a testable conservative logic gate for QCA implementation. 2010 IEEE 2nd International Advance Computing Conference (IACC): Patiala, February 19–20, 2010.Search in Google Scholar

[47] Hänninen I, Takala J. Binary adders on quantum-dot cellular automata. J. Sign. Proc. Syst. 2010, 58, 87–103.Search in Google Scholar

[48] Lent C, Liu M, Lu Y. Bennett clocking of quantum dot cellular automata and the limits to binary logic scaling. Nanotechnology 2006, 17, 4240–4251.10.1088/0957-4484/17/16/040Search in Google Scholar PubMed

[49] Ma X, Huang J, Metra C, Lombardi F. Reversible gates and testability of one dimensional arrays of molecular QCA. J. Electron. Test. 2008, 24, 297–311.Search in Google Scholar

[50] Thapliyal H, Ranganathan H. Conservative qca gate (cqca) for designing concurrently testable molecular qca circuits. 22nd International Conference on VLSI Design. IEEE: New Delhi, January 5–9, 2009.10.1109/VLSI.Design.2009.75Search in Google Scholar

[51] Sen B, Adak T, Anand AS, Sikdar BK. Synthesis of reversible universal QCA gate structure for energy efficient digital design. TENCON 2011–2011 IEEE Region 10 Conference, Bali, 21–24 November, 2011.10.1109/TENCON.2011.6129222Search in Google Scholar

[52] Thapliyal H, Ranganathan R. Reversible logic based concurrent error detection methodology for emerging nanocircuits. 2010 10th IEEE Conference on Nanotechnology (IEEE-NANO): Seoul, August 17–20, 2010, pp. 217–222.Search in Google Scholar

[53] Bahar AN, Waheed S, Uddin MA, Habib MA. Double Feynman gate (F2G) in quantum-dot cellular automata (QCA). Int. J. Comput. Sci. Eng. 2013, 2, 351–355.Search in Google Scholar

[54] Thapliyal H, Ranganathan N. Testable reversible latches for molecular QCA. NANO’08. 8th IEEE Conference on Nanotechnology: Arlington, TX, August 18–21, 2008.10.1109/NANO.2008.211Search in Google Scholar

[55] Haghparast M, Kavi K. A novel reversible BCD adder for nanotechnology based systems. Am. J. Appl. Sci. 2008, 5, 282–288.Search in Google Scholar

[56] Ali MdB, Rahaman HA, Rahaman MM. Design of a high performance reversible multiplier. Int. J. Comput. Sci. 2011, 8, 134–141.Search in Google Scholar

Received: 2015-5-29
Accepted: 2015-7-31
Published Online: 2015-9-29
Published in Print: 2015-10-1

©2015 Walter de Gruyter GmbH, Berlin/Boston

This article is distributed under the terms of the Creative Commons Attribution Non-Commercial License, which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

Downloaded on 16.4.2024 from https://www.degruyter.com/document/doi/10.1515/ntrev-2015-0033/html
Scroll to top button