Thermodynamic of computing. Fisica dell Energia - a.a. 2017/2018

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Thermodynamic of computing. Fisica dell Energia - a.a. 2017/2018"

Transcription

1 Thermodynamic of computing Fisica dell Energia - a.a. 2017/2018

2 Landauer principle Minimum amount of energy required greater than zero Let assume the operation of bit reset # of initial states: 2 # of final states: 1

3 Landauer principle S = k B log W Q T S Initial condition: two possible states Final condition: one possible state Heat produced S i = k B log 2 S f = k B log 1 S = S f S i = k B log 2 Q T S = k B T log 2

4 Landauer principle experimental verification The physics of information: from Maxwell s demon to Landauer - Eric Lutz - University of Erlangen-Nürnberg

5 Landauer principle experimental verification Even if you're not burning books, destroying information generates heat. - Sergio Ciliberto

6 Landauer principle experimental verification The physics of information: from Maxwell s demon to Landauer - Eric Lutz - University of Erlangen-Nürnberg

7 Landauer principle experimental verification The physics of information: from Maxwell s demon to Landauer - Eric Lutz - University of Erlangen-Nürnberg

8 Landauer principle experimental verification The physics of information: from Maxwell s demon to Landauer - Eric Lutz - University of Erlangen-Nürnberg

9 Landauer principle experimental verification Jun, Y., Gavrilov, M., & Bechhoefer, J. (2014). High-Precision Test of Landauer s Principle in a Feedback Trap. Physical Review Letters, 113(19),

10 Landauer principle experimental verification Feedback Trap Jun, Y., Gavrilov, M., & Bechhoefer, J. (2014). High-Precision Test of Landauer s Principle in a Feedback Trap. Physical Review Letters, 113(19),

11 Landauer principle experimental verification Erasure protocol Jun, Y., Gavrilov, M., & Bechhoefer, J. (2014). High-Precision Test of Landauer s Principle in a Feedback Trap. Physical Review Letters, 113(19),

12 Landauer principle experimental verification Work series for individual cycles Jun, Y., Gavrilov, M., & Bechhoefer, J. (2014). High-Precision Test of Landauer s Principle in a Feedback Trap. Physical Review Letters, 113(19),

13 Time-dependent study of bit reset

14 Reset on colloidal particles Chiuchiú, D. "Time-dependent study of bit reset." EPL (Europhysics Letters) (2015):

15 Time-dependent study For a fixed τpr with Q(τpr) T S(τpr), study T S(t), Q(t), W (t), E(t). Chiuchiú, D. "Time-dependent study of bit reset." EPL (Europhysics Letters) (2015):

16 MEMS/NEMS Memory Device

17 NEMS Memory Devices Ionescu, Adrian M. "Nano Electro Mechanical (NEM) Memory Devices." Emerging Nanoelectronic Devices (2014):

18 NEMS Memory Devices Ionescu, Adrian M. "Nano Electro Mechanical (NEM) Memory Devices." Emerging Nanoelectronic Devices (2014):

19 NEMS Memory Devices Ionescu, Adrian M. "Nano Electro Mechanical (NEM) Memory Devices." Emerging Nanoelectronic Devices (2014):

20 NEMS Memory Devices

21 NEMS system

22 NEMS system armchair direction 6x1 nm atoms a = 2.42 Å Y = 0.85 TPa T = 10 K Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

23 2-DOF potential landscape Energy (J) A2 A A1 (Å) A2 (Å) 5 Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

24 Reset protocol Objective: move the system from an unknown state to known state ΔS = kb log(2) Qmin = kb T log(2) A1 A1 A2 Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015): A2

25 Reset protocol Quick and dirty: apply a positive force along Z on all atoms WRONG: it is not possible to control the velocity!

26 Reset protocol Quick and dirty: apply a positive force along Z on all atoms

27 Reset protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration f MaxUp f 0Up f MaxDw f 0Dw t 0 t 1 t 2 t 3 t 4 Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

28 t 0 t 1 t 2 t 3 t 4 Reset protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration f MaxUp f 0Up f MaxDw f 0Dw

29 Reset protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

30 Reset protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration 0.4 τ p =110 ns counts 0.2 Q/kBT Q/kBT QL=kBTln2 τp (ns) Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

31 Switch protocol Objective: move the system from a known state to another known state ΔS = 0 Qmin = 0 A1 A1 A2 Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015): A2

32 Switch protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration f MaxUp f 0Up f MaxDw f 0Dw t 0 t 1 t 2 t 3 t 4 t 5 t 6 Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

33 t t t t t t t Switch protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration f MaxUp f 0Up f MaxDw f 0Dw

34 Switch protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

35 Switch protocol Controlled way: apply a set of forces in to gently put the system in the desired configuration 0.4 τ p =210 ns counts 0.2 Q/kBT Q/kBT τp (ns) Neri, I., et al. "Reset and switch protocols at Landauer limit in a graphene buckled ribbon." EPL (Europhysics Letters) (2015):

36 t t t t t t t Switch protocol Wrong way: apply the switch protocol from the wrong initial state f MaxUp f 0Up f MaxDw f 0Dw

37 Switch protocol Wrong way: apply the switch protocol from the wrong initial state Qmin > 2QL

38 Micro-electromechanical memory bit based on magnetic repulsion

39 Micro-electromechanical memory bit based on magnetic repulsion Micro-electromechanical memory bit based on magnetic repulsion, López-Suárez, Miquel and Neri, Igor, Applied Physics Letters, 109, (2016)

40 Micro-electromechanical memory bit based on magnetic repulsion Micro-electromechanical memory bit based on magnetic repulsion, López-Suárez, Miquel and Neri, Igor, Applied Physics Letters, 109, (2016)

41 Micro-electromechanical memory bit based on magnetic repulsion Micro-electromechanical memory bit based on magnetic repulsion, López-Suárez, Miquel and Neri, Igor, Applied Physics Letters, 109, (2016)

42 Micro-electromechanical memory bit based on magnetic repulsion Orders of magnitude above Landauer limit! Micro-electromechanical memory bit based on magnetic repulsion, López-Suárez, Miquel and Neri, Igor, Applied Physics Letters, 109, (2016)

43 Solution: increase the temperature

44 Solution: increase the temperature Neri, Igor, and Miquel López-Suárez. "Heat production and error probability relation in Landauer reset at effective temperature." Scientific Reports 6 (2016).

45 Reset protocol Q=W-ΔU Neri, Igor, and Miquel López-Suárez. "Heat production and error probability relation in Landauer reset at effective temperature." Scientific Reports 6 (2016).

46 Landauer reset with error Neri, Igor, and Miquel López-Suárez. "Heat production and error probability relation in Landauer reset at effective temperature." Scientific Reports 6 (2016).

47 Unconventional computing

48 Robust Soldier Crab Ball Gate Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky

49 Robust Soldier Crab Ball Gate OR gate Robust Soldier Crab Ball Gate - Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky

50 Robust Soldier Crab Ball Gate AND gate Robust Soldier Crab Ball Gate - Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky

51 Robust Soldier Crab Ball Gate Robust Soldier Crab Ball Gate - Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky

52 Robust Soldier Crab Ball Gate How much energy? Crabs usually eat algae. Crabs are omnivorous, meaning that they will eat both plants and other animals for sustenance. Energy Content of Algae: 5kcal for 3g Average weight of the crabs was 42g Suppose daily need is 50% of its weight: 21g of algae and thus 35kcal J of energy for daily operating a crab logic gate or 1.7W of power

53 Mechanical logic gate

54 Mechanical logic gate AND gate

55 Mechanical logic gate López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

56 Mechanical logic gate Ω0 Ω1 López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

57 Mechanical logic gate López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

58 Mechanical logic gate ΔU = W Q = 0 López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

59 Mechanical logic gate López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

60 Full adder López-Suárez, M. et al. Sub-kBT micro-electromechanical irreversible logic gate. Nat. Commun. 7:12068 (2016)

Thermodynamic of computing. Fisica dell Energia - a.a. 2015/2016

Thermodynamic of computing. Fisica dell Energia - a.a. 2015/2016 Thermodynamic of computing Fisica dell Energia - a.a. 2015/2016 Landauer principle Minimum amount of energy required greater than zero Let assume the operation of bit reset # of initial states: 2 # of

More information

Physics of switches. Luca Gammaitoni NiPS Laboratory

Physics of switches. Luca Gammaitoni NiPS Laboratory Physics of switches Luca Gammaitoni NiPS Laboratory Logic switches A logic switch is a device that can assume physically distinct states as a result of external inputs. Usually the output of a physical

More information

Information to energy conversion in an electronic Maxwell s demon and thermodynamics of measurements.

Information to energy conversion in an electronic Maxwell s demon and thermodynamics of measurements. Information to energy conversion in an electronic Maxwell s demon and thermodynamics of measurements Stony Brook University, SUNY Dmitri V Averin and iang Deng Low-Temperature Lab, Aalto University Jukka

More information

DEMONS: MAXWELL S DEMON, SZILARD S ENGINE AND LANDAUER S ERASURE DISSIPATION

DEMONS: MAXWELL S DEMON, SZILARD S ENGINE AND LANDAUER S ERASURE DISSIPATION In: Proceedings of the first conference on Hot Topics in Physical Informatics (HoTPI, 2013 November). Paper is in press at International Journal of Modern Physics: Conference Series (2014). DEMONS: MAXWELL

More information

Maxwell s Demon. Kirk T. McDonald Joseph Henry Laboratories, Princeton University, Princeton, NJ (October 3, 2004)

Maxwell s Demon. Kirk T. McDonald Joseph Henry Laboratories, Princeton University, Princeton, NJ (October 3, 2004) 1 Problem Maxwell s Demon Kirk T. McDonald Joseph Henry Laboratories, Princeton University, Princeton, NJ 08544 (October 3, 2004) This problem is prob. 2 of [1]. One of the earliest conceptual supercomputers

More information

ON BROWNIAN COMPUTATION

ON BROWNIAN COMPUTATION ON BROWNIAN COMPUTATION JOHN D. NORTON Department of History and Philosophy of Science Center for Philosophy of Science University of Pittsburgh Pittsburgh PA USA 15260 jdnorton@pitt.edu Draft: October10,

More information

04. Information and Maxwell's Demon. I. Dilemma for Information-Theoretic Exorcisms.

04. Information and Maxwell's Demon. I. Dilemma for Information-Theoretic Exorcisms. 04. Information and Maxwell's Demon. I. Dilemma for Information-Theoretic Exorcisms. Two Options: (S) (Sound). The combination of object system and demon forms a canonical thermal system. (P) (Profound).

More information

Demons: Maxwell demon; Szilard engine; and Landauer's erasure-dissipation

Demons: Maxwell demon; Szilard engine; and Landauer's erasure-dissipation "Everything should be made as simple as possible, but not simpler." Albert Einstein Demons: Maxwell demon; Szilard engine; and Landauer's erasure-dissipation Laszlo B. Kish (1), Claes-Göran Granqvist (2),

More information

2.2 Classical circuit model of computation

2.2 Classical circuit model of computation Chapter 2 Classical Circuit Models for Computation 2. Introduction A computation is ultimately performed by a physical device. Thus it is a natural question to ask what are the fundamental limitations

More information

Demon Dynamics: Deterministic Chaos, the Szilard Map, & the Intelligence of Thermodynamic Systems.

Demon Dynamics: Deterministic Chaos, the Szilard Map, & the Intelligence of Thermodynamic Systems. Demon Dynamics: Deterministic Chaos, the Szilard Map, & the Intelligence of Thermodynamic Systems http://csc.ucdavis.edu/~cmg/ Jim Crutchfield Complexity Sciences Center Physics Department University of

More information

Lecture 14: State Tables, Diagrams, Latches, and Flip Flop

Lecture 14: State Tables, Diagrams, Latches, and Flip Flop EE210: Switching Systems Lecture 14: State Tables, Diagrams, Latches, and Flip Flop Prof. YingLi Tian Nov. 6, 2017 Department of Electrical Engineering The City College of New York The City University

More information

Thermodynamical cost of accuracy and stability of information processing

Thermodynamical cost of accuracy and stability of information processing Thermodynamical cost of accuracy and stability of information processing Robert Alicki Instytut Fizyki Teoretycznej i Astrofizyki Uniwersytet Gdański, Poland e-mail: fizra@univ.gda.pl Fields Institute,

More information

MEASUREMENT THEORY QUANTUM AND ITS APPLICATIONS KURT JACOBS. University of Massachusetts at Boston. fg Cambridge WW UNIVERSITY PRESS

MEASUREMENT THEORY QUANTUM AND ITS APPLICATIONS KURT JACOBS. University of Massachusetts at Boston. fg Cambridge WW UNIVERSITY PRESS QUANTUM MEASUREMENT THEORY AND ITS APPLICATIONS KURT JACOBS University of Massachusetts at Boston fg Cambridge WW UNIVERSITY PRESS Contents Preface page xi 1 Quantum measurement theory 1 1.1 Introduction

More information

İlke Ercan, PhD Assistant Professor, Electrical & Electronics Eng. Dep. Boğaziçi University, İstanbul, Turkey

İlke Ercan, PhD Assistant Professor, Electrical & Electronics Eng. Dep. Boğaziçi University, İstanbul, Turkey ENERGY EFFICIENCY LIMITS IN BROWNIAN CIRCUITS A PHYSICAL-INFORMATION-THEORETIC APPROACH, PhD Assistant Professor, Electrical & Electronics Eng. Dep. Boğaziçi University, İstanbul, Turkey Micro Energy 2017

More information

Implementation of Optimized Reversible Sequential and Combinational Circuits for VLSI Applications

Implementation of Optimized Reversible Sequential and Combinational Circuits for VLSI Applications V. G. Santhi Swaroop et al Int. Journal of Engineering Research and Applications RESEARCH ARTICLE OPEN ACCESS Implementation of Optimized Reversible Sequential and Combinational Circuits for VLSI Applications

More information

1. Introduction : 1.2 New properties:

1. Introduction : 1.2 New properties: Nanodevices In Electronics Rakesh Kasaraneni(PID : 4672248) Department of Electrical Engineering EEL 5425 Introduction to Nanotechnology Florida International University Abstract : This paper describes

More information

Introduction to Quantum Dynamics and Control

Introduction to Quantum Dynamics and Control EE 290O. Advanced Topics in Control: Introduction to Quantum Dynamics and Control Instructor: Alireza Shabani Contact : shabani@berkeley.edu Office: Gilman, Room 19 Cory 278 Office Hours: Wednesdays 3-4

More information

The End of the Thermodynamics of Computation: A No Go Result

The End of the Thermodynamics of Computation: A No Go Result December 22, 28, 2011 June 20, 2012 March 31, August 20, 2013 The End of the Thermodynamics of Computation: A No Go Result John D. Norton Department of History and Philosophy of Science Center for Philosophy

More information

Floating Point Representation and Digital Logic. Lecture 11 CS301

Floating Point Representation and Digital Logic. Lecture 11 CS301 Floating Point Representation and Digital Logic Lecture 11 CS301 Administrative Daily Review of today s lecture w Due tomorrow (10/4) at 8am Lab #3 due Friday (9/7) 1:29pm HW #5 assigned w Due Monday 10/8

More information

Relating Maxwell s Demon and Quantitative Analysis of Information Leakage for Practical Imperative Programs

Relating Maxwell s Demon and Quantitative Analysis of Information Leakage for Practical Imperative Programs Relating Maxwell s Demon and Quantitative Analysis of Information Leakage for Practical Imperative Programs Kushal Anjaria, Arun Mishra To cite this version: Kushal Anjaria, Arun Mishra. Relating Maxwell

More information

Control gates as building blocks for reversible computers

Control gates as building blocks for reversible computers Control gates as building blocks for reversible computers A. De Vos 1, B. Desoete 2, F. Janiak 3, and A. Nogawski 3 1 Universiteit Gent and Imec v.z.w., B-9000 Gent, Belgium 2 Universiteit Gent, B-9000

More information

Combinational Logic. By : Ali Mustafa

Combinational Logic. By : Ali Mustafa Combinational Logic By : Ali Mustafa Contents Adder Subtractor Multiplier Comparator Decoder Encoder Multiplexer How to Analyze any combinational circuit like this? Analysis Procedure To obtain the output

More information

Quantum thermodynamics

Quantum thermodynamics Quantum thermodynamics a primer for the curious quantum mechanic Lídia del Rio, ETH Zurich QIP 2017 Seattle This talk is licensed under a Creative Commons Attribution 4.0 International License. Why quantum

More information

Looking at a two binary digit sum shows what we need to extend addition to multiple binary digits.

Looking at a two binary digit sum shows what we need to extend addition to multiple binary digits. A Full Adder The half-adder is extremely useful until you want to add more that one binary digit quantities. The slow way to develop a two binary digit adders would be to make a truth table and reduce

More information

DM Bit Addressable Latch

DM Bit Addressable Latch 8-Bit Addressable Latch General Description The DM9334 is a high speed 8-bit Addressable Latch designed for general purpose storage applications in digital systems. It is a multifunctional device capable

More information

NRAM: High Performance, Highly Reliable Emerging Memory

NRAM: High Performance, Highly Reliable Emerging Memory NRAM: High Performance, Highly Reliable Emerging Memory Sheyang Ning,2, Tomoko Ogura Iwasaki, Darlene Viviani 2, Henry Huang 2, Monte Manning 2, Thomas Rueckes 2, Ken Takeuchi Chuo University 2 Nantero

More information

Parallel Processing and Circuit Design with Nano-Electro-Mechanical Relays

Parallel Processing and Circuit Design with Nano-Electro-Mechanical Relays Parallel Processing and Circuit Design with Nano-Electro-Mechanical Relays Elad Alon 1, Tsu-Jae King Liu 1, Vladimir Stojanovic 2, Dejan Markovic 3 1 University of California, Berkeley 2 Massachusetts

More information

QuantERA Co-funded Call 2017: Scientific Scope

QuantERA Co-funded Call 2017: Scientific Scope QuantERA Co-funded Call 2017: Scientific Scope Konrad Banaszek Konrad.Banaszek@ncn.gov.pl This project has received funding from the European Union s Horizon 2020 research and innovation programme under

More information

Adequate set of connectives, logic gates and circuits

Adequate set of connectives, logic gates and circuits Adequate set of connectives, logic gates and circuits Lila Kari University of Waterloo Adequate set of connectives, logic gates and circuits CS245, Logic and Computation 1 / 59 Connectives We have mentioned

More information

QUANTUM TECHNOLOGIES: THE SECOND QUANTUM REVOLUTION* Jonathan P. Dowling

QUANTUM TECHNOLOGIES: THE SECOND QUANTUM REVOLUTION* Jonathan P. Dowling QUANTUM TECHNOLOGIES: THE SECOND QUANTUM REVOLUTION* Jonathan P. Dowling Quantum Science & Technologies Group Hearne Institute for Theoretical Physics Louisiana State University http://quantum.phys.lsu.edu

More information

Digital Electronics Final Examination. Part A

Digital Electronics Final Examination. Part A Digital Electronics Final Examination Part A Spring 2009 Student Name: Date: Class Period: Total Points: /50 Converted Score: /40 Page 1 of 13 Directions: This is a CLOSED BOOK/CLOSED NOTES exam. Select

More information

Landauer s principle in the quantum domain

Landauer s principle in the quantum domain Landauer s principle in the quantum domain Janet Anders Dept of Physics & Astronomy University College London London WC1E 6BT, UK j.anders@ucl.ac.uk Saroosh Shabbir Stefanie Hilt Department of Physics

More information

ENGIN 112 Intro to Electrical and Computer Engineering

ENGIN 112 Intro to Electrical and Computer Engineering ENGIN 112 Intro to Electrical and Computer Engineering Lecture 17 Encoders and Decoders Overview Binary decoders Converts an n-bit code to a single active output Can be developed using AND/OR gates Can

More information

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

INTEGRATED CIRCUITS. For a complete data sheet, please also download: INTEGRATED CIRCUITS DATA SEET For a complete data sheet, please also download: The IC06 7C/CT/CU/CMOS Logic Family Specifications The IC06 7C/CT/CU/CMOS Logic Package Information The IC06 7C/CT/CU/CMOS

More information

Emerging Interconnect Technologies for CMOS and beyond-cmos Circuits

Emerging Interconnect Technologies for CMOS and beyond-cmos Circuits Emerging Interconnect Technologies for CMOS and beyond-cmos Circuits Sou-Chi Chang, Rouhollah M. Iraei Vachan Kumar, Ahmet Ceyhan and Azad Naeemi School of Electrical & Computer Engineering Georgia Institute

More information

An Overview of Spin-based Integrated Circuits

An Overview of Spin-based Integrated Circuits ASP-DAC 2014 An Overview of Spin-based Integrated Circuits Wang Kang, Weisheng Zhao, Zhaohao Wang, Jacques-Olivier Klein, Yue Zhang, Djaafar Chabi, Youguang Zhang, Dafiné Ravelosona, and Claude Chappert

More information

Boolean Algebra and Digital Logic 2009, University of Colombo School of Computing

Boolean Algebra and Digital Logic 2009, University of Colombo School of Computing IT 204 Section 3.0 Boolean Algebra and Digital Logic Boolean Algebra 2 Logic Equations to Truth Tables X = A. B + A. B + AB A B X 0 0 0 0 3 Sum of Products The OR operation performed on the products of

More information

Quantum Computing with neutral atoms and artificial ions

Quantum Computing with neutral atoms and artificial ions Quantum Computing with neutral atoms and artificial ions NIST, Gaithersburg: Carl Williams Paul Julienne T. C. Quantum Optics Group, Innsbruck: Peter Zoller Andrew Daley Uwe Dorner Peter Fedichev Peter

More information

arxiv: v1 [physics.app-ph] 1 May 2017

arxiv: v1 [physics.app-ph] 1 May 2017 Magnetic Skyrmions for Cache Memory Mei-Chin Chen 1 and Kaushik Roy 1 1 School of Electrical and Computer Engineering, Purdue University, West Lafayette, 47906, USA * chen1320@purdue.edu ABSTRACT arxiv:1705.01095v1

More information

CS/ECE 252: INTRODUCTION TO COMPUTER ENGINEERING COMPUTER SCIENCES DEPARTMENT UNIVERSITY OF WISCONSIN-MADISON

CS/ECE 252: INTRODUCTION TO COMPUTER ENGINEERING COMPUTER SCIENCES DEPARTMENT UNIVERSITY OF WISCONSIN-MADISON CS/ECE 252: INTRODUCTION TO COMPUTER ENGINEERING COMPUTER SCIENCES DEPARTMENT UNIVERSITY OF WISCONSIN-MADISON Prof. Mark D. Hill & Prof. Mikko Lipasti TAs Sanghamitra Roy, Eric Hill, Samuel Javner, Natalie

More information

INTRODUCTION À LA PHYSIQUE MÉSOSCOPIQUE: ÉLECTRONS ET PHOTONS INTRODUCTION TO MESOSCOPIC PHYSICS: ELECTRONS AND PHOTONS

INTRODUCTION À LA PHYSIQUE MÉSOSCOPIQUE: ÉLECTRONS ET PHOTONS INTRODUCTION TO MESOSCOPIC PHYSICS: ELECTRONS AND PHOTONS Chaire de Physique Mésoscopique Michel Devoret Année 2007, Cours des 7 et 14 juin INTRODUCTION À LA PHYSIQUE MÉSOSCOPIQUE: ÉLECTRONS ET PHOTONS INTRODUCTION TO MESOSCOPIC PHYSICS: ELECTRONS AND PHOTONS

More information

CS/COE0447: Computer Organization

CS/COE0447: Computer Organization Logic design? CS/COE0447: Computer Organization and Assembly Language Logic Design Review Digital hardware is implemented by way of logic design Digital circuits process and produce two discrete values:

More information

Problem: Calculate the entropy change that results from mixing 54.0 g of water at 280 K with 27.0 g of water at 360 K in a vessel whose walls are

Problem: Calculate the entropy change that results from mixing 54.0 g of water at 280 K with 27.0 g of water at 360 K in a vessel whose walls are Problem: Calculate the entropy change that results from mixing 54.0 g of water at 280 K with 27.0 g of water at 360 K in a vessel whose walls are perfectly insulated from the surroundings. Is this a spontaneous

More information

Quantum measurement theory

Quantum measurement theory 1 Quantum measurement theory 1.1 Introduction and overview Much that is studied in quantum measurement theory, and thus in this book, is very different from that studied in its classical counterpart, Bayesian

More information

CMOS compatible integrated ferroelectric tunnel junctions (FTJ)

CMOS compatible integrated ferroelectric tunnel junctions (FTJ) CMOS compatible integrated ferroelectric tunnel junctions (FTJ) Mohammad Abuwasib 1*, Hyungwoo Lee 2, Chang-Beom Eom 2, Alexei Gruverman 3, Jonathan Bird 1 and Uttam Singisetti 1 1 Electrical Engineering,

More information

ENGG1015 Homework 1 Question 1. ENGG1015: Homework 1

ENGG1015 Homework 1 Question 1. ENGG1015: Homework 1 ENGG1015 Homework 1 Question 1 ENGG1015: Homework 1 Due: Nov 5, 2012, 11:55pm Instruction: Submit your answers electronically through Moodle (Link to Homework 1). You may type your answers using any text

More information

Bilayer GNR Mobility Model in Ballistic Transport Limit

Bilayer GNR Mobility Model in Ballistic Transport Limit ilayer GNR Mobility Model in allistic Transport Limit S. Mahdi Mousavi, M.Taghi Ahmadi, Hatef Sadeghi, and Razali Ismail Computational Nanoelectronics (CoNE) Research Group, Electrical Engineering Faculty,

More information

An Approximate Parallel Multiplier with Deterministic Errors for Ultra-High Speed Integrated Optical Circuits

An Approximate Parallel Multiplier with Deterministic Errors for Ultra-High Speed Integrated Optical Circuits An Approximate Parallel Multiplier with Deterministic Errors for Ultra-High Speed Integrated Optical Circuits Jun Shiomi 1, Tohru Ishihara 1, Hidetoshi Onodera 1, Akihiko Shinya 2, Masaya Notomi 2 1 Graduate

More information

Exam for Physics 4051, October 31, 2008

Exam for Physics 4051, October 31, 2008 Exam for Physics 45, October, 8 5 points - closed book - calculators allowed - show your work Problem : (6 Points) The 4 bit shift register circuit shown in Figure has been initialized to contain the following

More information

Digital Logic: Boolean Algebra and Gates. Textbook Chapter 3

Digital Logic: Boolean Algebra and Gates. Textbook Chapter 3 Digital Logic: Boolean Algebra and Gates Textbook Chapter 3 Basic Logic Gates XOR CMPE12 Summer 2009 02-2 Truth Table The most basic representation of a logic function Lists the output for all possible

More information

Information in Biology

Information in Biology Information in Biology CRI - Centre de Recherches Interdisciplinaires, Paris May 2012 Information processing is an essential part of Life. Thinking about it in quantitative terms may is useful. 1 Living

More information

Gates for Adiabatic Quantum Computing

Gates for Adiabatic Quantum Computing Gates for Adiabatic Quantum Computing Richard H. Warren Abstract. The goal of this paper is to introduce building blocks for adiabatic quantum algorithms. Adiabatic quantum computing uses the principle

More information

6 Synchronous State Machine Design

6 Synchronous State Machine Design Design of synchronous counters. Based on the description of the problem, determine the required number n of the FFs - the smallest value of n is such that the number of states N 2 n and the desired counting

More information

APPLIED PHYSICS OPTIONS WITH REQUIREMENTS

APPLIED PHYSICS OPTIONS WITH REQUIREMENTS APPLIED PHYSICS OPTIONS WITH REQUIREMENTS Minimum Applied Required = 30. One or two areas of focus allowed. Choose at least 14 credit hours if one area of focus chosen, or 9 credit hours of each if two

More information

Quantum Cellular Automata: The Physics of Computing with Arrays of Quantum Dot Molecules

Quantum Cellular Automata: The Physics of Computing with Arrays of Quantum Dot Molecules Quantum Cellular Automata: The Physics of Computing with Arrays of Quantum Dot Molecules Craig. S. Lent, P. Douglas Tougaw, and Wolfgang Porod Department of Electrical Engineering, University of Notre

More information

CS 256: Neural Computation Lecture Notes

CS 256: Neural Computation Lecture Notes CS 56: Neural Computation Lecture Notes Chapter : McCulloch-Pitts Neural Networks A logical calculus of the ideas immanent in nervous activity M. Minsky s adaptation (Computation: Finite and Infinite Machines,

More information

ETTORE MAJORANA FOUNDATION AND CENTRE FOR SCIENTIFIC CULTURE

ETTORE MAJORANA FOUNDATION AND CENTRE FOR SCIENTIFIC CULTURE ETTORE MAJORANA FOUNDATION AND CENTRE FOR SCIENTIFIC CULTURE TO PAY A PERMANET TRIBUTE TO GALILEO GALILEI, FOUNDER OF MODERN SCIENCE AND TO ENRICO FERMI, "THE ITALIAN NAVIGATOR", FATHER OF THE WEAK FORCES

More information

Structure and electronic transport in graphene wrinkles

Structure and electronic transport in graphene wrinkles Supplementary Information: Structure and electronic transport in graphene wrinkles Wenjuan Zhu*, Tony Low, Vasili Pereeinos, Ageeth A. Bol, Yu Zhu, Hugen Yan, Jerry Tersoff and Phaedon Avouris* IBM Thomas

More information

1.10 (a) Function of AND, OR, NOT, NAND & NOR Logic gates and their input/output.

1.10 (a) Function of AND, OR, NOT, NAND & NOR Logic gates and their input/output. Chapter 1.10 Logic Gates 1.10 (a) Function of AND, OR, NOT, NAND & NOR Logic gates and their input/output. Microprocessors are the central hardware that runs computers. There are several components that

More information

FPGA Implementation of Ripple Carry and Carry Look Ahead Adders Using Reversible Logic Gates

FPGA Implementation of Ripple Carry and Carry Look Ahead Adders Using Reversible Logic Gates FPGA Implementation of Ripple Carry and Carry Look Ahead Adders Using Reversible Logic Gates K. Rajesh 1 and Prof. G. Umamaheswara Reddy 2 Department of Electronics and Communication Engineering, SVU College

More information

A NML-HDL Snake Clock Based QCA Architecture

A NML-HDL Snake Clock Based QCA Architecture International Journal of Scientific and Research Publications, Volume 4, Issue 2, February 2014 1 A NML-HDL Snake Clock Based QCA Architecture 1 Mr. M. B. Kachare, 2 Dr. P. H. Zope 1 ME I st (Dig. Electronics),

More information

CPSC 121 Sample Final Examination December 2013

CPSC 121 Sample Final Examination December 2013 CPSC 121 Sample Final Examination December 201 [6] 1. Short answers [] a. What is wrong with the following circuit? You can not connect the outputs of two or more gates together directly; what will happen

More information

Chapter 3 Combinational Logic Design

Chapter 3 Combinational Logic Design Logic and Computer Design Fundamentals Chapter 3 Combinational Logic Design Part 1- Implementation Technology and Logic Design Overview Part 1-Implementation Technology and Logic Design Design Concepts

More information

Introduction EE 224: INTRODUCTION TO DIGITAL CIRCUITS & COMPUTER DESIGN. Lecture 6: Sequential Logic 3 Registers & Counters 5/9/2010

Introduction EE 224: INTRODUCTION TO DIGITAL CIRCUITS & COMPUTER DESIGN. Lecture 6: Sequential Logic 3 Registers & Counters 5/9/2010 EE 224: INTROUCTION TO IGITAL CIRCUITS & COMPUTER ESIGN Lecture 6: Sequential Logic 3 Registers & Counters 05/10/2010 Avinash Kodi, kodi@ohio.edu Introduction 2 A Flip-Flop stores one bit of information

More information

STOCHASTIC LOGIC Architectures for post-cmos switches

STOCHASTIC LOGIC Architectures for post-cmos switches STOCHASTIC LOGIC Architectures for post-cmos switches David S. Ricketts Electrical & Computer Carnegie Mellon University www.ece.cmu.edu/~ricketts Jehoshua (Shuki) Bruck Engineering Electrical Engineering

More information

EECS150 - Digital Design Lecture 23 - FFs revisited, FIFOs, ECCs, LSFRs. Cross-coupled NOR gates

EECS150 - Digital Design Lecture 23 - FFs revisited, FIFOs, ECCs, LSFRs. Cross-coupled NOR gates EECS150 - Digital Design Lecture 23 - FFs revisited, FIFOs, ECCs, LSFRs April 16, 2009 John Wawrzynek Spring 2009 EECS150 - Lec24-blocks Page 1 Cross-coupled NOR gates remember, If both R=0 & S=0, then

More information

Appendix A: Digital Logic. CPSC 352- Computer Organization

Appendix A: Digital Logic. CPSC 352- Computer Organization - CPSC 352- Computer Organization -2 Chapter Contents. Introduction.2 Combinational Logic.3 Truth Tables.4 Logic Gates.5 Properties of oolean lgebra.6 The Sum-of-Products Form, and Logic Diagrams.7 The

More information

IV. Classical Statistical Mechanics

IV. Classical Statistical Mechanics IV. Classical Statistical Mechanics IV.A General Definitions Statistical Mechanics is a probabilistic approach to equilibrium macroscopic properties of large numbers of degrees of freedom. As discussed

More information

Online Testable Reversible Circuits using reversible gate

Online Testable Reversible Circuits using reversible gate Online Testable Reversible Circuits using reversible gate 1Pooja Rawat, 2Vishal Ramola, 1M.Tech. Student (final year), 2Assist. Prof. 1-2VLSI Design Department 1-2Faculty of Technology, University Campus,

More information

VLSI Design Verification and Test Simulation CMPE 646. Specification. Design(netlist) True-value Simulator

VLSI Design Verification and Test Simulation CMPE 646. Specification. Design(netlist) True-value Simulator Design Verification Simulation used for ) design verification: verify the correctness of the design and 2) test verification. Design verification: Response analysis Specification Design(netlist) Critical

More information

93L34 8-Bit Addressable Latch

93L34 8-Bit Addressable Latch 93L34 8-Bit Addressable Latch General Description The 93L34 is an 8-bit addressable latch designed for general purpose storage applications in digital systems It is a multifunctional device capable of

More information

Lecture 6: Time-Dependent Behaviour of Digital Circuits

Lecture 6: Time-Dependent Behaviour of Digital Circuits Lecture 6: Time-Dependent Behaviour of Digital Circuits Two rather different quasi-physical models of an inverter gate were discussed in the previous lecture. The first one was a simple delay model. This

More information

DESIGN OF A COMPACT REVERSIBLE READ- ONLY-MEMORY WITH MOS TRANSISTORS

DESIGN OF A COMPACT REVERSIBLE READ- ONLY-MEMORY WITH MOS TRANSISTORS DESIGN OF A COMPACT REVERSIBLE READ- ONLY-MEMORY WITH MOS TRANSISTORS Sadia Nowrin, Papiya Nazneen and Lafifa Jamal Department of Computer Science and Engineering, University of Dhaka, Bangladesh ABSTRACT

More information

Notes on Landauer s principle, reversible computation, and Maxwell s Demon

Notes on Landauer s principle, reversible computation, and Maxwell s Demon Studies in History and Philosophy of Modern Physics 34 (2003) 501 510 Notes on Landauer s principle, reversible computation, and Maxwell s Demon Charles H. Bennett IBM Research Division, Yorktown Heights,

More information

Session Chair: Prof. Haiping Cheng (University of Florida) Dr. Lei Shen. National University of Singapore

Session Chair: Prof. Haiping Cheng (University of Florida) Dr. Lei Shen. National University of Singapore B1. Modeling Quantum Transport at Nanoscale Chair(s): Chun ZHANG, National University of Singapore, Singapore Session s Title (if available) Tue - 17 Jan 2017 13:00 ~ 14:30 Room 2 Session Chair: Prof.

More information

A Novel Design for Quantum-dot Cellular Automata Cells and Full Adders

A Novel Design for Quantum-dot Cellular Automata Cells and Full Adders A Novel Design for Quantum-dot Cellular Automata Cells and Full Adders Mostafa Rahimi Azghadi *, O. Kavehei, K. Navi Department of Electrical and Computer Engineering, Shahid Beheshti University, Tehran,

More information

Computer Science. 19. Combinational Circuits. Computer Science COMPUTER SCIENCE. Section 6.1.

Computer Science. 19. Combinational Circuits. Computer Science COMPUTER SCIENCE. Section 6.1. COMPUTER SCIENCE S E D G E W I C K / W A Y N E PA R T I I : A L G O R I T H M S, M A C H I N E S, a n d T H E O R Y Computer Science Computer Science An Interdisciplinary Approach Section 6.1 ROBERT SEDGEWICK

More information

Entropy Evaluation for Oscillator-based True Random Number Generators

Entropy Evaluation for Oscillator-based True Random Number Generators Entropy Evaluation for Oscillator-based True Random Number Generators Yuan Ma DCS Center Institute of Information Engineering Chinese Academy of Sciences Outline RNG Modeling method Experiment Entropy

More information

Chapter 9. Estimating circuit speed. 9.1 Counting gate delays

Chapter 9. Estimating circuit speed. 9.1 Counting gate delays Chapter 9 Estimating circuit speed 9.1 Counting gate delays The simplest method for estimating the speed of a VLSI circuit is to count the number of VLSI logic gates that the input signals must propagate

More information

Combinational Logic Design Principles

Combinational Logic Design Principles Combinational Logic Design Principles Switching algebra Doru Todinca Department of Computers Politehnica University of Timisoara Outline Introduction Switching algebra Axioms of switching algebra Theorems

More information

NYU Spin Dynamics in Single Molecule Magnets. Andrew D. Kent

NYU Spin Dynamics in Single Molecule Magnets. Andrew D. Kent Spin Dynamics in Single Molecule Magnets Andrew D. Kent Department of Physics, New York University Collaborators: Gregoire de Loubens, Enrique del Barco Stephen Hill Dmitry Garanin Myriam Sarachik, Yosi

More information

DO NOT COPY DO NOT COPY

DO NOT COPY DO NOT COPY Drill Problems 3 benches. Another practical book is VHDL for Programmable Logic, by Kevin Skahill of Cypress Semiconductor (Addison-esley, 1996). All of the ABEL and VHDL examples in this chapter and throughout

More information

EECS 579: Logic and Fault Simulation. Simulation

EECS 579: Logic and Fault Simulation. Simulation EECS 579: Logic and Fault Simulation Simulation: Use of computer software models to verify correctness Fault Simulation: Use of simulation for fault analysis and ATPG Circuit description Input data for

More information

Menu. 7-Segment LED. Misc. 7-Segment LED MSI Components >MUX >Adders Memory Devices >D-FF, RAM, ROM Computer/Microprocessor >GCPU

Menu. 7-Segment LED. Misc. 7-Segment LED MSI Components >MUX >Adders Memory Devices >D-FF, RAM, ROM Computer/Microprocessor >GCPU Menu 7-Segment LED MSI Components >MUX >Adders Memory Devices >D-FF, RAM, ROM Computer/Microprocessor >GCPU Look into my... 1 7-Segment LED a b c h GND c g b d f a e h Show 7-segment LED in LogicWorks,

More information

Systems I: Computer Organization and Architecture

Systems I: Computer Organization and Architecture Systems I: Computer Organization and Architecture Lecture 6 - Combinational Logic Introduction A combinational circuit consists of input variables, logic gates, and output variables. The logic gates accept

More information

Hybrid Control and Switched Systems. Lecture #1 Hybrid systems are everywhere: Examples

Hybrid Control and Switched Systems. Lecture #1 Hybrid systems are everywhere: Examples Hybrid Control and Switched Systems Lecture #1 Hybrid systems are everywhere: Examples João P. Hespanha University of California at Santa Barbara Summary Examples of hybrid systems 1. Bouncing ball 2.

More information

Students should be able to (a) produce a truth table from a given logic diagram

Students should be able to (a) produce a truth table from a given logic diagram Truth tables Teacher s Notes Lesson Plan Length 60 mins Specification Link 2.1.2/f inary logic Learning objective Students should be able to (a) produce a truth table from a given logic diagram Time (min)

More information

Simplify the following Boolean expressions and minimize the number of literals:

Simplify the following Boolean expressions and minimize the number of literals: Boolean Algebra Task 1 Simplify the following Boolean expressions and minimize the number of literals: 1.1 1.2 1.3 Task 2 Convert the following expressions into sum of products and product of sums: 2.1

More information

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

INTEGRATED CIRCUITS. For a complete data sheet, please also download: INTEGRATED CIRCUITS DATA SHEET For a complete data sheet, please also download: The IC6 74HC/HCT/HCU/HCMOS ogic Family Specifications The IC6 74HC/HCT/HCU/HCMOS ogic Package Information The IC6 74HC/HCT/HCU/HCMOS

More information

Irreversible Processes

Irreversible Processes Irreversible Processes Examples: Block sliding on table comes to rest due to friction: KE converted to heat. Heat flows from hot object to cold object. Air flows into an evacuated chamber. Reverse process

More information

EECS150 - Digital Design Lecture 23 - FSMs & Counters

EECS150 - Digital Design Lecture 23 - FSMs & Counters EECS150 - Digital Design Lecture 23 - FSMs & Counters April 8, 2010 John Wawrzynek Spring 2010 EECS150 - Lec22-counters Page 1 One-hot encoding of states. One FF per state. State Encoding Why one-hot encoding?

More information

Practical Attacks on HB and HB+ Protocols

Practical Attacks on HB and HB+ Protocols Practical Attacks on HB and HB+ Protocols Zbigniew Gołębiewski 1, Krzysztof Majcher 2, Filip Zagórski 3, and Marcin Zawada 3 1 Institute of Computer Science, Wrocław University 2 Mathematical Institute,

More information

VISUAL PHYSICS ONLINE THERMODYNAMICS THERMAL ENERGY

VISUAL PHYSICS ONLINE THERMODYNAMICS THERMAL ENERGY VISUAL PHYSICS ONLINE THERMODYNAMICS THERMAL ENERGY INTERNAL ENERGY A thermodynamic System is composed of molecules in a solid state and/or a liquid and/or a gas state. The molecules always have some random

More information

An Autonomous Nonvolatile Memory Latch

An Autonomous Nonvolatile Memory Latch Radiant Technologies, Inc. 2835D Pan American Freeway NE Albuquerque, NM 87107 Tel: 505-842-8007 Fax: 505-842-0366 e-mail: radiant@ferrodevices.com www.ferrodevices.com An Autonomous Nonvolatile Memory

More information

Axiomatic Information Thermodynamics. Received: 1 February 2018; Accepted: 26 March 2018; Published: 29 March 2018

Axiomatic Information Thermodynamics. Received: 1 February 2018; Accepted: 26 March 2018; Published: 29 March 2018 entropy Article Axiomatic Information Thermodynamics Austin Hulse 1, Benjamin Schumacher 1, * and Michael D. Westmoreland 2 1 Department of Physics, Kenyon College, Gambier, OH 43022, USA; hulsea@kenyon.edu

More information

Boolean State Transformation

Boolean State Transformation Quantum Computing Boolean State Transformation Quantum Computing 2 Boolean Gates Boolean gates transform the state of a Boolean system. Conventionally a Boolean gate is a map f : {,} n {,}, where n is

More information

Lecture 1: Introduction to NEMS

Lecture 1: Introduction to NEMS Lecture 1: Introduction to NEMS Horacio D. Espinosa Acknowledgments: NSF-NIT, NSF-NSEC Int. Technology oadmap for Semiconductors Technology Tmi n(s) Tmax (s) CDmin (m) CDmax (m) Energy J/op Cost min $/gate

More information

DM74LS670 3-STATE 4-by-4 Register File

DM74LS670 3-STATE 4-by-4 Register File DM74LS670 3-STATE 4-by-4 Register File General Description August 1986 Revised March 2000 These register files are organized as 4 words of 4 bits each, and separate on-chip decoding is provided for addressing

More information

Design and Analysis of Comparator Using Different Logic Style of Full Adder

Design and Analysis of Comparator Using Different Logic Style of Full Adder RESEARCH ARTICLE OPEN ACCESS Design and Analysis of Comparator Using Different Logic Style of Full Adder K. Rajasekhar**, P. Sowjanya*, V. Umakiranmai*, R. Harish*, M. Krishna* (** Assistant Professor,

More information

UNIT 8A Computer Circuitry: Layers of Abstraction. Boolean Logic & Truth Tables

UNIT 8A Computer Circuitry: Layers of Abstraction. Boolean Logic & Truth Tables UNIT 8 Computer Circuitry: Layers of bstraction 1 oolean Logic & Truth Tables Computer circuitry works based on oolean logic: operations on true (1) and false (0) values. ( ND ) (Ruby: && ) 0 0 0 0 0 1

More information