Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

Size: px
Start display at page:

Download "Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder"

Transcription

1 Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder Michael Kirkedal Thomsen Holger Bock Axelsen Department of Computer Science, DIKU, University of Copenhagen UC 28

2 Overview The end of Moore s Law! Reversible logic, gates and circuits Binary adders Parallelization of addition The ripple-block carry adder

3 Moore s Law (/2) The End of Moore s Law! [Gelsinger, Intel ]

4 Moore s Law (2/2) Reversible Computing The erasure of information leads to dissipation of heat. [Landauer 6] Erasure of information is not necessary for computation. [Bennett 73] Reversible computing is computing without any information loss. It is possible to make universal reversible logic gates. [Toffoli, Fredkin 8-82]

5 Reversible logic, gates and circuits (/9) Conventional Logic Computation today depends on logic operations that destroy information. Example: AND gate In A Out B A B

6 Reversible logic, gates and circuits (2/9) Reversible Logic Gates Solution: Avoid information loss.. The number of input lines is equal to the number of output lines (written n n). 2. Its Boolean function B n B n is bijective.

7 Reversible logic, gates and circuits (3/9) Not Gate In A Out A Simplest reversible gate Only classical logic gate useable in reversible circuits

8 n-bit Controlled-Not Gate [Toffoli 8] 3-bit: Toffoli gate 2-bit: Feynman gate C 2 A C C 2 R A C Out In Reversible logic, gates and circuits (4/9)

9 Controlled-Swap (Fredkin) Gate [Fredkin, Toffoli 82] Can be generalized to a n-bit controlled-swap gate A B C R A R B C Out In Reversible logic, gates and circuits (5/9)

10 Reversible logic, gates and circuits (6/9) Diagram Shorthand Shorthand: Negated controls are shows with an open circle

11 Reversible logic, gates and circuits (7/9) Reversible Circuits Important restriction: Fan-out is not permitted it is an irreversible construction Simulate fan-out through Feynman-gate A A A

12 Reversible logic, gates and circuits (8/9) Reversible Circuit Implementations Semi conductor (MOS) Complementary (dual-line) pass-transistor logic (CPL) Split-phase charge-recovery logic Y-branch Switching Quantum computing Quantum optical, Solid state, Nuclear magnetic resonance systems [De Vos et al.] [Vieri, Frank] [Palm et al., Forsberg] [Cirac, Duan, Zoller, ect.]

13 Reversible logic, gates and circuits (7/7) Cost Metrics in CPL Transistor cost ~ Space Gate Trans. Delay Circuit delay ~ Time Garbage bit 8 Non-constant output that is not part of the desired result 6 Ancilla bit Bit that is constant at both input and output 8(n-) Ancillae is preferable to garbage due to reuse 6 [De Vos, Rentergem 3]

14 Binary adders (/7) Addition ? +? Addition is irreversible We need a reversible way to add numbers

15 Binary adders (2/7) Reversible Updates Updating a value B with a value that does not depend on B Addition: Example: The n-bit controlled-not gate

16 Binary adders (3/7) Binary Full-Adder Conventional binary addition is not reversible In Out We need a new adder construction A i B i C i A i S i C i+

17 Binary adders (4/7) CDKM Adder Circuit Sum and carry can be calculated independently Sum is not needed for the sum of next bits [Vedral, Barenco, Ekert 96] [Cuccaro, Draper, Kutin, Moulton 5]

18 Binary adders (5/7) CDKM Adder Circuit (MAJ) (UMS) [Cuccaro, Draper, Kutin, Moulton 5]

19 Binary adders (6/7) Ripple-Carry CDKM Adder Circuit Transistors Delay Ancillae O(n) O(n) O() [Cuccaro, Draper, Kutin, Moulton 5]

20 Binary adders (7/7) CDKM Adder Circuits in CPL [Skoneczny, van Rentergem, De Vos 8]

21 Parallelization of addition (/8) Optimization using Parallelization Ripple-carry adders are small but slow Small: Few transistors Slow: Large delay Optimization schemes exist Carry-lookahead, carry-save, conditional-sum... These are not reversible Goal: Faster reversible adder using parallelization

22 Parallelization of addition (2/8) The Parallelization Idea

23 Carry Correction Parallelization of addition (3/8) C out n C out B A C in

24 Parallelization of addition (4/8) Carry Correction Output from MAJ Input to UMS

25 Parallelization of addition (5/8) Carry Correction S..3 A..3 C 4 S 4..7 A 4..7 C 8 S 8.. A 8.. C 2 S 2..5 A 2..5 Too many carries

26 Uncomputation of Carries Parallelization of addition (6/8) C out S B A C in

27 Parallelization of addition (7/8) Uncomputation of Carries

28 Parallelization of addition (8/8) Uncomputation of Carries

29 Ripple-block carry adder (/4) Design of Parallelization

30 Ripple-block carry adder (2/4) Cost of Ripple-Block Carry Adder

31 Ripple-block carry adder (3/4) Implementation Cost Transistors Delay Ancillae Garbage CDKM O(n) O(n) O() RBCA O( (n)) O(n (n)) O( (n)) Results when RBCA is optimized wrt. delay

32 Ripple-block carry adder (4/4) Energy Comparison Simple space * time cost improvement: Bits CDKM Time Space RBCA Time Space Improvement

33 Thank You!

Robust Reversible Multiplexer Design using. Mach-Zehnder Interferometer

Robust Reversible Multiplexer Design using. Mach-Zehnder Interferometer Robust Reversible Multiplexer Design using Mach-Zehnder Interferometer M.Zaheer Ahmed #1, S.Md.Imran Ali #2, P.Nagashyam #3,T.S.D.V.Subbarao #4 # Assistant Professor, # Assitant Professor, # UG student,

More information

Implementation of Optical Reversible Multiplexer Using Mach-Zehnder Interferometer

Implementation of Optical Reversible Multiplexer Using Mach-Zehnder Interferometer Implementation of Optical Reversible Multiplexer Using Mach-Zehnder Interferometer Nuwairah Abdul Azeez M.Tech, Jyothishmati Institute of Technology & Science, Karimnagar, Telangana. Abstract: With the

More information

A Novel Implementation of Reversible Multiplexer Design Using MZI

A Novel Implementation of Reversible Multiplexer Design Using MZI A Novel Implementation of Reversible Multiplexer Design Using MZI Abstract: Atluri Sarath Raja M.Tech, Usha Rama Engineering College, Telaprolu, Vijayawada, Andhra Pradesh. Reversible logic; transforms

More information

MZI Implementation of Reversible Logic Gates, Multiplexers, Standard Functions and CLA Using Verilog HDL

MZI Implementation of Reversible Logic Gates, Multiplexers, Standard Functions and CLA Using Verilog HDL MZI Implementation of Reversible Logic Gates, Multiplexers, Standard Functions and CLA Using Verilog HDL Mr.Rama Krishna A M-Tech Student, Department of ECE, Godavari Institute of Engineering and Technology,

More information

Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format

Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format Himanshu Thapliyal, Saurabh Kotiyal and M.B Srinivas Center for VLSI and Embedded System Technologies, International Institute

More information

Energy-Efficient Algorithms. Erik Demaine, Jayson Lynch, Geronimo Mirano, Nirvan Tyagi MIT CSAIL

Energy-Efficient Algorithms. Erik Demaine, Jayson Lynch, Geronimo Mirano, Nirvan Tyagi MIT CSAIL Energy-Efficient Algorithms Erik Demaine, Jayson Lynch, Geronimo Mirano, Nirvan Tyagi MIT CSAIL Why energy-efficient? Cheaper, Greener, Faster, Longer Cheaper and Greener Longer battery life Faster processors

More information

Design And Implementation Of Reversible Logic Alu With 4 Operations

Design And Implementation Of Reversible Logic Alu With 4 Operations IOSR Journal of Electronics and Communication Engineering (IOSR-JECE) e-issn: 2278-2834,p-ISSN: 2278-8735 PP 55-59 www.iosrjournals.org Design And Implementation Of Reversible Logic Alu With 4 Operations

More information

Aspects of Compilation for Reversible Programming Languages

Aspects of Compilation for Reversible Programming Languages Aspects o Compilation or Reversible Programming Languages Holger Bock Axelsen DIKU, Dept. o Computer Science, University o Copenhagen www.diku.dk/~unkstar QPCW @ IQC, U Waterloo, June 11, 2015 Overview

More information

Introduction. M Krishna* et al. ISSN: [IJESAT] [International Journal of Engineering Science & Advanced Technology]

Introduction. M Krishna* et al. ISSN: [IJESAT] [International Journal of Engineering Science & Advanced Technology] Electronic Model of Human Brain using Verilog M.Krishna 1 M. umarani 2 1 & 2: Assistant Professor,Department of ECE,Geethanjali College of Engineering and Technology Abstract: Reversible logic has become

More information

Designing a RISC CPU in Reversible Logic

Designing a RISC CPU in Reversible Logic 211 41st IEEE International Symposium on Multiple-Valued Logic Designing a RISC CPU in Reversible Logic Robert Wille Mathias Soeken Daniel Große Eleonora Schönborn Rolf Drechsler Institute of Computer

More information

Design And Development of Efficient Reversible Floating Point Arithmetic unit

Design And Development of Efficient Reversible Floating Point Arithmetic unit 2015 Fifth International Conference on Communication Systems and Network Technologies Design And Development of Efficient Reversible Floating Point Arithmetic unit Jenil Jain Electronics Engineering Department,

More information

Implementation of Pipelined Architecture for AES Algorithm using Reversible Logic

Implementation of Pipelined Architecture for AES Algorithm using Reversible Logic International Journal of Emerging Engineering Research and Technology Volume 3, Issue 12, December 2015, PP 138-145 ISSN 2349-4395 (Print) & ISSN 2349-4409 (Online) Implementation of Pipelined Architecture

More information

RevLib: An Online Resource for Reversible Functions and Reversible Circuits

RevLib: An Online Resource for Reversible Functions and Reversible Circuits RevLib: An Online Resource for Reversible Functions and Reversible Circuits Robert Wille 1 Daniel Große 1 Lisa Teuber 1 Gerhard W. Dueck 2 Rolf Drechsler 1 1 Institute of Computer Science, University of

More information

Reversible Logic Synthesis with Minimal Usage of Ancilla Bits. Siyao Xu

Reversible Logic Synthesis with Minimal Usage of Ancilla Bits. Siyao Xu Reversible Logic Synthesis with Minimal Usage of Ancilla Bits by Siyao Xu Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree

More information

Mach-Zehnder Interferometer Based All Optical Reversible NOR Gates

Mach-Zehnder Interferometer Based All Optical Reversible NOR Gates 2012 IEEE Computer Society Annual Symposium on VLSI Mach-Zehnder Interferometer Based All Optical Reversible NOR Gates Saurabh Kotiyal, Himanshu Thapliyal and Nagarajan Ranganathan Department of Computer

More information

Chapter 4: The Building Blocks: Binary Numbers, Boolean Logic, and Gates. Invitation to Computer Science, C++ Version, Third Edition

Chapter 4: The Building Blocks: Binary Numbers, Boolean Logic, and Gates. Invitation to Computer Science, C++ Version, Third Edition Chapter 4: The Building Blocks: Binary Numbers, Boolean Logic, and Gates Invitation to Computer Science, C++ Version, Third Edition Objectives In this chapter, you will learn about: The binary numbering

More information

ReLoS. (known as RMRLS in the literature) Reversible Logic Synthesizer. Pallav Gupta James Donald August 27, 2007 Version 0.2

ReLoS. (known as RMRLS in the literature) Reversible Logic Synthesizer. Pallav Gupta James Donald August 27, 2007 Version 0.2 ReLoS (known as RMRLS in the literature) Reversible Logic Synthesizer Pallav Gupta James Donald August 27, 2007 Version 0.2 Abstract ReLoS is an integrated tool for synthesis, simulation, and test of reversible

More information

What do quantum computers do? Daniel J. Bernstein University of Illinois at Chicago

What do quantum computers do? Daniel J. Bernstein University of Illinois at Chicago What do quantum computers do? 1 Daniel J. Bernstein University of Illinois at Chicago Quantum algorithm means an algorithm that a quantum computer can run. i.e. a sequence of instructions, where each instruction

More information

Lab. Course Goals. Topics. What is VLSI design? What is an integrated circuit? VLSI Design Cycle. VLSI Design Automation

Lab. Course Goals. Topics. What is VLSI design? What is an integrated circuit? VLSI Design Cycle. VLSI Design Automation Course Goals Lab Understand key components in VLSI designs Become familiar with design tools (Cadence) Understand design flows Understand behavioral, structural, and physical specifications Be able to

More information

Henry Lin, Department of Electrical and Computer Engineering, California State University, Bakersfield Lecture 7 (Digital Logic) July 24 th, 2012

Henry Lin, Department of Electrical and Computer Engineering, California State University, Bakersfield Lecture 7 (Digital Logic) July 24 th, 2012 Henry Lin, Department of Electrical and Computer Engineering, California State University, Bakersfield Lecture 7 (Digital Logic) July 24 th, 2012 1 Digital vs Analog Digital signals are binary; analog

More information

Pendulum: A Reversible Computer Architecture

Pendulum: A Reversible Computer Architecture ,, use.. Pendulum: A Reversible Computer Architecture by Carlin James Vieri B.S., University of California at Berkeley (1993) Submitted to the Department of Electrical Engineering and Computer Science

More information

DETECTION AND ELIMINATION OF NON-TRIVIAL REVERSIBLE IDENTITIES

DETECTION AND ELIMINATION OF NON-TRIVIAL REVERSIBLE IDENTITIES DETECTION AND ELIMINATION OF NON-TRIVIAL REVERSIBLE IDENTITIES Ahmed Younes Department of Mathematics and Computer Science, Faculty of Science, Alexandria University, Alexandria, Egypt ayounes2@yahoo.com

More information

Computers: Inside and Out

Computers: Inside and Out Computers: Inside and Out Computer Components To store binary information the most basic components of a computer must exist in two states State # 1 = 1 State # 2 = 0 1 Transistors Computers use transistors

More information

CPU Architecture system clock

CPU Architecture system clock CPU Architecture system clock Memory 64-bit adder Every CPU architecture is implemented using digital logic. In each cycle of the system clock, logic is executed and results are saved. System designers

More information

1. Boolean algebra. [6] 2. Constructing a circuit. [4] 3. Number representation [4] 4. Adders [4] 5. ALU [2] 6. Software [4]

1. Boolean algebra. [6] 2. Constructing a circuit. [4] 3. Number representation [4] 4. Adders [4] 5. ALU [2] 6. Software [4] Family Name:.......................... Other Names:.......................... ID Number:.......................... ENGR101: Test 4 May 2009 Instructions Time allowed: 45 minutes. There are 45 marks in

More information

Chapter 2. Boolean Algebra and Logic Gates

Chapter 2. Boolean Algebra and Logic Gates Chapter 2. Boolean Algebra and Logic Gates Tong In Oh 1 Basic Definitions 2 3 2.3 Axiomatic Definition of Boolean Algebra Boolean algebra: Algebraic structure defined by a set of elements, B, together

More information

Binary Adders: Half Adders and Full Adders

Binary Adders: Half Adders and Full Adders Binary Adders: Half Adders and Full Adders In this set of slides, we present the two basic types of adders: 1. Half adders, and 2. Full adders. Each type of adder functions to add two binary bits. In order

More information

4. Write a sum-of-products representation of the following circuit. Y = (A + B + C) (A + B + C)

4. Write a sum-of-products representation of the following circuit. Y = (A + B + C) (A + B + C) COP 273, Winter 26 Exercises 2 - combinational logic Questions. How many boolean functions can be defined on n input variables? 2. Consider the function: Y = (A B) (A C) B (a) Draw a combinational logic

More information

REVERSIBLE EVOLVABLE NETWORKS

REVERSIBLE EVOLVABLE NETWORKS REVERSIBLE EVOLVABLE NETWORKS A Reversible Evolvable Boolean Network Architecture and Methodology to Overcome the Heat Generation Problem in Molecular Scale Brain Building Hugo de GARIS, Jonathan DINERSTEIN,

More information

Lecture 10: Floating Point, Digital Design

Lecture 10: Floating Point, Digital Design Lecture 10: Floating Point, Digital Design Today s topics: FP arithmetic Intro to Boolean functions 1 Examples Final representation: (-1) S x (1 + Fraction) x 2 (Exponent Bias) Represent -0.75 ten in single

More information

INTEREST in reversible logic is motivated by its applications

INTEREST in reversible logic is motivated by its applications IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL 24, NO 6, JUNE 2005 807 Toffoli Network Synthesis With Templates Dmitri Maslov, Gerhard W Dueck, Member, IEEE, and D Michael

More information

Chapter 3. Boolean Algebra and Digital Logic

Chapter 3. Boolean Algebra and Digital Logic Chapter 3 Boolean Algebra and Digital Logic Chapter 3 Objectives Understand the relationship between Boolean logic and digital computer circuits. Learn how to design simple logic circuits. Understand how

More information

Agenda EE 224: INTRODUCTION TO DIGITAL CIRCUITS & COMPUTER DESIGN. Lecture 1: Introduction. Go over the syllabus 3/31/2010

Agenda EE 224: INTRODUCTION TO DIGITAL CIRCUITS & COMPUTER DESIGN. Lecture 1: Introduction. Go over the syllabus 3/31/2010 // EE : INTRODUCTION TO DIGITAL CIRCUITS & COMPUTER DESIGN Lecture : Introduction /9/ Avinash Kodi, kodi@ohio.edu Agenda Go over the syllabus Introduction ti to Digital it Systems // Why Digital Systems?

More information

Fundamentals of Computer Systems

Fundamentals of Computer Systems Fundamentals of Computer Systems Combinational Logic Martha. Kim Columbia University Spring 6 / Combinational Circuits Combinational circuits are stateless. Their output is a function only of the current

More information

ECE 550D Fundamentals of Computer Systems and Engineering. Fall 2017

ECE 550D Fundamentals of Computer Systems and Engineering. Fall 2017 ECE 550D Fundamentals of Computer Systems and Engineering Fall 2017 Combinational Logic Prof. John Board Duke University Slides are derived from work by Profs. Tyler Bletsch and Andrew Hilton (Duke) Last

More information

Arithmetic Logic Unit. Digital Computer Design

Arithmetic Logic Unit. Digital Computer Design Arithmetic Logic Unit Digital Computer Design Arithmetic Circuits Arithmetic circuits are the central building blocks of computers. Computers and digital logic perform many arithmetic functions: addition,

More information

EFFICIENT DESIGN OF COMPUTATIONAL SYSTEM USING REVERSIBLE LOGIC ON FPGA

EFFICIENT DESIGN OF COMPUTATIONAL SYSTEM USING REVERSIBLE LOGIC ON FPGA Indian Streams Research Journal ORIGINAL ARTICLE ISSN:-2230-7850 EFFICIENT DESIGN OF COMPUTATIONAL SYSTEM USING REVERSIBLE LOGIC ON FPGA Nitin B. Kodam and P. C. Bhaskar Mtech Student, Electronics Technology,

More information

A fast symbolic transformation based algorithm for reversible logic synthesis

A fast symbolic transformation based algorithm for reversible logic synthesis A fast symbolic transformation based algorithm for reversible logic synthesis Mathias Soeken 1, Gerhard W. Dueck 2, and D. Michael Miller 3 1 Integrated Systems Laboratory, EPFL, Switzerland 2 University

More information

Software and Hardware

Software and Hardware Software and Hardware Numbers At the most fundamental level, a computer manipulates electricity according to specific rules To make those rules produce something useful, we need to associate the electrical

More information

LAB #1 BASIC DIGITAL CIRCUIT

LAB #1 BASIC DIGITAL CIRCUIT LAB #1 BASIC DIGITAL CIRCUIT OBJECTIVES 1. To study the operation of basic logic gates. 2. To build a logic circuit from Boolean expressions. 3. To introduce some basic concepts and laboratory techniques

More information

Week 7: Assignment Solutions

Week 7: Assignment Solutions Week 7: Assignment Solutions 1. In 6-bit 2 s complement representation, when we subtract the decimal number +6 from +3, the result (in binary) will be: a. 111101 b. 000011 c. 100011 d. 111110 Correct answer

More information

Review: Standard forms of expressions

Review: Standard forms of expressions Karnaugh maps Last time we saw applications of Boolean logic to circuit design. The basic Boolean operations are AND, OR and NOT. These operations can be combined to form complex expressions, which can

More information

Combinational Circuits

Combinational Circuits Combinational Circuits Q. What is a combinational circuit? A. Digital: signals are or. A. No feedback: no loops. analog circuits: signals vary continuously sequential circuits: loops allowed (stay tuned)

More information

6. Combinational Circuits. Building Blocks. Digital Circuits. Wires. Q. What is a digital system? A. Digital: signals are 0 or 1.

6. Combinational Circuits. Building Blocks. Digital Circuits. Wires. Q. What is a digital system? A. Digital: signals are 0 or 1. Digital Circuits 6 Combinational Circuits Q What is a digital system? A Digital: signals are or analog: signals vary continuously Q Why digital systems? A Accurate, reliable, fast, cheap Basic abstractions

More information

ECE 2030D Computer Engineering Spring problems, 5 pages Exam Two 8 March 2012

ECE 2030D Computer Engineering Spring problems, 5 pages Exam Two 8 March 2012 Instructions: This is a closed book, closed note exam. Calculators are not permitted. If you have a question, raise your hand and I will come to you. Please work the exam in pencil and do not separate

More information

Arithmetic Circuits. Design of Digital Circuits 2014 Srdjan Capkun Frank K. Gürkaynak.

Arithmetic Circuits. Design of Digital Circuits 2014 Srdjan Capkun Frank K. Gürkaynak. Arithmetic Circuits Design of Digital Circuits 2014 Srdjan Capkun Frank K. Gürkaynak http://www.syssec.ethz.ch/education/digitaltechnik_14 Adapted from Digital Design and Computer Architecture, David Money

More information

How a Digital Binary Adder Operates

How a Digital Binary Adder Operates Overview of a Binary Adder How a Digital Binary Adder Operates By: Shawn R Moser A binary adder is a digital electronic component that is used to perform the addition of two binary numbers and return the

More information

Mid-Term Exam Solutions

Mid-Term Exam Solutions CS/EE 26 Digital Computers: Organization and Logical Design Mid-Term Eam Solutions Jon Turner 3/3/3. (6 points) List all the minterms for the epression (B + A)C + AC + BC. Epanding the epression gives

More information

ECE 637 Integrated VLSI Circuits. Introduction. Introduction EE141

ECE 637 Integrated VLSI Circuits. Introduction. Introduction EE141 ECE 637 Integrated VLSI Circuits Introduction EE141 1 Introduction Course Details Instructor Mohab Anis; manis@vlsi.uwaterloo.ca Text Digital Integrated Circuits, Jan Rabaey, Prentice Hall, 2 nd edition

More information

Reversible Computation and Reversible Programming Languages

Reversible Computation and Reversible Programming Languages Invited Tutorial at RC 2009 Reversible Computation and Reversible Programming Languages Tetsuo Yokoyama Graduate School of Information Science Nagoya University 1 Example: Fibonacci-Pairs global store

More information

ENIAC - background. ENIAC - details. Structure of von Nuemann machine. von Neumann/Turing Computer Architecture

ENIAC - background. ENIAC - details. Structure of von Nuemann machine. von Neumann/Turing Computer Architecture 168 420 Computer Architecture Chapter 2 Computer Evolution and Performance ENIAC - background Electronic Numerical Integrator And Computer Eckert and Mauchly University of Pennsylvania Trajectory tables

More information

Computer Architecture

Computer Architecture Informatics 3 Computer Architecture Dr. Boris Grot and Dr. Vijay Nagarajan Institute for Computing Systems Architecture, School of Informatics University of Edinburgh General Information Instructors: Boris

More information

Chapter 3 Arithmetic for Computers

Chapter 3 Arithmetic for Computers Chapter 3 Arithmetic for Computers 1 Arithmetic Where we've been: Abstractions: Instruction Set Architecture Assembly Language and Machine Language What's up ahead: Implementing the Architecture operation

More information

CONTENTS CHAPTER 1: NUMBER SYSTEM. Foreword...(vii) Preface... (ix) Acknowledgement... (xi) About the Author...(xxiii)

CONTENTS CHAPTER 1: NUMBER SYSTEM. Foreword...(vii) Preface... (ix) Acknowledgement... (xi) About the Author...(xxiii) CONTENTS Foreword...(vii) Preface... (ix) Acknowledgement... (xi) About the Author...(xxiii) CHAPTER 1: NUMBER SYSTEM 1.1 Digital Electronics... 1 1.1.1 Introduction... 1 1.1.2 Advantages of Digital Systems...

More information

Lecture 10: Combinational Circuits

Lecture 10: Combinational Circuits Computer Architecture Lecture : Combinational Circuits Previous two lectures.! TOY machine. Net two lectures.! Digital circuits. George Boole (85 864) Claude Shannon (96 2) Culminating lecture.! Putting

More information

Design of Parallel Self-Timed Adder

Design of Parallel Self-Timed Adder Design of Parallel Self-Timed Adder P.S.PAWAR 1, K.N.KASAT 2 1PG, Dept of EEE, PRMCEAM, Badnera, Amravati, MS, India. 2Assistant Professor, Dept of EXTC, PRMCEAM, Badnera, Amravati, MS, India. ---------------------------------------------------------------------***---------------------------------------------------------------------

More information

All Optical Reversible Multiplexer Design using Mach-Zehnder Interferometer

All Optical Reversible Multiplexer Design using Mach-Zehnder Interferometer 214 27th International onference on VLI Design and 214 13th International onference on Embedded ystems ll Optical Reversible Multiplexer Design using Mach-Zehnder Interferometer Kamalika Datta Indranil

More information

Tailoring the 32-Bit ALU to MIPS

Tailoring the 32-Bit ALU to MIPS Tailoring the 32-Bit ALU to MIPS MIPS ALU extensions Overflow detection: Carry into MSB XOR Carry out of MSB Branch instructions Shift instructions Slt instruction Immediate instructions ALU performance

More information

Experiment 7 Arithmetic Circuits Design and Implementation

Experiment 7 Arithmetic Circuits Design and Implementation Experiment 7 Arithmetic Circuits Design and Implementation Introduction: Addition is just what you would expect in computers. Digits are added bit by bit from right to left, with carries passed to the

More information

Standard Forms of Expression. Minterms and Maxterms

Standard Forms of Expression. Minterms and Maxterms Standard Forms of Expression Minterms and Maxterms Standard forms of expressions We can write expressions in many ways, but some ways are more useful than others A sum of products (SOP) expression contains:

More information

Chapter 1 Overview of Digital Systems Design

Chapter 1 Overview of Digital Systems Design Chapter 1 Overview of Digital Systems Design SKEE2263 Digital Systems Mun im/ismahani/izam {munim@utm.my,e-izam@utm.my,ismahani@fke.utm.my} February 8, 2017 Why Digital Design? Many times, microcontrollers

More information

problem maximum score 1 10pts 2 8pts 3 10pts 4 12pts 5 7pts 6 7pts 7 7pts 8 17pts 9 22pts total 100pts

problem maximum score 1 10pts 2 8pts 3 10pts 4 12pts 5 7pts 6 7pts 7 7pts 8 17pts 9 22pts total 100pts University of California at Berkeley College of Engineering epartment of Electrical Engineering and Computer Sciences EECS150 J. Wawrzynek Spring 2003 2/21/03 Exam I Solutions Name: I number: This is a

More information

HIERARCHICAL DESIGN. RTL Hardware Design by P. Chu. Chapter 13 1

HIERARCHICAL DESIGN. RTL Hardware Design by P. Chu. Chapter 13 1 HIERARCHICAL DESIGN Chapter 13 1 Outline 1. Introduction 2. Components 3. Generics 4. Configuration 5. Other supporting constructs Chapter 13 2 1. Introduction How to deal with 1M gates or more? Hierarchical

More information

Outline HIERARCHICAL DESIGN. 1. Introduction. Benefits of hierarchical design

Outline HIERARCHICAL DESIGN. 1. Introduction. Benefits of hierarchical design Outline HIERARCHICAL DESIGN 1. Introduction 2. Components 3. Generics 4. Configuration 5. Other supporting constructs Chapter 13 1 Chapter 13 2 1. Introduction How to deal with 1M gates or more? Hierarchical

More information

6: Combinational Circuits

6: Combinational Circuits Computer Architecture 6: Combinational Circuits Previous two lectures. von Neumann machine. This lectures. Boolean circuits. Later in the course. Putting it all together and building a TOY machine. George

More information

6.1 Combinational Circuits. George Boole ( ) Claude Shannon ( )

6.1 Combinational Circuits. George Boole ( ) Claude Shannon ( ) 6. Combinational Circuits George Boole (85 864) Claude Shannon (96 2) Signals and Wires Digital signals Binary (or logical ) values: or, on or off, high or low voltage Wires. Propagate digital signals

More information

COMP combinational logic 1 Jan. 18, 2016

COMP combinational logic 1 Jan. 18, 2016 In lectures 1 and 2, we looked at representations of numbers. For the case of integers, we saw that we could perform addition of two numbers using a binary representation and using the same algorithm that

More information

ECE 30 Introduction to Computer Engineering

ECE 30 Introduction to Computer Engineering ECE 30 Introduction to Computer Engineering Study Problems, Set #6 Spring 2015 1. With x = 1111 1111 1111 1111 1011 0011 0101 0011 2 and y = 0000 0000 0000 0000 0000 0010 1101 0111 2 representing two s

More information

Chap-2 Boolean Algebra

Chap-2 Boolean Algebra Chap-2 Boolean Algebra Contents: My name Outline: My position, contact Basic information theorem and postulate of Boolean Algebra. or project description Boolean Algebra. Canonical and Standard form. Digital

More information

Chapter 2. Perkembangan Komputer

Chapter 2. Perkembangan Komputer Chapter 2 Perkembangan Komputer 1 ENIAC - background Electronic Numerical Integrator And Computer Eckert and Mauchly University of Pennsylvania Trajectory tables for weapons Started 1943 Finished 1946

More information

Computer Organization and Levels of Abstraction

Computer Organization and Levels of Abstraction Computer Organization and Levels of Abstraction Announcements Today: PS 7 Lab 8: Sound Lab tonight bring machines and headphones! PA 7 Tomorrow: Lab 9 Friday: PS8 Today (Short) Floating point review Boolean

More information

Boolean Algebra and Logic Gates

Boolean Algebra and Logic Gates Boolean Algebra and Logic Gates Binary logic is used in all of today's digital computers and devices Cost of the circuits is an important factor Finding simpler and cheaper but equivalent circuits can

More information

ECE 341 Midterm Exam

ECE 341 Midterm Exam ECE 341 Midterm Exam Time allowed: 75 minutes Total Points: 75 Points Scored: Name: Problem No. 1 (8 points) For each of the following statements, indicate whether the statement is TRUE or FALSE: (a) A

More information

Lecture (05) Boolean Algebra and Logic Gates

Lecture (05) Boolean Algebra and Logic Gates Lecture (05) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee ١ Minterms and Maxterms consider two binary variables x and y combined with an AND operation. Since eachv ariable may appear in either

More information

Power Optimized Programmable Truncated Multiplier and Accumulator Using Reversible Adder

Power Optimized Programmable Truncated Multiplier and Accumulator Using Reversible Adder Power Optimized Programmable Truncated Multiplier and Accumulator Using Reversible Adder Syeda Mohtashima Siddiqui M.Tech (VLSI & Embedded Systems) Department of ECE G Pulla Reddy Engineering College (Autonomous)

More information

Lecture 10: Floating Point, Digital Design

Lecture 10: Floating Point, Digital Design Lecture 10: Floating Point, Digital Design Today s topics: FP arithmetic Intro to Boolean functions 1 Examples Final representation: (-1) S x (1 + Fraction) x 2 (Exponent Bias) Represent -0.75 ten in single

More information

6.1 Combinational Circuits. George Boole ( ) Claude Shannon ( )

6.1 Combinational Circuits. George Boole ( ) Claude Shannon ( ) 6. Combinational Circuits George Boole (85 864) Claude Shannon (96 2) Digital signals Binary (or logical ) values: or, on or off, high or low voltage Wires. Propagate logical values from place to place.

More information

Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic

Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic Enhancing Debugging of Multiple Missing Control Errors in Reversible ogic Jean Christoph Jung Stefan Frehse Robert Wille Rolf Drechsler Institute for Computer Science 28359 Bremen, Germany {jeanjung,sfrehse,rwille,drechsle}@informatik.uni-bremen.de

More information

B.Tech II Year I Semester (R13) Regular Examinations December 2014 DIGITAL LOGIC DESIGN

B.Tech II Year I Semester (R13) Regular Examinations December 2014 DIGITAL LOGIC DESIGN B.Tech II Year I Semester () Regular Examinations December 2014 (Common to IT and CSE) (a) If 1010 2 + 10 2 = X 10, then X is ----- Write the first 9 decimal digits in base 3. (c) What is meant by don

More information

Logic and Computer Design Fundamentals. Chapter 8 Memory Basics

Logic and Computer Design Fundamentals. Chapter 8 Memory Basics Logic and Computer Design Fundamentals Memory Basics Overview Memory definitions Random Access Memory (RAM) Static RAM (SRAM) integrated circuits Arrays of SRAM integrated circuits Dynamic RAM (DRAM) Read

More information

Hardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University

Hardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University Hardware Design Environments Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University Outline Welcome to COE 405 Digital System Design Design Domains and Levels of Abstractions Synthesis

More information

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

what operations can it perform? how does it perform them? on what kind of data? where are instructions and data stored? Inside the CPU how does the CPU work? what operations can it perform? how does it perform them? on what kind of data? where are instructions and data stored? some short, boring programs to illustrate the

More information

Course Title III Allied Practical** IV Environmental Studies #

Course Title III Allied Practical** IV Environmental Studies # Part Ins. hrs / week Dur.Hr s. CIA Marks Total Marks Credit Page 1 of 5 BHARATHIAR UNIVERSITY,COIMBATORE-641 046 B.Sc. PHYSICS DEGREE COURSE SCHEME OF EXAMINATIONS (CBCS PATTERN) (For the students admitted

More information

Chapter 3: part 3 Binary Subtraction

Chapter 3: part 3 Binary Subtraction Chapter 3: part 3 Binary Subtraction Iterative combinational circuits Binary adders Half and full adders Ripple carry and carry lookahead adders Binary subtraction Binary adder-subtractors Signed binary

More information

211: Computer Architecture Summer 2016

211: Computer Architecture Summer 2016 211: Computer Architecture Summer 2016 Liu Liu Topic: Storage Project3 Digital Logic - Storage: Recap - Direct - Mapping - Fully Associated - 2-way Associated - Cache Friendly Code Rutgers University Liu

More information

Systems Architecture

Systems Architecture Systems Architecture Friday, 27 April 2018 Systems Architecture Today s Objectives: 1. To be able to explain the purposes and uses of embedded systems. 2. To be able to describe how the CPU executes instructions

More information

1. What is y-chart? ans: The y- chart consists of three domains:- behavioral, structural and geometrical.

1. What is y-chart? ans: The y- chart consists of three domains:- behavioral, structural and geometrical. SECTION- A Short questions: (each 2 marks) 1. What is y-chart? ans: The y- chart consists of three domains:- behavioral, structural and geometrical. 2. What is fabrication? ans: It is the process used

More information

EE141- Spring 2007 Introduction to Digital Integrated Circuits

EE141- Spring 2007 Introduction to Digital Integrated Circuits - Spring 2007 Introduction to Digital Integrated Circuits Tu-Th 5pm-6:30pm 150 GSPP 1 What is this class about? Introduction to digital integrated circuits.» CMOS devices and manufacturing technology.

More information

EXPERIMENT #8: BINARY ARITHMETIC OPERATIONS

EXPERIMENT #8: BINARY ARITHMETIC OPERATIONS EE 2 Lab Manual, EE Department, KFUPM EXPERIMENT #8: BINARY ARITHMETIC OPERATIONS OBJECTIVES: Design and implement a circuit that performs basic binary arithmetic operations such as addition, subtraction,

More information

Combinational Logic Worksheet

Combinational Logic Worksheet Combinational Logic Worksheet Concept Inventory: Truth tables sum-of-products equations implementation using NOT/AND/OR Demorgan s Law, implementation using NAND/NOR Simplification, truth tables w/ don

More information

CS 31: Intro to Systems Digital Logic. Kevin Webb Swarthmore College February 3, 2015

CS 31: Intro to Systems Digital Logic. Kevin Webb Swarthmore College February 3, 2015 CS 31: Intro to Systems Digital Logic Kevin Webb Swarthmore College February 3, 2015 Reading Quiz Today Hardware basics Machine memory models Digital signals Logic gates Circuits: Borrow some paper if

More information

Update on Physical Scalability

Update on Physical Scalability Update on Physical Scalability Sabotaging Performance Gains! Dallas IEEE Computer Society Meeting Friday Jan 21, 2011 Douglas J. Matzke, Ph.D. IEEE Senior Member matzke@ieee.org 1 Abstract In September

More information

ECE 152A LABORATORY 2

ECE 152A LABORATORY 2 ECE 152A LABORATORY 2 Objectives : 1. Understand the trade-off between time- and space-efficiency in the design of adders. In this lab, adders operate on unsigned numbers. 2. Learn how to write Verilog

More information

Summary and Perspectives. Jan M. Rabaey

Summary and Perspectives. Jan M. Rabaey Summary and Perspectives Jan M. Rabaey Low-Power Design Rules Anno 1997 Minimize waste (or reduce switching capacitance) Match computation and architecture Preserve locality inherent in algorithm Exploit

More information

CS 31: Intro to Systems Digital Logic. Kevin Webb Swarthmore College February 2, 2016

CS 31: Intro to Systems Digital Logic. Kevin Webb Swarthmore College February 2, 2016 CS 31: Intro to Systems Digital Logic Kevin Webb Swarthmore College February 2, 2016 Reading Quiz Today Hardware basics Machine memory models Digital signals Logic gates Circuits: Borrow some paper if

More information

EE5780 Advanced VLSI CAD

EE5780 Advanced VLSI CAD EE5780 Advanced VLSI CAD Lecture 1 Introduction Zhuo Feng 1.1 Prof. Zhuo Feng Office: EERC 513 Phone: 487-3116 Email: zhuofeng@mtu.edu Class Website http://www.ece.mtu.edu/~zhuofeng/ee5780fall2013.html

More information

Boolean Algebra. BME208 Logic Circuits Yalçın İŞLER

Boolean Algebra. BME208 Logic Circuits Yalçın İŞLER Boolean Algebra BME28 Logic Circuits Yalçın İŞLER islerya@yahoo.com http://me.islerya.com 5 Boolean Algebra /2 A set of elements B There exist at least two elements x, y B s. t. x y Binary operators: +

More information

Advanced VLSI Design Prof. Virendra K. Singh Department of Electrical Engineering Indian Institute of Technology Bombay

Advanced VLSI Design Prof. Virendra K. Singh Department of Electrical Engineering Indian Institute of Technology Bombay Advanced VLSI Design Prof. Virendra K. Singh Department of Electrical Engineering Indian Institute of Technology Bombay Lecture 40 VLSI Design Verification: An Introduction Hello. Welcome to the advance

More information

The Building Blocks: Binary Numbers, Boolean Logic, and Gates. Purpose of Chapter. External Representation of Information.

The Building Blocks: Binary Numbers, Boolean Logic, and Gates. Purpose of Chapter. External Representation of Information. The Building Blocks: Binary Numbers, Boolean Logic, and Gates Chapter 4 Representing Information The Binary Numbering System Boolean Logic and Gates Building Computer Circuits Control Circuits CMPUT Introduction

More information

Computer Organization and Levels of Abstraction

Computer Organization and Levels of Abstraction Computer Organization and Levels of Abstraction Announcements PS8 Due today PS9 Due July 22 Sound Lab tonight bring machines and headphones! Binary Search Today Review of binary floating point notation

More information