Reversible Programmable Logic Array (RPLA) using Fredkin & Feynman Gates for Industrial Electronics and Applications

Similar documents
A Beginning in the Reversible Logic Synthesis of Sequential Circuits

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

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

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

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

Binary Adders: Half Adders and Full Adders

ONLINE TESTING IN TERNARY REVERSIBLE LOGIC

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

Let s put together a Manual Processor

COMBINATIONAL CIRCUITS

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

FEASIBLE METHODOLOGY FOR OPTIMIZATION OF A NOVEL REVERSIBLE BINARY COMPRESSOR

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

Two's Complement Adder/Subtractor Lab L03

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

Gates, Circuits, and Boolean Algebra

BOOLEAN ALGEBRA & LOGIC GATES

Nanocomputer & Architecture

International Journal of Electronics and Computer Science Engineering 1482

Introduction to Quantum Computing

FORDHAM UNIVERSITY CISC Dept. of Computer and Info. Science Spring, Lab 2. The Full-Adder

Efficient Interconnect Design with Novel Repeater Insertion for Low Power Applications

Understanding Logic Design

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

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

3.Basic Gate Combinations

Boolean Algebra. Boolean Algebra. Boolean Algebra. Boolean Algebra

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

5 Combinatorial Components. 5.0 Full adder. Full subtractor

Bits Superposition Quantum Parallelism

ASYNCHRONOUS COUNTERS

Optimization and Comparison of 4-Stage Inverter, 2-i/p NAND Gate, 2-i/p NOR Gate Driving Standard Load By Using Logical Effort

CSE140 Homework #7 - Solution

10 BIT s Current Mode Pipelined ADC

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

DEPARTMENT OF INFORMATION TECHNLOGY

Take-Home Exercise. z y x. Erik Jonsson School of Engineering and Computer Science. The University of Texas at Dallas

EXPERIMENT 4. Parallel Adders, Subtractors, and Complementors

COMBINATIONAL and SEQUENTIAL LOGIC CIRCUITS Hardware implementation and software design

Logic in Computer Science: Logic Gates

Lab 1: Full Adder 0.0

CHAPTER 11: Flip Flops

Quantum Computing. Robert Sizemore

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

Quantum Computing Architectures

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

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

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

Lecture 1 Version: 14/08/28. Frontiers of Condensed Matter San Sebastian, Aug , Dr. Leo DiCarlo l.dicarlo@tudelft.nl dicarlolab.tudelft.

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

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

Chapter 2 Logic Gates and Introduction to Computer Architecture

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

An Open Architecture through Nanocomputing

PROGRAMMABLE LOGIC CONTROLLERS Unit code: A/601/1625 QCF level: 4 Credit value: 15 TUTORIAL OUTCOME 2 Part 1

HIGH SPEED AREA EFFICIENT 1-BIT HYBRID FULL ADDER

Quantum Consequences on the Recycling of Timing Information

ANALOG & DIGITAL ELECTRONICS

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

Operating Manual Ver.1.1

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

MEP Y9 Practice Book A

Microprocessor & Assembly Language

Lecture 12: More on Registers, Multiplexers, Decoders, Comparators and Wot- Nots

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

LAB #3 VHDL RECOGNITION AND GAL IC PROGRAMMING USING ALL-11 UNIVERSAL PROGRAMMER

To convert an arbitrary power of 2 into its English equivalent, remember the rules of exponential arithmetic:

Gates & Boolean Algebra. Boolean Operators. Combinational Logic. Introduction

Basic Logic Gates Richard E. Haskell

BINARY CODED DECIMAL: B.C.D.

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

Design and Development of Virtual Instrument (VI) Modules for an Introductory Digital Logic Course

CMOS Binary Full Adder

Lecture 5: Gate Logic Logic Optimization

Module 3: Floyd, Digital Fundamental

Gates. J. Robert Jump Department of Electrical And Computer Engineering Rice University Houston, TX 77251

Performance advantages of resource sharing in polymorphic optical networks

Circuits and Boolean Expressions

Using reverse circuit execution for efficient parallel simulation of logic circuits

Resistors in Series and Parallel

CS101 Lecture 26: Low Level Programming. John Magee 30 July 2013 Some material copyright Jones and Bartlett. Overview/Questions

Factoring by Quantum Computers

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

Note on growth and growth accounting

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

Resistors in Series and Parallel

MODIFIED RECONSTRUCTABILITY ANALYSIS FOR MANY-VALUED FUNCTIONS AND RELATIONS

RC Circuits and The Oscilloscope Physics Lab X

6.080/6.089 GITCS Feb 12, Lecture 3

Real Time Monitoring System based on Embedded Linux Application

Figure 8-1 Four Possible Results of Adding Two Bits

6.004 Computation Structures Spring 2009

Cancellation of Load-Regulation in Low Drop-Out Regulators

Input, Process and Output

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

Chapter 1: Digital Systems and Binary Numbers

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

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

Transcription:

Reversible Programmable Logic Array (RPLA) using Fredkin & Feynman Gates for Industrial Electronics and Applications Himanshu Thapliyal* and Hamid R. Arabnia** *Center for VLSI and Embedded System Technologies, International Institute of Information Technology, Hyderabad-500019, India **The University of Georgia, Department of Computer Science, 415 Graduate Studies Research Center, Athens, Georgia 30602-7404, U.S.A (thapliyalhimanshu@yahoo.com, hra@cs.uga.edu) Abstract In recent years, reversible logic has emerged as a promising computing paradigm having application in low power CMOS, quantum computing, nanotechnology, and optical computing. The classical set of gates such as AND, OR, and EXOR are not reversible. In this paper, the authors have proposed reversible programmable logic array (RPLA) architecture using reversible Fredkin and Feynman gates. The proposed RPLA has n inputs and m outputs and can realize m functions of n variables. In order to demonstrate the design of RPLA, a 3 input RPLA is designed which can perform any 2 8 functions using the combination of 8 min terms (2 3 ). Furthermore, the application of the designed 3 input RPLA is shown by implementing the full adder and full subtractor functions through it. Keywords Reversible Logic, Programmable Logic Array. I. INTRODUCTION This section provides an effective background of reversible logic with its definition and the motivation behind it. A. Definitions Researchers like Landauer have shown that for irreversible logic computations, each bit of information lost generates ktln2 joules of heat energy, where k is Boltzmann s constant and T the absolute temperature at which computation is performed [1]. Bennett showed that ktln2 energy dissipation would not occur, if a computation is carried out in a reversible way [2], since the amount of energy dissipated in a system bears a direct relationship to the number of bits erased during computation. Furthermore, voltage-coded logic signals have energy of Esig = ½CV 2, and this energy gets dissipated whenever switching occurs in conventional (irreversible) logic implemented in modern CMOS technology. It has been shown that reversible logic helps in saving this energy using charge recovery process [12]. Reversible circuits are those circuits that do not lose information. Reversible computation in a system can be performed only when the system comprises of reversible gates. These circuits can generate unique output vector from each input vector, and vice versa, that is, there is a one-to-one mapping between input and output vectors. Thus, an NXN reversible gate can be represented as Iv=(I1,I2,I3,I4, IN) Ov=(O1,O2,O3,.ON). Where Iv and Ov represent the input and output vectors respectively. Classical logic gates are irreversible since input vector states cannot be uniquely reconstructed from the output vector states. There are a number of existing reversible gates such as Fredkin gate[3,4,5], Toffoli Gate (TG) [3, 4] and TSG gate[6]. B. Proposed Contribution and Motivation Behind the Work The reversible logic operations do not erase (lose) information and dissipate very less heat. Thus, reversible logic is likely to be in demand in high speed power aware circuits. Reversible circuits are of high interest in low-power CMOS design [7], optical computing [8], quantum computing [9] and nanotechnology [10]. The most prominent application of reversible logic lies in quantum computers. A quantum computer can be viewed as a quantum network (or a family of quantum networks) composed of quantum logic gates; each gate performs an elementary unitary operation on one, two or more two state quantum systems called qubits. Each qubit represents an elementary unit of information corresponding to the classical bit values 0 and 1. Any unitary operation is reversible, hence quantum networks effecting elementary arithmetic operations such as addition, multiplication and exponentiation cannot be directly deduced from their classical Boolean counterparts (classical logic gates such as AND or OR are clearly irreversible).thus, Quantum Arithmetic must be built from reversible logic components [11]. Furthermore, programmable logic arrays (PLAs) have a number of medical and industrial applications, such as ultrasonic flaw detection. The reasons stem from the fact that PLAs are considerably faster than high end DSPs. They provide the cost effective solution to the exponentially increasing needs of industrial electronics. Thus, seeing the benefits of programmable logic array and reversible logic in industrial electronics and applications, the authors propose the reversible programmable logic array (RPLA) designed using reversible gates. In order to demonstrate the proposed architecture of RPLA, a 3 input RPLA which can perform any 2 8 functions using the combination of 8 min terms (2 3 ) is also designed. The applications of the designed 3 input RPLA is shown by implementing 1-bit full adder and 1-bit subtractor functions through it. The basic goals in reversible logic are to minimize the number of reversible gates and garbage outputs. Thus, the proposed RPLA is designed in an optimal manner

by appropriately choosing the reversible Fredkin[3,4,5] and Feynman gates[3]. II. BASIC REVERSIBLE GATES There are a number of existing reversible gates in literature. Fredkin[3,4,5] and Feynman gates[3] are used to construct the reversible PLA. A brief description of the gates is given below. A. Fredkin Gate Fredkin gate [3,4,5], is a (3*3) conservative reversible gate originally introduced by Petri [4,5]. It is called 3*3 gate because it has three inputs and three outputs. The input triple (x 1,x 2, x 3 ) associates with its output triple (y 1, y 2, y 3) as follows: III. PROPOSED REVERSIBLE PROGRAMMABLE LOGIC ARRAY (RPLA) In this paper, the authors have proposed the architecture of reversible PLA called RPLA. The architecture of the reversible PLA is shown in Figure 4. The RPLA consists of reversible AND array designed from reversible Fredkin gate and Feynman gate, in which the Feynman gates are used to avoid the problem of fan-out and for generating the complement of the inputs. The reversible AND array realizes the selected product terms of the input variables. The reversible OR array designed from reversible Fredkin gates is used to generate various possible functions of the product terms (outputs of reversible AND array). Figure 1.a and Figure 1.b show the implementation of the Fredkin gate as OR and AND functions respectively. (a) (b) Figure 1. Fredkin Gate as (a) OR Function (b) AND Function Figure 4. Proposed Reversible PLA (RPLA) Architecture B. Feynman Gate Feynman gate [3] is a 2*2 one-through reversible gate shown in Figure 2. It is called 2*2 gate because it has 2 inputs and 2 outputs. One through gate means that one input variable is also the output. The input double (x1,x2) associates with its output double (y1,y2) as follows. y1=x1; y2=x1 x2; IV. DESIGN OF 3 INPUT REVERSIBLE PLA(RPLA) In order to demonstrate the actual design of the proposed reversible PLA (RPLA), a 3 input RPLA is shown in Fi gure 5. In Figure 5, the AND functions required to realize the AND array are implemented using reversible Fredkin gates. The application of Fredkin gate as an AND and OR gate has already been discussed in the previous section. In the AND array, the complement of the inputs are required and moreover fan-out is not allowed in reversible logic, thus Feynman gates are used to complement and replicate the signals when required. The designed 3 input reversible AND array will generate 8 product terms as outputs, which are combined using the reversible OR array designed using the Fredkin gate, to generate the required output functions. Figure 2. Feynman Gate Figure 3a shows the implementation of Feynman gate for copying the input and Figure 3b shows the implementation of it for generating the complement of the input. Figure 3. (a) (b) Feynman gate as (a) Copier (b) Complementer A. Applications of the designed 3 Input RPLA The designed 3 input RPLA is used to implement the 1 bit full adder and 1-bit subtractor. The 1-bit full adder as shown in Figure 6 is implemented using the 3 input RPLA by generating the product terms in the full adder truth table through the AND array, and then appropriately combining the product terms through the reversible OR array to finally generate the required SUM and CARRY output functions. Similarly, the 1-bit subtractor as shown in Figure 7 is implemented to generate the Difference and Borrow output functions.

Figure 5. General 3 input RPLA Designed Using Fredkin(F) and Feynman(FG) Gates

Figure 6. Realization of Full Adder Using Designed 3 Input RPLA Figure 7. Realization of Full Subtractor Using Designed 3 Input RPLA

B. Evaluation of the Proposed RPLA The proposed reversible programmable logic array (RPLA) is highly optimized in terms of number of reversible gates and garbage outputs. As far as literature and our knowledge is concerned, among the existing reversible gates Fredkin gate is most suitable to generate the AND and OR functions, with minimum gates and garbage outputs. Furthermore, in the proposed RPLA complementing and copying of the signals are required. This can be performed through a number of existing reversible gates, but the authors have used the Feynman gate, since it complements and copies the signal with minimum garbage output. In the Feynman gate, there are exactly two outputs corresponding to the inputs and a 0 in the second input will copy the first input to both the outputs of that gate and a 1 in the second input will produce the complement of the input at the second output and pass the same input at the first output as shown in Figure 3. Thus, both the outputs can now be utilized resulting in zero garbage output. Hence it can be concluded that the proposed RPLA is highly optimized in terms of number of reversible gates and garbage outputs. [9] M. Nielsen and I. Chaung, Quantum Computation and Quantum Information, Cambridge University Press, 2000. [10] R.C. Merkle, Two Types of Mechanical Reversible Logic, Nanotechnology,4:114-131,1993. [11] Vlatko Vedral, Adriano Bareno and Artur Ekert, Quantum Networks for Elementary Arithmetic Operations, arxiv:quantph/9511018 v1, nov 1995. [12] M. P. Frank, Introduction to reversible computing: motivation, progress,and challenges, In Proceedings of the 2nd Conference on Computing Fron-tiers, pages 385 390, 2005. V. CONCLUSIONS The focus of this paper is on the proposal of reversible programmable logic array (RPLA) using reversible gates. The 3 input RPLA which can generate any 2 8 functions using the combination of 8 min terms (2 3 ) is also successfully designed. Finally, the application of the RPLA is demonstrated by implementing the reversible 1-bit full adder and subtractor. It is also demonstrated that the proposed design is highly optimized in terms of number of reversible gates and garbage outputs. It is expected that the proposed work will provide to a new paradigm to the arena of reconfigurable computing. REFERENCES [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] E. Fredkin, T Toffoli, Conservative Logic, International Journal of Theor. Physics, 21(1982),pp.219-253. [4] T. Toffoli., Reversible Computing, Tech memo MIT/LCS/TM -151, MIT Lab for Computer Science (1980). [5] Alberto LEPORATI, Claudio ZANDRON, Giancarlo MAURI," Simulating the Fredkin Gate with Energy{Based P Systems", Journal of Universal Computer Science,Volume 10,Issue 5,pp 600-619. [6] Himanshu Thapliyal and M.B Srinivas, Novel Reversible TSG Gate and Its Application for Designing Reversible Carry Look Ahead Adder and Other Adder Architectures, Tenth Asia-Pacific Computer Systems Architecture Conference (ACSAC05), Singapore, October 24-26, 2005, pp 805-817. [7] G Schrom, Ultra Low Power CMOS Technology, PhD Thesis, Technischen Universitat Wien, June 1998. [8] E. Knil, R. Laflamme, and G.J Milburn, A Scheme for Efficient Quantum Computation With Linear Optics, Nature, pp 46-52, Jan 2001.