Preview

Reversible Logic

Good Essays
Open Document
Open Document
8994 Words
Grammar
Grammar
Plagiarism
Plagiarism
Writing
Writing
Score
Score
Reversible Logic
ARTICLE IN PRESS
Microelectronics Journal 39 (2008) 1693– 1703

Contents lists available at ScienceDirect

Microelectronics Journal journal homepage: www.elsevier.com/locate/mejo

Efficient approaches for designing reversible Binary Coded Decimal adders
Ashis Kumer Biswas, Md. Mahmudul Hasan, Ahsan Raja Chowdhury, Hafiz Md. Hasan Babu Ã
Department of Computer Science and Engineering, University of Dhaka, Dhaka 1000, Bangladesh

a r t i c l e in fo
Article history: Received 27 November 2007 Received in revised form 5 April 2008 Accepted 16 April 2008 Available online 18 June 2008 Keywords: Reversible logic Garbage output Gate complexity Binary Coded Decimal adder Carry Skip BCD adder Quantum cost

abstract
Reversible logic has become one of the most promising research areas in the past few decades and has found its applications in several technologies; such as low-power CMOS, nanocomputing and optical computing. This paper presents improved and efficient reversible logic implementations for Binary Coded Decimal (BCD) adder as well as Carry Skip BCD adder. It has been shown that the modified designs outperform the existing ones in terms of number of gates, number of garbage outputs, delay, and quantum cost. In order to show the efficiency of the proposed designs, lower bounds of the reversible BCD adders in terms of gates and garbage outputs are proposed as well. & 2008 Elsevier Ltd. All rights reserved.

1. Introduction The advancement in higher-level integration and fabrication process has emerged in better logic circuits and energy loss has also been dramatically reduced over the last decades. This trend of reduction of heat in computation also has its physical limit. According to Landauer [1,2], in logic computation every bit of information loss generates kTln2 joules of heat energy where k is Boltzmann’s constant of 1.38 Â 10À23 J/K and T is the absolute temperature of the environment. At room temperature, the dissipating heat is around 2.9 Â 10À21



References: [1] R. Keyes, R. Landauer, Minimal energy dissipation in logic, IBM J. Res. Dev. 14 (1970) 153–157. [2] R. Landauer, Irreversibility and heat generation in the computational process’s, IBM J. Res. Dev. 5 (1961) 183–191. [3] C.H. Bennett, Logical reversibility of computation, IBM J. Res. Dev. 17 (1973) 525–532. [4] V.V. Shende, A.K. Prasad, I.L. Markov, J.P. Hayes, Synthesis of reversible logic circuits, IEEE Trans. CAD 22 (6) (2003) 723–729. [5] G.E. Moore, Cramming more components onto integrated circuits, J. Electron. 38 (8) (1965). [6] M. Frank, Physical Limits of Computing, CIS 4930.1194X/6930.1078X, 2000. [7] M.A. Perkowski, Reversible Computation for Beginners, Lecture Series, 2000, Portland State University, /http://www.ee.pdx.edu/$mperkowsS. [8] J.P. Hayes, Computer Architecture and Organization, third ed., McGraw-Hill, 1998. [9] H.M.H. Babu, A.R. Chowdhury, Design of a compact reversible Binary Coded Decimal adder circuit, Elsevier J. Syst. Archit. 52 (5) (2006) 272–282. [10] H. Thapliyal, S. Kotiyal, M.B. Srinivas, Novel BCD adders and their reversible logic implementation for IEEE 754r format, VLSI Design India 2006, pp. 387–392. [11] H.M.H. Babu, M.R. Islam, A.R. Chowdhury, S.M.A. Chowdhury, Reversible logic synthesis for minimization of full-adder circuit, IEEE Conf. Digital Syst. Des. (2003) 50–54. [12] H.M.H. Babu, M.R. Islam, A.R. Chowdhury, S.M.A. Chowdhury, Synthesis of full-adder circuit using reversible logic, in: 17th International Conference on VLSI Design, 2004, pp. 757–760. [13] R. Feynman, Quantum mechanical computers, Opt. News (1985) 11–20. [14] T. Toffoli, Reversible Computing, Tech memo MIT/LCS/TM-151, MIT Lab for Computer Science, 1980. [15] E. Fredkin, E. Toffoli, Conservative logic, Int. J. Theor. Phys. 21 (1983) 219–253. [16] A. Peres, Reversible logic and quantum computers, Phys. Rev. (1985) 3266–3276. Proof. A Carry Skip reversible BCD adder consists of a 4-bit reversible parallel adder, overflow detection logic and overflow correction logic. A 4-bit parallel adder consists of 4 full adders. According to Lemma 5.2.3, a 4-bit parallel adder can be realized by at least 8 garbage outputs and from Algorithm 5.3.1, it is clear that 4 garbages from the 4 full adders are used to generate the propagate bit P. So, the number of garbage outputs for a reversible 4-bit parallel adder, gcpa reduces to 4. & In the overflow detection logic, the overflow expression, ¯ F ¼ (T1+T2) T3ÈK is realized where K ¼ PC in È PC 4 . According to Lemma 5.3.2 and Lemma 5.2.2, carry skip logic can be realized by 8 and BCD overflow detection logic can be realized by at least zero garbage output. So, the minimum number of garbage outputs for overflow detection logic is gcodX8+0 ¼ 8. In the overflow correction logic, overflow F is propagated. According to our improved design, overflow correction logic generates only two garbage outputs. So, the minimum number of garbage outputs for overflow correction logic is gcoclX2. As a result, the total number of garbage outputs for a Carry Skip reversible BCD adder is g cBCD Xg cpa þ g cod þ g cocl , where g cpa X4; & Theorem 5.3.2. Let gtcpa be the minimum number of gates for a reversible 4-bit parallel adder, gtcod be the minimum number of gates required by overflow detector and gtcocl be the minimum number of gates for overflow correction logic. Let gtcBCD be the number of gates for a Carry Skip reversible BCD adder, then gt cBCD Xgt cpa þ gt cod þ gtcocl , where gt cpa X4; gt cod X7 and gtocl X3. Proof. A Carry Skip reversible BCD adder consists of a 4-bit reversible parallel adder, overflow detection logic and overflow correction logic. A 4-bit parallel adder consists of 4 full adders and according to Lemma 5.1.1, a 4-bit parallel adder can be realized by g cod X8 and g cocl X2. ARTICLE IN PRESS A.K. Biswas et al. / Microelectronics Journal 39 (2008) 1693–1703 1703 [17] M.H.A. Khan, M.A. Perkowski, Logic synthesis with cascades of new reversible gate families, in: 6th International Symposium on Representation and Methodology of Future Computing Technology (Reed-Muller), March 2003, pp. 43–55. [18] H. Thapliyal, M.B. Srinivas, A new reversible TSG gate and its application for designing efficient adder circuits, in: 7th International Symposium on Representations and Methodology of Future Computing Technologies, 2005. [19] H. Thapliyal, M.B. Srinivas, Novel reversible TSG gate and its application for designing reversible carry look ahead adder and other adder architectures, in: 10th Asia-Pacific Computer Systems Architecture Conference, 2005. [20] M.H.A. Khan, Design of full-adder with reversible gates, Int. Conf. Comput. Inf. Technol. (2002) 515–519. [21] H. Thapliyal, A.P. Vinod, Designing efficient online testable reversible adders with new reversible gate, IEEE ISCAS (2007) 1085–1088. [22] J. Smoline, D.P. DiVincenzo, Five two-qubit gates are sufficient to implement the quantum Fredkin gate, Phys. Rev. A 53 (4) (1996) 2855–2856. [23] G. Yang, X. Song, W.N.N. Hung, M.A. Perkowski, Bi-direction synthesis for reversible circuits, in: IEEE Computer Society Annual Symposium on VLSI New Frontiers in VLSI Design. [24] W.N.N. Hung, X. Song, G. Yang, J. Yang, M.A. Perkowski, Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25 (9) (September 2006) 1652–1663. [25] D. Maslov, G.W. Dueck, D.M. Miller, Toffoli network synthesis with templates, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 24 (6) (June 2005) 807–817. [26] Md. Mahmudul Hasan, A.K. Biswas, M. Hasan, A.R. Chowdhury, H.M.H. Babu, A novel approach to design BCD adder and Carry Skip BCD adder, in: 21st International Conference on VLSI Design, 4–8 January 2008, pp. 566–571. [27] Haghparast Majid, Navi Keivan, A novel reversible BCD adder for nanotechnology based systems, Am. J. Appl. Sci. 5 (3) (2008) 282–288 ISSN 1546-9239. Ashis Kumer Biswas has completed his B.Sc. (Honors) in computer science and engineering at University of Dhaka, Bangladesh. He is interested mostly in digital logic synthesis and design, reversible logic circuit design and quantum computations. Md. Mahmudul Hasan has completed his B.Sc. (Honors) in computer science and engineering from the University of Dhaka, Bangladesh, and he is a student of MS in the same subject. His research interests include logic synthesis and design, reversible logic and fuzzy logic. Ahsan Raja Chowdhury received his B.Sc. and MS degrees in computer science and engineering from the University of Dhaka, Bangladesh, in 2004 and 2006, respectively. He worked with the Department of Computer Science and Engineering, Northern University, Bangladesh, from 2004 to 2007 as faculty member. Now he is the faculty member of the Department of Computer Science and Engineering, University of Dhaka, Dhaka 1000, Bangladesh. His research interests include logic synthesis and design, reversible logic, image processing, wireless networking. Hafiz Md. Hasan Babu received his M.Sc. degree in computer science and engineering from the Technical University of Brno, Czech Republic, in 1992 under the Czech Government Scholarship. He obtained his Ph.D. in VLSI CAD in 2000 from the Kyushu Institute of Technology, Japan, under the Japanese Government Scholarship. He worked with the Department of Computer Science and Engineering, Khulna University, Bangladesh, from 1992 to March 2001. Now, he is a professor of the Department of Computer Science and Engineering of University of Dhaka, Dhaka, Bangladesh. He was also the Chairman of this department from February 2003 to February 2006. In 1995, he was at the Asian Institute of Technology (AIT), Thailand, under the DAAD Fellowship from the Federal Republic of Germany. His research interests include logic design and switching theory, representation of logic functions and multiple-valued logic. He is a member of IEEE.

You May Also Find These Documents Helpful

  • Satisfactory Essays

    f) Diminished radix complement arithmetic requires an additional step of adding the carry bit to the result (in 9’s compliment).…

    • 1112 Words
    • 5 Pages
    Satisfactory Essays
  • Satisfactory Essays

    (c) Convert the following numbers into binary and perform the arithmetic operations in (i) and (ii) using signed binary numbers with 2’s complement. Use 7 bits to represent the integer part of decimal numbers and the sign bit. Use three bits to represent the fractional part.…

    • 780 Words
    • 10 Pages
    Satisfactory Essays
  • Satisfactory Essays

    The theme of "The Skating Party" is you cannot choose who you love. Uncle Nathan proves this theme when he says, "'You cannot love where you choose'" (Summers, 104). Uncle Nathan is going to marry Eunice, but he chooses to be 'in love' with her. With Deliah, he cannot control the fact that he loves her, and that his heart is loyal to her. When Uncle Nathan faces the choice to save either Deliah or Eunice, despite the fact that he is Eunice's fiance, he decides to save Deliah. Uncle Nathan does not believe that you can't choose who you love when he says "'If you can fall in love in twenty minutes, then you can fall out of love just as fast'" (Summers, 109). Uncle Nathan is becomes affected by his feelings for Deliah, and the decisions he makes…

    • 146 Words
    • 1 Page
    Satisfactory Essays
  • Good Essays

    Compter Science

    • 819 Words
    • 4 Pages

    truth table construction, subexpression construction using AND and NOT gates, subexpression combination using OR gates, circuit diagram production…

    • 819 Words
    • 4 Pages
    Good Essays
  • Powerful Essays

    CTR 212 Assignment 2

    • 818 Words
    • 5 Pages

    Digital circuits can easily distinguish between two voltage levels, which can be related to the binary digits 1 and 0. Therefore, the binary system can easily be applied to PLCs and computer systems.…

    • 818 Words
    • 5 Pages
    Powerful Essays
  • Satisfactory Essays

    quiz 1 answer

    • 291 Words
    • 5 Pages

    5. Implement the function g = (a+b)(a'+c) using only NOR gates. You may use NOR gates…

    • 291 Words
    • 5 Pages
    Satisfactory Essays
  • Powerful Essays

    Phase 1 Ip

    • 1003 Words
    • 5 Pages

    Microchips are both positive and negative sort of semiconductors. Microchips implement a certain type of purpose. A microchip can consistently perform the important function in modern electronics; nevertheless the devices were substituted by an abundant amount of compound arrays of P- and N- type semi-conductors. Microchips might include a range of 100-1,000 in number of transistors in a single joined circuit, especially proposed to perform a certain part. They are connected to integrated circuits here because microchips are the key factor in devices like radios, amplifiers, logic gates, memory storage and many other devices. (Ramsook,…

    • 1003 Words
    • 5 Pages
    Powerful Essays
  • Satisfactory Essays

    CMOS Memory

    • 438 Words
    • 2 Pages

    Bibliography: Computer History Museum. (2007). 1963 - Complementary MOS Circuit Configuration is Invented. Retrieved from computerhistory.org: http://www.computerhistory.org/semiconductor/timeline/1963-CMOS.html…

    • 438 Words
    • 2 Pages
    Satisfactory Essays
  • Satisfactory Essays

    The first stanza is about how hard it is to try to forget about something in the past. In this case, it is forgetting love. Trying to forget about this love causes grief. The second stanza is how someone loves someone. However, the days are long because this person loves someone who is his or her enemy. In this case, this person is Romeo. Romeo loves someone who is the rival of his family. Romeo is depressed because of this feud. In the third stanza, there is the turn. The turn is about how Romeo is going to switch his thinking about his love by overlooking the feud. Romeo will not have grief over this love. He will free himself from this grief by going on with marriage. With this marriage, this love will grow greater. The ending couplet is…

    • 167 Words
    • 1 Page
    Satisfactory Essays
  • Good Essays

    De Morgan's Theorem

    • 485 Words
    • 2 Pages

    Logic gates invert all inputs to a gate reverses that gate's essential function from AND to OR, or vice versa, and also inverts the output. So, an OR gate with all inputs inverted (a Negative-OR gate) behaves the same as a NAND gate, and an AND gate with all inputs inverted (a Negative-AND gate) behaves the same as a NOR gate. DeMorgan's theorems state the same equivalence in "backward" form: that inverting the output of any gate results in the same function as the opposite type of gate (AND vs. OR) with inverted inputs…

    • 485 Words
    • 2 Pages
    Good Essays
  • Good Essays

    Classical computing has been operating using a binary system measured in bits. These bits can have only two states, zero and one. These states are used to represent, store and process data. The binary architecture has been used in computers since Konrad Zues built the first programmable computer in 1941(CITATION). As computers have become more advanced so has the complexity and magnitude of the problems that they can solve. With the current rate of advancement defined by Moore's law transistors will be as small as an atom. In order to keep up with the technological demands of processing information a new system of computing would need to be developed. In 1981 a physicist working in the field of quantum mechanics realized that classical computing could not efficiently simulate quantum mechanical systems. The scientist was Richard Feynmen and he proposed the…

    • 1528 Words
    • 7 Pages
    Good Essays
  • Good Essays

    Bully

    • 439 Words
    • 2 Pages

    Bullying is a real problem in school. There are many things we can do to prevent bullying. Three things that schools can do to reduce bullying among students are to get uniforms, better the punishments, and showing better guidelines of what bullying is opposed to what people believe bullying is.…

    • 439 Words
    • 2 Pages
    Good Essays
  • Satisfactory Essays

    Nanocomputing

    • 306 Words
    • 2 Pages

    Electronic nanocomputers would operate in a manner similar to the way present- day microcomputers work. The main difference is one of physical scale. More and more transistors are squeezed into silicon chips with each passing year; witness the evaluation of integrated circuits (IC s) capable of ever increasing storage capacity and nanocomputing is part of the emerging field of nanotechnology. Several types of nanocomputers have been suggested or proposed by and futurists.…

    • 306 Words
    • 2 Pages
    Satisfactory Essays
  • Powerful Essays

    Moore Law

    • 1160 Words
    • 5 Pages

    Paradigm is an approach to solve a problem. It provides exponential growth until it reaches to its last limits. When this happens the new paradigm replaces the old one and we call this a paradigm shift. In computation history of exponential growth, this has already happened four times. Integrated circuit which we called Moore’s Law is the fifth Paradigm. The first paradigm was Electromagnetic calculators, flowed by second Relay-based computers, then third Vacuum tubes and fourth Discrete transistors.[4] Every paradigm…

    • 1160 Words
    • 5 Pages
    Powerful Essays
  • Good Essays

    Communication Errors

    • 538 Words
    • 3 Pages

    A simple method of detecting errors is based on the principle that if each bit pattern being manipulated has an odd number of 1s and a pattern with an even number of 1s is encountered, an error must have occurred. To use this principle, we need an encoding system in which each pattern contains an odd number of 1s. This is easily obtained by first adding an additional bit, called a parity bit, to each pattern in an encoding system already available (perhaps at the high-order end).…

    • 538 Words
    • 3 Pages
    Good Essays