An Improved Structure Of Reversible Adder And Subtractor



Similar documents
A New Reversible TSG Gate and Its Application For Designing Efficient Adder Circuits

AN IMPROVED DESIGN OF REVERSIBLE BINARY TO BINARY CODED DECIMAL CONVERTER FOR BINARY CODED DECIMAL MULTIPLICATION

An Extension to DNA Based Fredkin Gate Circuits: Design of Reversible Sequential Circuits using Fredkin Gates

A Beginning in the Reversible Logic Synthesis of Sequential Circuits

Let s put together a Manual Processor

FEASIBLE METHODOLOGY FOR OPTIMIZATION OF A NOVEL REVERSIBLE BINARY COMPRESSOR

COMPARATIVE ANALYSIS OF 4-BIT AND 8-BIT REVERSIBLE BARREL SHIFTER DESIGNS USING REVKIT

Binary Adders: Half Adders and Full Adders

COMBINATIONAL CIRCUITS

NEW adder cells are useful for designing larger circuits despite increase in transistor count by four per cell.

Understanding Logic Design

Sistemas Digitais I LESI - 2º ano

1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.

DEPARTMENT OF INFORMATION TECHNLOGY

ONLINE TESTING IN TERNARY REVERSIBLE LOGIC

Chapter 4 Register Transfer and Microoperations. Section 4.1 Register Transfer Language

Floating Point Fused Add-Subtract and Fused Dot-Product Units

Systems I: Computer Organization and Architecture

International Journal of Electronics and Computer Science Engineering 1482

A single register, called the accumulator, stores the. operand before the operation, and stores the result. Add y # add y from memory to the acc

Two's Complement Adder/Subtractor Lab L03

Keywords Quantum logic gates, Quantum computing, Logic gate, Quantum computer

Digital Logic Design. Basics Combinational Circuits Sequential Circuits. Pu-Jen Cheng

exclusive-or and Binary Adder R eouven Elbaz reouven@uwaterloo.ca Office room: DC3576

ON SUITABILITY OF FPGA BASED EVOLVABLE HARDWARE SYSTEMS TO INTEGRATE RECONFIGURABLE CIRCUITS WITH HOST PROCESSING UNIT

Design of Low Power One-Bit Hybrid-CMOS Full Adder Cells

Design and FPGA Implementation of a Novel Square Root Evaluator based on Vedic Mathematics

EXPERIMENT 4. Parallel Adders, Subtractors, and Complementors

Lecture 5: Gate Logic Logic Optimization

Implementation of Modified Booth Algorithm (Radix 4) and its Comparison with Booth Algorithm (Radix-2)

High Speed and Efficient 4-Tap FIR Filter Design Using Modified ETA and Multipliers

Combinational Logic Design

United States Naval Academy Electrical and Computer Engineering Department. EC262 Exam 1

A New Low Power Dynamic Full Adder Cell Based on Majority Function

5 Combinatorial Components. 5.0 Full adder. Full subtractor

Binary Division. Decimal Division. Hardware for Binary Division. Simple 16-bit Divider Circuit

Systems I: Computer Organization and Architecture

CHAPTER 3 Boolean Algebra and Digital Logic

An Open Architecture through Nanocomputing

Performance Comparison of an Algorithmic Current- Mode ADC Implemented using Different Current Comparators

Nanocomputer & Architecture

(Refer Slide Time: 00:01:16 min)

A Prepaid Energy Meter for Efficient Power Management

A Novel Low Power, High Speed 14 Transistor CMOS Full Adder Cell with 50% Improvement in Threshold Loss Problem

An Efficient RNS to Binary Converter Using the Moduli Set {2n + 1, 2n, 2n 1}

BINARY CODED DECIMAL: B.C.D.

COMBINATIONAL and SEQUENTIAL LOGIC CIRCUITS Hardware implementation and software design

Flip-Flops, Registers, Counters, and a Simple Processor

Counters and Decoders

EE 261 Introduction to Logic Circuits. Module #2 Number Systems

Digital Design. Assoc. Prof. Dr. Berna Örs Yalçın

Two-level logic using NAND gates

Design Verification and Test of Digital VLSI Circuits NPTEL Video Course. Module-VII Lecture-I Introduction to Digital VLSI Testing

ERROR DETECTION AND CORRECTION

A Novel Low Power Fault Tolerant Full Adder for Deep Submicron Technology

Design Example: Counters. Design Example: Counters. 3-Bit Binary Counter. 3-Bit Binary Counter. Other useful counters:

CMOS Binary Full Adder

Operating Manual Ver.1.1

This Unit: Floating Point Arithmetic. CIS 371 Computer Organization and Design. Readings. Floating Point (FP) Numbers

Gates, Circuits, and Boolean Algebra

Oct: 50 8 = 6 (r = 2) 6 8 = 0 (r = 6) Writing the remainders in reverse order we get: (50) 10 = (62) 8

CSE140 Homework #7 - Solution

Chapter 2 Logic Gates and Introduction to Computer Architecture

CHAPTER IX REGISTER BLOCKS COUNTERS, SHIFT, AND ROTATE REGISTERS

what operations can it perform? how does it perform them? on what kind of data? where are instructions and data stored?

INTEGRATED CIRCUITS. For a complete data sheet, please also download:

MICROPROCESSOR AND MICROCOMPUTER BASICS

List of Experiment. 8. To study and verify the BCD to Seven Segments DECODER.(IC-7447).

CS 61C: Great Ideas in Computer Architecture Finite State Machines. Machine Interpreta4on

Digital Electronics Detailed Outline

Microprocessor & Assembly Language

An Effective Deterministic BIST Scheme for Shifter/Accumulator Pairs in Datapaths

The concept of hierarchical design: the views of computer science and engineering students

DB19. 4-Bit Parallel Adder/ Subtractor. Digital Lab Experiment Board Ver. 1.0

DIGITAL TECHNICS II. Dr. Bálint Pődör. Óbuda University, Microelectronics and Technology Institute. 2nd (Spring) term 2012/2013

ELEC EXPERIMENT 1 Basic Digital Logic Circuits

2011, The McGraw-Hill Companies, Inc. Chapter 3

Experiment # 9. Clock generator circuits & Counters. Eng. Waleed Y. Mousa

ISSN: ISO 9001:2008 Certified International Journal of Engineering Science and Innovative Technology (IJESIT) Volume 2, Issue 3, May 2013

Module-I Lecture-I Introduction to Digital VLSI Design Flow

Today. Binary addition Representing negative numbers. Andrew H. Fagg: Embedded Real- Time Systems: Binary Arithmetic

MICROPROCESSOR. Exclusive for IACE Students iacehyd.blogspot.in Ph: /422 Page 1

Contents COUNTER. Unit III- Counters

Multipliers. Introduction

Lecture 8: Binary Multiplication & Division

Guru Ghasidas Vishwavidyalaya, Bilaspur (C.G.) Institute of Technology. Electronics & Communication Engineering. B.

Base Conversion written by Cathy Saxton

Bits Superposition Quantum Parallelism

INTRODUCTION TO DIGITAL SYSTEMS. IMPLEMENTATION: MODULES (ICs) AND NETWORKS IMPLEMENTATION OF ALGORITHMS IN HARDWARE

HIGH SPEED AREA EFFICIENT 1-BIT HYBRID FULL ADDER

10 BIT s Current Mode Pipelined ADC

Implementation of Reliable Fault Tolerant Data Storage System over Cloud using Raid 60

Digital System Design Prof. D Roychoudhry Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

3.Basic Gate Combinations

DEFECT ANALYSIS OF QUANTUM-DOT CELLULAR AUTOMATA COMBINATIONAL CIRCUIT USING HDLQ

Design of Energy Efficient Low Power Full Adder using Supply Voltage Gating

Innovative improvement of fundamental metrics including power dissipation and efficiency of the ALU system

Binary Numbering Systems

FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers

Transcription:

International Journal of Electronics and Computer Science Engineering 712 Available Online at www.ijecse.org ISSN- 2277-1956 An Improved Structure Of Reversible Adder And Subtractor Aakash Gupta 1, Pradeep Singla 2, Jitendra Gupta 3, Nitin Maheshwari 4 1 Deptt. Of Computer Science, 2,3,4 Department of Electronics and Communication Engineering, Sonipat Institute of Engineering & Mgmt. 1 aakashgarg1987@gmail.com 2 pradeepsingla7@gmail.com 3 gupta.92.jitendra@gmail.com 4 nitinmaheshwari62@yahoo.com Abstract- In today s world everyday a new technology which is faster, smaller and more complex than its predecessor is being developed. The increased number of transistors packed onto a chip of a conventional system results in increased power consumption that is why Reversible logic has drawn attention of Researchers due to its less heat dissipating characteristics. Reversible logic can be imposed over applications such as quantum computing, optical computing, quantum dot cellular automata, low power VLSI circuits, DNA computing. This paper presents the reversible combinational circuit of adder, subtractor and parity preserving subtractor. The suggested circuit in this paper are designed using Feynman, Double Feynman and MUX gates which are better than the existing one in literature in terms of Quantum cost, Garbage output and Total logical calculations. Keywords Reversible Logic, Constant Input, Garbage output, Total Logical Calculation, Adder and Subtractor. I. INTRODUCTION In electronics hardware designing energy dissipation is one of the most important aspects. The concept of reversibility in digital circuits is firstly related to energy by Landauer in 1961 who stated that there is small amount of heat dissipation the circuit due to loss of one bit of information and it would be equal to ktln2 where k is Boltzman constant and T is the temperature[1]. Also in 1973 it was proved by Bennett that the energy ktln2 would not be dissipate from the circuit if input can be extracted from output and it would be possible if and only if reversible gates are used[2]. A circuit will be reversible if input vector can be specifically retrieved from output vectors and here is one to one correspondence between input and output [3]. Thermodynamics explain the concept of reversibility which taught the benefits of reversibility over irreversibility. Reversible logic synthesis of reversible combinational logic differs from sequential logic in that the output of the logic device depends on the present input unlike sequential circuits in which output depends on present as well as past input too. In this paper combinational circuits have been synthesized using reversible gates and this paper provides the modified design of adder and subtractor in terms of garbage output, total number of calculations, quantum cost. Double Feynman, Feynman and MUX gates have been used to design the circuits. This paper is organised in the following prospective: Section ll describe the Grassroots of the reversible logic and the conditions for the reversibility. Different reversible gate, their structure and Quantum cost is also discussed in the same section. In Section III, We have discussed About Combinational circuits of Adder and subtractor. In section IV, the proposed design of reversible Adder/ subtactor and parity preserving subtractor is described. In the Section V, the numerical results of proposed reversible adder/ subtractor and parity preserving subtractor is shown. II. PROPOSED ALGORITHM GRASSROOTS OF REVERSIBLE LOGIC In reversible logic there should be same number of input and outputs i.e., the number of input lines and output lines must be same in a circuit and there must be one to one mapping between input and output. The gate must be running in both directions i.e., the input can be retrieved from the output, when a digital circuit obeys these two stipulations

IJECSE, Volume2, Number 2 Aakash Gupta et al. 713 then the second law of thermodynamics guarantees that no heat dissipation occur in the circuit[4]. In the synthesis of reversible circuit s direct fan out and feedback is not permitted. A reversible circuit should be designed using minimum number of reversible logic gates in order to achieve efficiency and less complexity. There are some parameter in reversible circuit design for determining the complexity and performance of circuit, such as garbage output, quantum cost, constant inputs and total logical calculation [5]. Some important terms used in reversible logics are Garbage Output refers to the number of unused outputs present in a reversible logic circuit. Quantum cost [3] refers to the cost of circuits in terms of the cost of primitive gates. It is calculated knowing the number primitive reversible logic gates (1*1 or 2*2) required to realize the circuit. Total Logical calculation [6] is the count of the XOR, AND, NOT logic in the output circuit. Constant inputs [7] are the number of inputs that are to be maintained constant at either 0 or 1 in order to synthesize the given logical function. A. Radical Reversible Logic Gates 1) Feynman Gate [3] [10]: Fig.1 shows the pictorial representation of 3 3 reversible Feynman gate [10]. It has three inputs (A, B) and three outputs (P, Q). The outputs are defined by P=A, Q=A Xor B. Quantum cost of a Feynman gate is 1. Fig. 1 Feynman gate 2) Double Feynman Gate (F2G [8]): Fig.2 shows the pictorial representation of 3 3 and R= A Xor C. Quantum cost of a Double Feynman gate is 2. It has three inputs (A, B, C) and three outputs (P, Q, R). The outputs are defined by P=A, Q=A Xor B, R= A xor C. Fig. 2 Double Feynman gate 3) Fredkin Gate [9] [11]: Fig.3 shows the pictorial representation of 3 3 reversible Fredkin gate [9]. It has three inputs (A, B, C) and three outputs (P, Q, R). The outputs are defined by P=A, Q=A B Xor AC and R= A C XOR AB. Quantum cost of a Fredkin gate is 5. 4) MUX Gate [3]: Fig.3 Fredkin gate

An Improved Structure Of Reversible Adder And Subtractor 714 Fig.4 shows the pictorial representation of 3 3 reversible MUX (MG) gate [3]. It has three inputs (A, B, C) and three outputs (P, Q, R). The outputs are defined by P=A, Q=A Xor B Xor C and R= A C Xor AB. Quantum cost of a MUX gate is 4. Fig.4 MUX gate III. COMBINATIONAL CIRCUIT Combinational circuits consist of logic gates where output at any instant are determined only by present combination of inputs without regard of previous inputs or previous state of the output. Some commonly used combinational circuits are adder, subtractor etc A. Adders- Adder is one of the most basic combinational circuits that perform addition of the bits. Addition of the binary digits is the most basic arithmetic operation[12]. Adders are classified into two possible combinations [13] 1) Half adder: The circuit that performs the simple addition of two bits is known as half adder in the fig.5 two inputs (A, B) and two outputs (S, C) are present Fig 5. Irreversible Half Adder 2) Full adder: Full adder performs addition of three bits i.e. A,B and Cin and output Sum(S) and Carry(C). A full adder can add the same two input bits as a full adder PLUS an extra bit for an incoming carry as shown in fig.6. This is important for cascading adders together to create N-bit adders. B. Subtractor: Fig.6. Irreversible full adder A Combinational circuit which goes on performing subtraction of bits is known as subtractor. Subtractor are further classified into 2 parts 1) Half Subtractor:

IJECSE, Volume2, Number 2 Aakash Gupta et al. 715 Subtraction of two bits takes place in the half subtractor and two outputs are produced i.e. difference(d) and borrow(b).figure 7 shows the systematic figure of half subtractor in which X and Y are input bits and D and B are output bits Fig.7. Irreversible half subtractor 2) Full Subtractor: In full subtractor, subtraction of three bit is carried out i.e A, B, Bin and output difference and borrow(bout) is produced. Fig 8 below shows the systematic figure of full subtractor, in which two EXOR, two AND, two NOT and one OR gate is used in a specific combination. IV. Fig.8. Irreversible full subtractor PROPOSED ADDER AND SUBTRACTOR Feynman gate works in copy mode and complement mode. In above circuit the Feynman gate is implied in copy mode. Both inputs have been fed to separate Feynman gate and carry in input to a separate Feynman gate FG3.the output of all above three Feynman gates is being fed to FG4 whose output line is SUM or difference line. For the carry out MUX gates have been used by providing sum of A and B as one input to MUX gate. Fig 9.shows reversible half adder/subtractor and Fig10. Shows Reversible full adder/subtractor. Fig.9. reversible half Adder/subtractor Fig.10 reversible half Adder/subtractor

An Improved Structure Of Reversible Adder And Subtractor V.716 A. Parity preserving reversible half-subtractor circuit- Half-subtractor circuit executes subtraction operation if A and B be inputs then, the output equations of the Borrow and difference are as follows: Diff = A xor B, Borrow = A B The proposed parity preserving reversible half-subtractor circuit is shown in Fig11.this circuit is composed of F2G and MUX gates. the quantum cost of F2G is 2 and MUX is 4. so, the quantum cost of this circuit is 6. The proposed circuit requires two constant inputs and produces two garbage outputs. Proposed parity preserving reversible half-subtractor circuit can be used in constructing fault tolerant reversible circuits in which there would be no necessity of parity bit for error detection. Fig. 11 Proposed parity preserving reversible half-subtractor circuit B. Parity preserving reversible full-subtractor circuit- Full subtractor circuit executes A-B-C operation if A, B and C be inputs so, the equations of borrow and difference is as follows: Diff = A xor B xor C, Borr =A B xor A C xor BC The proposed parity preserving reversible full-subtractor circuit is shown in fig12.this circuit is composed of 3 F2G gate and 1 MUX gate. It produces 4 garbage outputs and requires only one constant input. The quantum cost of F2G is 2 AND MUX is 4. So, the Quantum cost of this circuit is 10. proposed parity preserving reversible full-subtractor circuit can be used for designing fault tolerant reversible systems which is the necessary requirement of nanotechnology based systems. Fig.12 Proposed parity preserving reversible full-subtractor circuit A. Quantum cost- V. NUMERAL RESULT 1) Quantum cost of half adder/ subtractor: In the reversible half adder/subtractor 2 Mux gates and 2 Feynman gates is being used for the proposed designs Now let m is the Quantum cost of Mux gate and F is the Quantum cost of the Feynman gate. So, the Quantum cost (A) of the Reversible half adder/subtractor is Quantum cost (A/S) = 2m+2F 2) Quantum cost of Full adder/ subtractor: Similarly in reversible Full adder/subtractor, 2 Mux gate, 1 TR Gate and 5 Feynman gate has been used.

IJECSE, Volume2, Number 2 Aakash Gupta et al. V.717 So, Now let m is the Quantum cost of Mux gate, TR is the Quantum cost of TR gate and F is the Quantum cost of the Feynman gate. so, the Quantum cost(a) of the Reversible full adder/subtractor is Quantum cost(a/s) = 2m+5F+1TR 3) Quantum cost of 3 bit reversible parity preserving half subtractor: In reversible parity preserving half subtractor we have used 1 mux gate and 1 Double Feynman gate. Now let m be the Quantum cost of the mux gate and D is the Quantum cost of Double Feynman gate. so, the Quantum cost of reversible parity preserving half subtractor is Quantum cost (HA)= 1m+1D 4) Quantum cost of 3 bit reversible parity preserving full-subtractor : In reversible parity preserving full-subtractor we have used 1 Mux gate and 3 Double Feynman gate. Now let m is the Quantum cost of MUX gate and D is the Quantum cost of Double Feynman gate. So, the Quantum cost of reversible parity preserving full-subtractor is Quantum cost (FA) = 1m+3D B. Total Logical calculation (T): Assuming α = A two input XOR gate calculation β = A two input AND gate calculation δ = A NOT gate calculation T = Total logical calculation The Total logical calculation is the count of the XOR, AND, NOT logic in the output circuit. For example MUX gate has three XOR gate and two AND gate and one NOT gate in the output expression. Therefore ( ) = 3α+2β+δ.and Double Feynman gate has two XOR gate.therefore T (D) =2 α 1) Total Logical calculation (T) of reversible half adder/ subtractor: In reversible half adder/ subtractor we have used 2 Mux gate and 2 Feynman gates. So Total logical calculation of reversible half adder/ subtractor is T = 2 (3α+2β+δ)( for MUX gate)+ 2 α(for Feynman gate) T(A/S)= 8α+6β+2δ 2) Total Logical calculation (T) of reversible Full adder/ subtractor: In reversible Full adder/ subtractor we have used 2 Mux gate,1 TR gate and 5 Feynman gates. So Total logical calculation of reversible half adder/ subtractor is T = 2 (3α+2β+δ)( formux gate)+ 5 1α(for Feynman gate)+1(2α+β+δ) (for TR gate) T(A/S)= 13α +5β +3δ 3) Total Logical calculation (T) of reversible parity preserving half subtractor: In reversible parity preserving half subtractor we have used 1 mux gate and 1 Double Feynman gate. So, Total Logical calculation (T) of reversible parity preserving half subtractor T(HA)=1 (3α+2β+δ)(for MUX gate)+1 2α(for Double Feynman gate) T = 5α +2β +δ 4) Total Logical calculation (T) of reversible parity preserving full-subtractor : In reversible parity preserving full-subtractor we have used 1 MUX gate and 3 Double Feynman gate.so,total Logical calculation (T) of reversible parity preserving full-subtractor T(FA) = 1 (3α+2β+δ) ( for MUX gate)+ 3x2α(for Double Feynman gate) T= 9α +2β +δ Now from the discussion of the numerical results of the proposed work it is clear that the proposed design is better than the existing one as the Quantum cost of the Existing half adder/ subtractor and full adder /subtractor is 2f+2fr and 5f+2fr+1TR respectively.and the Quantum cost of proposed design of half adder/subtractor and full adder/ subtractor 2m+2F and 2m+5F+1TR respectively. The Quantum cost of existing parity preserving half subtractor and

An Improved Structure Of Reversible Adder And Subtractor V.718 full subtractor is 1fr+1D and 1fr+3D respectively. And the Quantum cost of proposed parity preserving half subtractor and full subtractor is 1m+1D and 1m+3D respectively. Similarly in the previous work the total logical calculation of half adder/ subtractor and full adder/subtractor is 6α +8β +4δ and 10α +9β +4δ respectively. And the total logical calculation of the proposed design of half adder/subtractor and full adder/subtractor is 8α +6β +2δ and 13α+5β+3δ respectively and the total logical calculation of existing reversible parity preserving half subtractor and full subtractor is 4α +4β +2δ and 10α +4β +2δ respectively. And the total logical calculation of the proposed design of reversible parity preserving half subtractor and full subtractor is 5α +2β +δ and 9α +2β +δ respectively VI.CONCLUSIONS The Adder and subtractor are mostly used for applications like Arithematic and logical unit(alu), Programme status word (PSW), Calculators, Embedded system, seven segment display etc. This paper suggested a new improved design of Adder, Subtractor and Parity preserving Subtractor with the help of Feynman gate, Double Feynman gate and MUX gate. Since the mux gate has lower quantum cost as compared to the Fredkin gate defined in literature and mux gate can all the operation as do as Fredkin. The numeral results are also shown in the paper which shows the optimized results of the proposed design of combinational circuits against the previous ones and will provides a new arena to design digital logical systems. REFERENCE [1] R. Landauer, Irreversibility and Heat Generation in the Computational Process, IBM Journal of Research and Development, 5, pp.183-191, 1961. [2] C.H. Bennett, Logical Reversibility of Computation, IBM J.Research and Development, pp. 525-532, November 1973. [3] Pradeep singla and Naveen kr. Malik A Cost - Effective Design of Reversible programmable logic array International Journal of Computer Application, volume 41 no. 15, march- 2012. [4] Ahsan Raja Chowdhury ;Hafiz Md. Hasan Babu; Md. Rafiqul Islam,; Syed Mostahed Ali Chowdhury, Reversible Logic Synthesis for minimization of Full Adder Circuit, Proceedings of the EuroMicro Symposium on Digital System Design(DSD 03), 3-5 September [5] Elsayed, A; Layle, A; Maii T. Emam, Reversible Full AdderlSubtractor, 2010 Xlth International Workshop on Syrnbolic and nurnerical Methods, Modeling and Applications to Circuit Design (SM2ACD) 2003, Belek- Antalya, Turkey,pp-50-54.Journal of Engineering Science and Technology Vol. 2(8), 2010, 3838-3845 [6] Haghparast, M ; Navi, K, "Design of a novel reversible multiplier circuit using HNG gate in nanotechnology", Am. 1. Applied Sciences, 5 (2008) 282 [7] Pradeep Singla and Satyan. Article:Towards the Solution of Power Dissipation in Electronics Systems through Thermodynamics. Proceedings of ETEIC-2012: pp 300-303, April-2012. [8] H. H. Babu and A. R Chowdhury, "Design of a compact reversible binary coded decimal adder circuit", Journal of Systems Architecture, 52 (2006) 272. [9] Pradeep Singla and Naveen Kr. Malik. Article: Reversible Programmable Logic Array (RPLA) using Feynman & MUX Gates for Low Power Industrial Applications. Proceedinggs of ICIAICT-2012,pp 411-419, March 2012 [10] R. Feynman, Quantum Mechanical Computers, Optics News, Vol.11, pp. 11 20, 1985. [11] E. Fredkin and T. Toffoli, Conservative logic, Int 1J. Theoretical Physics, Vol.11, pp.219-253,1985. [12] Mozhgan shiri, majid haghparast and vahid shahbazi A Novel Nanometric Fault Tolerant Reversible Subtractor Circuit research jouranal of applied science November 15,2012. [13] Rangaeaju H G, Venugopal U, Muralidhara K N and Raja K B Low Power Reversible Parallel Binary Adder/ Subtractor. [14] Abhinav Agrawal and Niraj K Jha (2004) Synthesis of Reversible Logic, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition.