Abstract
Reversible logic, as an interesting and important issue, has been widely used in designing combinational and sequential circuits for low-power and high-speed computation. Though a significant number of works have been done on reversible combinational logic, the realization of reversible sequential circuit is still at premature stage. Reversible counter is not only an important part of the sequential circuit but also an essential part of the quantum circuit system. In this paper, we designed two kinds of novel reversible counters. In order to construct counter, the innovative reversible T Flip-flop Gate (TFG), T Flip-flop block (T_FF) and JK flip-flop block (JK_FF) are proposed. Based on the above blocks and some existing reversible gates, the 4-bit binary-coded decimal (BCD) counter and controlled Up/Down synchronous counter are designed. With the help of Verilog hardware description language (Verilog HDL), these counters above have been modeled and confirmed. According to the simulation results, our circuits’ logic structures are validated. Compared to the existing ones in terms of quantum cost (QC), delay (DL) and garbage outputs (GBO), it can be concluded that our designs perform better than the others. There is no doubt that they can be used as a kind of important storage components to be applied in future low-power computing systems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Reversible logic is a burgeoning technology which provides logic design platform for low-power and high-speed computing. In 1973, Bennett [1] showed that no energy would be dissipated in a system only if the system were able to return to its initial state from its final state regardless of what happened in the process. It made clear that, in order to prevent power from dissipating, the circuit must be built using reversible logic gate. Reversible logic is the research foundation for many disciplines. It has shown a great potential in many applications such as quantum computing, optical computing, bioinformatics, deoxyribonucleic acid(DNA) computing, nanotechnology, low-power complementary metal oxide semiconductor (CMOS) design, quantum-dot cellular automata, information security and digital signal processing, etc. [2–4].
A large amount of research work is mainly concentrated in the design of reversible combinational circuits [5–7], but the reversible sequential circuits such as flip-flops and counters are reported less [8]. Researchers [9–13] put forward the realization of various types of latches, flip-flops and other related design. These studies have opened a door for the design of reversible sequential circuits such as counters. The authors [14–17] have successfully designed a number of reversible counters. All of these works show that there is a scope for the design and realization of large sequential circuits like counter.
The counter is one of the most important parts in a digital system. It is mainly used for frequency division, timer and sequence generation, etc. The counter is an essential part of any digital instrument or digital system. In digital circuits, the operation of recording the number of clock pulses (CP) is called counting, and the electronic circuit for implementing the counting operation is called counter. The output of the counter is not only related to the current input, but also related to the original state of system, and the realization of quantum reversible circuit feedback is difficult in itself, for which the design of quantum reversible counter becomes more difficult. At present, most of designs are binary reversible counters which only can count up or count down. Moreover, reversible decimal counters widely used in many fields are rarely designed. To make up for their deficiencies, the BCD decimal counter and controlled Up/Down synchronous counter are designed using reversible gates.
In reversible circuits, the important cost metrics are the quantum cost (QC), the delay (DL), and the number of garbage outputs (GBO). We introduce novel design methods of counters based on the above metrics.
There are two kinds of available counter: ripple counter and synchronous counter. A ripple counter is an asynchronous sequential circuit, and the output of a flip-flop is used to trigger other flip-flops. However, in a synchronous counter, all flip-flops receive a common input clock signal [18]. This study proposed innovative TFG gate and two novel designs of counters including BCD ripple counter and controlled Up/Down synchronous counter. The performance of designs is compared with existing ones. Our proposed circuits adopt the Verilog HDL modeling. All of the code is executed on the Xilinx integrated software environment (ISE) Design Suite 12.4. The simulation results show that the logical structures of the designs are completely correct.
The rest of the paper is organized as follows. Section 2 is the brief review of some quantum reversible gates required in proposed designs. The novel reversible gates, flip-flop block and their equivalent quantum implementation are also presented. Section 3 presents the innovative reversible design methods for 4-bit BCD ripple counter and controlled Up/Down synchronous counter, and performances of the proposed designs are evaluated. Simulation experimental results are in Section 4. The final concludes the whole paper and puts forward the future work.
2 Quantum Reversible Gates
2.1 Existing Quantum Reversible Gates
Currently, there are a lot of reversible logic gates. We now review some of the quantum reversible gates used in the paper. As is depicted in below figures, various gates have been shown, namely 2 × 2 Feynman Gate (FG) [19], 3×3 Feynman Double Gate (F2G) [20], 3 × 3 Toffoli Gate (TG) [21], 3 × 3 Peres Gate (PG) [22], 3 × 3 Modified Fredkin Gate (MFRG) [23], and 3 × 3 Modified Toffoli Gate (MTG) [24]. The QC of above gates is 1, 2, 5, 4, 4 and 5 from Figs. 1, 2, 3, 4, 5 and 6, while the DL of these ones is 1 Δ, 2 Δ, 5 Δ, 4 Δ, 4 Δ, and 5. Δ correspondingly (the delay of each 1 × 1 or 2 × 2 reversible gate is a unit of delay(DL), which is denoted as 1 Δ).
2.2 Novel Quantum Reversible Gate
2.2.1 Reversible T Flip-Flop Gate
In Fig. 7, a 4×4 quantum reversible gate called T flip-flop gate (TFG) is proposed, and its equivalent quantum implementation is depicted in Fig. 8. The input vector is I(A,B,C,D) and the output vector is O(P,Q,R,S).The output is denoted as P = A, Q = A ⊕ B, R = AB ⊕ C, S = AB ⊕ C ⊕ D. The optimized QC of a TFG is 5 and the DL is 5 Δ. The corresponding truth table of the TFG is illustrated in Table 1. From Table 1, it can be confirmed that the input pattern corresponding to a particular output pattern will be uniquely determined. The TFG can achieve the function of T flip-flop.
2.2.2 Reversible Flip-Flop Block
The block of T flip-flop (T_FF) designed by TFG gate and FG gate is shown in Fig. 9. The optimized QC and DL of a T flip-flop is 6 and 6 Δ. An integrated block of JK flip-flop (JK_FF) is achieved by cascading the MFRG and F2G gate in Fig. 10. It can complete JK flip-flop functions independently. The optimized QC and DL of a JK_FF is 10 and 10 Δ, respectively. T_FF and JK_FF are all important components of counters.
3 Quantum Reversible Counter
3.1 Convention Counter
Ripple counter and synchronous counter are two kinds of traditional counters. BCD ripple counter follows a sequence of ten states and return to 0 after the count of 9. Such a counter must have at least four flip-flops to stand for each decimal digit. Convention BCD ripple counter is shown as Fig. 11 [18]. Synchronous counters, in which clock pulses are applied to the inputs of all flip-flops, are different from ripple counters. A common clock triggers all flip-flops simultaneously rather than one at a time in succession as in a ripple counter. In Fig. 12, convention 4-bit synchronous Up/Down binary counter is illustrated [18]. It consists of an Up control input and a Down control input. When the Up input is 1, the circuit counts up. When the Up input is 0 and the Down input is 1, the circuit counts down.
3.2 Quantum Reversible Counter
3.2.1 4-bit BCD Ripple Counter
-
(1)
Circuit Structure
In Fig. 13, the novel reversible design of 4-bit BCD ripple counter is presented. It counts from 0000 to 1001 and back to 0000 in binary coded decimal. In Fig. 14, the state diagram of a decimal BCD ripper counter is depicted. Since the return to 0 after a count of 9, a BCD ripper counter has an irregular pattern as in a straight binary count. To achieve the derivation of the circuit for a BCD ripple counter, it should undergo a sequential circuit design procedure.
Figure 13 consists of some reversible flip-flop blocks, such as T_FF and JK_FF, as well as some reversible gates like FG and TG. The T_FF and JK_FF blocks are responsible for outputting Q and \(\overline {\mathrm {Q}} \) by trigging with negative clock pulse, while the FG and TG gate are used to produce the copy of the Q or \(\overline {\mathrm {Q}} \). And the TG gate is also used to realize the AND function.
-
(2)
Performance Evaluation
In synthesis of quantum reversible circuits, it is an important issue to evaluate the designed circuits. In Table 2, the performance of our reversible BCD ripple counter is shown.
3.2.2 4-bit Synchronous Up/Down Counter
-
(1)
Circuit Structure
The reversible design of 4-bit controlled Up/Down synchronous counter is shown in Fig. 15. The proposed T_FF block is used to realize function of the T flip-flops. To perform AND and OR operations, the PG gate and the MTG gate are applied. The U is the control input. The FG gate is used to produce U and the NOT of U.
The Up/Down operation of this reversible counter is controlled by the control input U. The T_FF blocks are responsible for outputting Q by trigging on rising edge of each clock. When U is 1, the reversible design operator is similar to an Up counter. And when U is 0, the reversible design operator is same as a Down counter correspondingly.
-
(2)
Performance Evaluation
The performance of reversible 4-bit controlled Up/Down synchronous counter can be illustrated easily after referring to the results in Table 3. Its total QC is 64, DL is 64 Δ, CI is 18 and GBO is 17. It is obvious that the proposed design performs significantly better in terms of QC, DL, CI and GBO.
3.2.3 Performance Analysis of n-bit Up/Down Synchronous Counter
N-bit Up/Down synchronous counter can be implemented by cascade method. When the counter is increased by 1 bit, it must increase 1 T_FF block, 2 PG and 1 MTG. There are n T_FF blocks, 1FG, 2(n-1) PG and (n-1) MTG in the n-bit Up/Down synchronous counter, the number of which is totally 4n-2 and it produces 6 +5(n-2) +2=5n-2 input constants, 6n+1+2(n−1)×4+(n−1)×5=19n−12 unit of delays, n+2+3(n−1)+2=4n+1 garbage outputs and 6n+1+2(n−1)×4+(n−1)×5=19n−12 quantum costs.
4 Functional Simulations
To verify the correctness of logic functions in our circuit according to its logic expression, the functional simulations are implemented. The architectures of two counters are successfully modeled via Verilog HDL. All of the codes are carried out on Xilinx ISE Design Suite 12.4.
Simulation results of two 4-bit counters are revealed in Figs. 16, 17, 18 and 19. In Fig. 16, a 4-bit BCD counter counts in binary coded decimal from 0000 to 1001 and back to 0000 repeatedly on the falling edge of each clock. In Fig. 17, when the control input U is 1, 4-bit Up/Down synchronous counter counts in binary coded from 0000 to 1111 and back to 0000 repeatedly on the rising edge of each clock. In Fig. 18, when the control input U is 0, it counts in binary coded from 1111 to 0000 and back to 1111 repeatedly on the rising edge of each clock. In Fig. 19, the control input U is 1 before a period of time and U is 0 after a period of time. As a result, the counter begins to be an Up counter, and then as a Down counter. In the simulation, the output Q is expressed in decimal form, and the Garbage Output is expressed in hexadecimal. The whole test results demonstrate that the logic functions of two reversible 4-bit counters are correct.
5 Conclusions and Future Work
This paper provides more efficient methods to design quantum reversible 4-bit BCD counter and controlled Up/Down synchronous counter. To my knowledge, the 4-bit BCD counter is the first attempt to apply reversible logic to counter design in the literature. Better than the existing Up/Down synchronous counter, the proposed designs are optimized in terms of QC, GBO and DL. Furthermore, by means of simulator tools, their correctness has been validated. This research method can be extended to the reversible logic design on n-bit counters.
Several research issues deserve further investigation. First, it would be interesting to further optimize the proposed reversible counters using meta-heuristics algorithm. Second, exploring the related applications of reversible counters is a potential research direction. Finally, combining reversible counters with other reversible components for constructing more complex system, such as quantum central processing unit (CPU) could be an interesting topic for our future research efforts.
References
Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973)
Burr, J., Peterson, A.: Ultra-low-power CMOS technology. In: Proceedings NASA VLSI Design Symposium, pp 4.2.1–4.2.13 (1991)
Ren, J., Semenov, V.K.: Progress with physically and logically reversible superconducting digital circuits. IEEE Trans. Appl. Supercond. 21(3), 780–786 (2011)
Kamalika, D., Vishal, S., Indranil, S., Hafizur, R.: Reversible logic implementation of AES algorithm. In: Proceedings of 8th International Conference on Design and Technology of Integrated Systems in Nanoscale Era(DTIS). Abu Dhabi, United Arab Emirates, pp 140–144 (2013)
Qi, X.M., Chen, F.L., Wang, H.T., Sun, Y.X., Guo, L.M.: Novel parity-preserving designs of reversible 4-bit comparator. Int. J. Theor. Phys. 53(4), 1092–1102 (2014)
Zhou, R.G., Li, Y.C., Zhang, M.Q.: Novel designs for fault tolerant reversible binary coded decimal adders. Int. J. Electron. 101(10), 1336–1356 (2014)
Zhou, R.G., Zhang, M.G., Wu, Q., Li, Y.C.: Optimization approaches for designing a novel 4-bit reversible comparator. Int. J. Theor. Phys. 52(2), 559–575 (2013)
Mamun M.S.A., Karmaker B.K.: Design of reversible counter. Int. J. Adv. Compu. Sci. Appl. 5(1), 124–128 (2014)
Mamun, M.S.A., Menville, D.: Quantum cost optimization for reversible sequential circuit. Int. J. Adv. Compu. Sci. Appl. 4(12), 15–21 (2014)
Chuang, M.L., Wang, C.Y.: Synthesis of reversible sequential elements. ACM J. Emerg. Technol. Comput. Syst. 3(4), 1–19 (2008)
Rice, J. E.: An introduction to reversible latches. Comput. J. 51(6), 700–709 (2008)
Thapliyal, H., Ranganathan, N.: Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs. ACM J. Emerg. Technol. Comput. Syst. 6 (4), 881–888 (2010)
Hari, S.K.S., Shroff, S., Mahammad, S.N., Kamakot, V.: Efficient building blocks for reversible sequential circuit design. Midwest Symposium Circuits Syst. 1, 437–441 (2006)
Khan, M.H.A., Perkowski, M.: Synthesis of Reversible Synchronous Counters. In: Proceedings of the 41th IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp 242–247 (2011)
Rajmohan, V., Ranganathan, V.: Design of Counters Using Reversible Logic. In: Proceedings of the 3rd International Conference on Electronics Computer Technology (ICECT), pp 138–142 (2011)
Houshmand, P., Haghparast, M.: Design of a novel quantum reversible ternary up-counter. Int. J. Quant. Inform. 13(5), 1550038 (2015)
Rahman, M.M., Manda, I., Mamun, M.S.A.: An optimized design of counter using reversible logic. Int. J. Adv. Res. Comput. Commun. Eng. 4(8), 7–10 (2015)
Mano, M.M.: Digital Design, 3rd edn., Prentice Hall (2005)
Feynman, R.P.: Quantum mechanical computers. Found. Phys. 16(6), 507–531 (1986)
Parhami, B.: Fault tolerant reversible circuits. In: Proceedings of the 40th Asimolar Conference on Signals, Systems, and Computers (ACSSC), pp 1726–1729 (2006)
Toffoli, T.: Reversible computing. Lecture Notes in Comput. Sci. 3, 632–644 (1980)
Peres, A.: Reversible logic and quantum computers. Phys. Rev. A. 32, 3266–3276 (1985)
Mamun, M.S.A., Hossain, S.M.: Design of reversible random access memory. Int. J. Comput. Appl. 56(15), 18–23 (2012)
Thapliyal, H., Vinod, A.P.: Design of reversible sequential elements with feasibility of transistor implementation. In: Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS), pp 625–628 (2007)
Acknowledgments
This work is supported by National Natural Science Foundation of China Grant No.6137005 and No.61572036 and University Natural Science Research Project of Anhui Province Grant No. KJ2016A272.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Qi, X., Zhu, H., Chen, F. et al. Novel Designs of Quantum Reversible Counters. Int J Theor Phys 55, 4987–4998 (2016). https://doi.org/10.1007/s10773-016-3122-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-016-3122-8