Sajib Kumar Mitra, Lafifa Jamal and Hafiz Md. Hasan Babu*

Slides:



Advertisements
Similar presentations
Quantum Circuit Decomposition
Advertisements

University of Queensland
Reversible Gates in various realization technologies
Synthesis of Reversible Synchronous Counters Mozammel H A Khan Department of Computer Science and Engineering, East West University, 43 Mohakhali, Dhaka.
Logic Circuits Design presented by Amr Al-Awamry
Realization of Incompletely Specified Reversible Functions Manjith Kumar Ying Wang Natalie Metzger Bala Iyer Marek Perkowski Portland Quantum Logic Group.
GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits
A Transformation Based Algorithm for Reversible Logic Synthesis D. Michael Miller Dmitri Maslov Gerhard W. Dueck Design Automation Conference, 2003.
Derivatives of Perkowski’s Gate k f2 g h t t De Vos gates  f1f1  A B P Q Feynman gates A B P f 2f 2  C Q R Toffoli gates Q P f 2 A C R B S D 0.
High-Performance Simulation of Quantum Computation using QuIDDs George F. Viamontes, Manoj Rajagopalan, Igor L. Markov, and John P. Hayes Advanced Computer.
University of Queensland
Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song Quantum Braitenberg Automata Robots use.
Engineering Models and Design Methods for Quantum State Machines.
April 25, A Constructive Group Theory based Algorithm for Reversible Logic Synthesis.
Quantum Computing Joseph Stelmach.
An Arbitrary Two-qubit Computation in 23 Elementary Gates or Less Stephen S. Bullock and Igor L. Markov University of Michigan Departments of Mathematics.
A Fault-tolerant Architecture for Quantum Hamiltonian Simulation Guoming Wang Oleg Khainovski.
Introduction to Quantum logic (2) Yong-woo Choi.
New Approach to Quantum Calculation of Spectral Coefficients Marek Perkowski Department of Electrical Engineering, 2005.
Fast Spectral Transforms and Logic Synthesis DoRon Motter August 2, 2001.
Classical Versus Quantum. Goal: Fast, low-cost implementation of useful algorithms using standard components (gates) and design techniques Classical Logic.
Outline Main result Quantum computation and quantum circuits Feynman’s sum over paths Polynomials QuPol program “Quantum Polynomials” Quantum polynomials.
Thapliyal 1MAPLD 2005/1012 A Beginning in the Reversible Logic Synthesis of Sequential Circuits Himanshu Thapliyal and M.B Srinivas
Shashi Kumar 1 Logic Synthesis: Course Introduction Shashi Kumar Embedded System Group Department of Electronics and Computer Engineering Jönköping Univ.
REVERSIBLE LOGIC SYNTHESIS. Overview of the Presentation 1. Introduction 2. Design of a Reversible Full-adder Circuit.
1 Cost Metrics for Reversible and Quantum Logic Synthesis Dmitri Maslov 1 D. Michael Miller 2 1 Dept. of ECE, McGill University 2 Dept. of CS, University.
Bayesian Macromodeling for Circuit Level QCA Design Saket Srivastava and Sanjukta Bhanja Department of Electrical Engineering University of South Florida,
1 hardware of quantum computer 1. quantum registers 2. quantum gates.
You Did Not Just Read This or did you?. Quantum Computing Dave Bacon Department of Computer Science & Engineering University of Washington Lecture 3:
Design of a Reversible Binary Coded Decimal Adder by Using Reversible 4-bit Parallel Adder Babu, H. M. H. Chowdhury, A.R, “Design of a reversible binary.
Garbage in Reversible Designs of Multiple Output Functions
CLASSICAL LOGIC SRFPGA layout With I/O pins.
IPQI-2010-Anu Venugopalan 1 qubits, quantum registers and gates Anu Venugopalan Guru Gobind Singh Indraprastha Univeristy Delhi _______________________________________________.
Quantum Cost Calculation of Reversible Circuit Sajib Mitra MS/ Department of Computer Science and Engineering University of Dhaka
An Introduction to Quantum Computation Sandy Irani Department of Computer Science University of California, Irvine.
Online Testable Fault Tolerant Full Adder in Reversible Logic Synthesis Sajib Kumar Mitra MS/ Department of Computer Science and Engineering University.
BDD-based Synthesis of Reversible Logic for Large Functions Robert Wille Rolf Drechsler DAC’09 Presenter: Meng-yen Li.
A Synthesis Method for MVL Reversible Logic by 1 Department of Computer Science, University of Victoria, Canada M. Miller 1, G. Dueck 2, and D. Maslov.
Appendix C Basics of Logic Design. Appendix C — Logic Basic — 2 Logic Design Basics §4.2 Logic Design Conventions Objective: To understand how to build.
DATA REPRESENTATION IN COMPUTER MEMORY.  Describe the coding system:  Sign and magnitude  1’s Complement and 2’s Complement  Binary Coded Decimal.
Attendance Syllabus Textbook (hardcopy or electronics) Groups s First-time meeting.
Quantum gates SALEEL AHAMMAD SALEEL. Introduction.
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
Chapter 3 Combinational Logic Design II
This chapter in the book includes: Objectives Study Guide
Introduction Introduction to VHDL Entities Signals Data & Scalar Types
Mohammad Gh. Alfailakawi, Imtiaz Ahmad, Suha Hamdan
Logic and Computer Design Fundamentals
Kerntopf Gate and Regular Structures for Symmetric Functions
CSE Winter 2001 – Arithmetic Unit - 1
Spintronics By C.ANIL KUMAR (07AG1A0411).
CSE 370 – Winter 2002 – Comb. Logic building blocks - 1
Quantum Computing Dorca Lee.
Programmable Configurations
Chapter 3 – Combinational Logic Design
Regular Expression Manipulation FSM Model
Introduction to Quantum logic (2)
13 Digital Logic Circuits.
Quantum Computing Prabhas Chongstitvatana Faculty of Engineering
design entry (schematic capture, VHDL, truth table and etc.)
Digital System Design Combinational Logic
Adder, Subtructer, Encoder, Decoder, Multiplexer, Demultiplexer
Combinational Circuits
Quantum Computing Joseph Stelmach.
Arithmetic Circuits.
Fast Min-Register Retiming Through Binary Max-Flow
ECE 352 Digital System Fundamentals
Computer Architecture
A quantum machine learning algorithm based on generative models
Implementation of CMOS Logic Circuits with
Presentation transcript:

An Efficient Approach for Designing and Minimizing Reversible Programmable Logic Arrays Sajib Kumar Mitra, Lafifa Jamal and Hafiz Md. Hasan Babu* Department of Computer Science and Engineering University of Dhaka, Dhaka-1000, Bangladesh E-mails: sajibmitra.csedu@yahoo.com, lafifa@yahoo.com, hafizbabu@hotmail.com Mineo Kaneko School of Information Science Japan Advanced Institute of Sci. and Tech. E-mails: mkaneko@jaist.ac.jp

Purposes Define an new Architecture of RPLAs Minimization of Quantum Cost Reduction of Critical Path Delay Reduction of Number of Gates Garbage Outputs Optimization

Overview Reversible and Quantum Computing Quantum Realization of Reversible Circuits Reversible Programmable Logic Arrays Proposed Architecture of Reversible PLAs Delay Calculation of Reversible PLAs Performance Analysis Conclusion

Reversible and Quantum Computing

Reversible Computing Equal number of input states and output states Preserves an unique mapping between input and output vectors for any Reversible circuit One or more operations can be united called Reversible Gate (N x N) Reversible Gate has N number of inputs and N number of outputs where N= {1, 2, 3, …} [1] A. K. Biswas, M. M. Hasan, A. R. Chowdhury, and H. M. H. Babu, “Efficient approaches for designing reversible binary coded decimalimplement in a single adders,” Microelectronics Jounrnal, vol. 39, no. 12, pp. 1693–1703, December 2008.

Reversible Computing… Fig. 1: Basic difference between Irreversible and Reversible Circuits Limitation Feedback is strictly restricted Fan-out must be one always

Reversible Computing… Fig. 2: Popular Reversible gates

Quantum Computing In Quantum Computing, encode information as a series of quantum-mechanical states such as spin directions of electrons or polarization orientations of a photon that might represent as or might represent a superposition of the two values. Encoded data is represented by qubits rather than bits which can perform certain calculations exponentially faster than conventional computing. [2]W. N. N. Hung, X. Song, G. Yang, J. Yang, and M. Perkowski, “Quantum logic synthesis by symbolic reachability analysis,” in 41st Conference on (DAC’04), Design Automation Conference, May 2004, pp. 838–841.

Fig. 3: Reversible behavior of Quantum matrix operation Quantum Computing… Quantum Computation uses matrix multiplication rather than conventional Boolean operations and the information measurement is realized by calculation the state of qubits . The matrix operations over qubits are simply specifies by using quantum primitives. For example, Fig. 3: Reversible behavior of Quantum matrix operation

Fig. 4: Working Principle of Unitary Controlled NOT (UCN) Quantum Computing… Input Output A B P Q 1 Input/output Pattern Symbol 00 a 01 b 10 c 11 d Fig. 4: Working Principle of Unitary Controlled NOT (UCN)

Quantum Realization of Reversible Circuits

Fig. 5: Several Quantum Primitives Quantum Cost Quantum Cost (QC): Total number of 2x2 quantum primitives (4x4 unitary matrices) which are used to form equivalent quantum circuit of any Reversible Circuit. Fig. 5: Several Quantum Primitives [3] M. Perkowski and et al, “A hierarchical approach to computer-aided design of quantum circuits,” in 6th International Symposium on Rep-resentations and Methodology of Future Computing Technology, 2003, pp. 201–209.

Orientation of Quantum Gates The attachment of SRN (Hermitian Matrix of SRN) and EX-OR gate on the same line generates symmetric gate pattern has a cost of 1. Here T= V or V+ Fig. 6: Difference interactions between Quantum Primitives

Quantum Cost of Reversible gates Fig. 7: Equivalent Quantum Circuits of Reversible Gates

Working Principle of Quantum Circuit How does Quantum circuit work? Fig. 8: Toffoli Gate and corresponding Quantum Circuit

Working Principle of Quantum Circuit… INPUT OUTPUT A B R C 1 C’ Fig. 9: Working Principle of Quantum Equivalent of TG

Working Principle of Quantum Circuit… INPUT OUTPUT A B R C 1 C’ Quantum Cost of Toffoli Gate is 5

Working Principle of Quantum Circuit… Alternate representation of Quantum circuit of TG…

Proposed Quantum Circuit of NFT Fig. 9: Quantum Realization of NFT Gate (QC= 5)

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT…

Proposed Quantum Circuit of NFT Fig. 9: Quantum Realization of NFT Gate (QC= 5)

Reversible Programmable Logic Arrays

Reversible Programmable Logic Arrays Reversible Programmable Logic Arrays was first proposed by A. R. Chowdhury for multi-outputs function in [1] (Fig. 1). Fig. 1: Existing design of Reversible PLAs.

Reversible Programmable Logic Arrays (cont…) Limitation of Previous Design: 1. Toffoli gate produces huge number of unused outputs which are same as primary inputs. 2. Used Conventional Architecture (Complement and non-complement lines for copying input variables) 3. Generates huge number of Gates and garbage

Proposed Architecture of Reversible PLAs

Proposed Architecture of Reversible PLAs Proposed Design of RPLAs composed of followings: 1. EX-OR plane Optimization by using FG 2. Construction of AND plane by using MUX and FG 3. Delay Calculation based on Greedy Approach We have used the following example to represent the Proposed Design of RPLAs.

Proposed Architecture of Reversible PLAs (cont…) Construction of EX-OR plane : 1. EX-OR plane is constructed based on the ordering of the size of Products of functions 2. EX-OR plane defines the particular order of all products which will be followed by AND plane

Proposed Architecture of Reversible PLAs (cont…)

Proposed Architecture of Reversible PLAs (cont…) Construction of AND plane : 1. AND plane is constructed based on the ordering of the Products 2. MUX and FG gates are used to design AND plane 3. Two different patterns of MUX gates have been used in proposed design as follows:

Proposed Architecture of Reversible PLAs (cont…)

Proposed Architecture of Reversible PLAs (cont…) Fig. 2: Proposed Architecture of Reversible PLAs.

Delay Calculation of Reversible PLAs

Delay Calculation of Reversible PLAs We divide the calculation into two phases: a. AND Plane Delay and b. EX-OR Plane Delay Then we have merged both of the delay respect to both planes. In further realization of delay calculation, we consider the following things: a. Gate (Via) is represented as circle (DOT). b. Delay of any gate is 1 and via (DOT) denotes 0. c. Decimal value shows the delay of circle

Delay Calculation of Reversible PLAs (cont…)

Delay Calculation of Reversible PLAs (cont…) Delay Calculation of AND Plane

Delay Calculation of Reversible PLAs (cont…) Delay Calculation of EX-OR Plane

Performance Analysis

Performance Analysis

Conclusions We have proposed a regular structure of Reversible Programmable Logic Arrays (RPLAs) based on MUX Feynman logic. We used the garbage outputs as operational outputs that reduced the number of AND operations in RPLAs. The minimization of AND plane based on the ordering of input variables gives an excellent throughput of the overall design. Finally, we figured the performance of the proposed design over the existing one. The experimental results show that the proposed design outperforms the existing one in terms of numbers of gates, garbages and quantum costs. The proposed algorithm also required less time than the existing one. We also presented five lower bounds on the numbers of gates, garbages and quantum cost of RPLAs.

Thanks for being with me 