Physics of switches. Luca Gammaitoni NiPS Laboratory

Similar documents
Physics of switches. Luca Gammaitoni NiPS Laboratory

Operating basic switches toward zero-power computing. Luca Gammaitoni NiPS Laboratory, Università di Perugia, Italy

3 The physics of computing

ON BROWNIAN COMPUTATION

The physics of information: from Maxwell s demon to Landauer. Eric Lutz University of Erlangen-Nürnberg

Even if you're not burning books, destroying information generates heat.

ELCT201: DIGITAL LOGIC DESIGN

arxiv: v3 [cond-mat.stat-mech] 10 May 2018

UNIVERSITY OF BOLTON SCHOOL OF ENGINEERING BENG (HONS) ELECTRICAL & ELECTRONICS ENGINEERING EXAMINATION SEMESTER /2017

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

arxiv: v4 [cond-mat.stat-mech] 3 Mar 2017

Digital Logic. CS211 Computer Architecture. l Topics. l Transistors (Design & Types) l Logic Gates. l Combinational Circuits.

Basic on the physics of energy transforma2ons at micro and nanoscales

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

Control gates as building blocks for reversible computers

arxiv:cond-mat/ v1 27 Feb 1996

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

arxiv: v1 [cond-mat.stat-mech] 24 Sep 2018

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

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

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

Implementation of Boolean Logic by Digital Circuits

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

Lecture 17: Designing Sequential Systems Using Flip Flops

arxiv:chao-dyn/ v1 17 Feb 1999

LECTURE 28. Analyzing digital computation at a very low level! The Latch Pipelined Datapath Control Signals Concept of State

Sequential Logic. Rab Nawaz Khan Jadoon DCS. Lecturer COMSATS Lahore Pakistan. Department of Computer Science

CMPE12 - Notes chapter 1. Digital Logic. (Textbook Chapter 3)

Statistical Physics. How to connect the microscopic properties -- lots of changes to the macroscopic properties -- not changing much.

Lecture 6: Time-Dependent Behaviour of Digital Circuits

Maxwell s Demon. Kirk T. McDonald Joseph Henry Laboratories, Princeton University, Princeton, NJ (October 3, 2004; updated September 20, 2016)

Gibbs Free Energy. Evaluating spontaneity

Thermodynamics of computation

2.2 Classical circuit model of computation

Let s start by reviewing what we learned last time. Here is the basic line of reasoning for Einstein Solids

Adequate set of connectives, logic gates and circuits

A Novel Ternary Content-Addressable Memory (TCAM) Design Using Reversible Logic

phys4.20 Page 1 - the ac Josephson effect relates the voltage V across a Junction to the temporal change of the phase difference

The Physics of Energy

Latches. October 13, 2003 Latches 1

EE241 - Spring 2003 Advanced Digital Integrated Circuits

LOGIC CIRCUITS. Basic Experiment and Design of Electronics. Ho Kyung Kim, Ph.D.

Designing Information Devices and Systems II Fall 2017 Miki Lustig and Michel Maharbiz Homework 1. This homework is due September 5, 2017, at 11:59AM.

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

LOGIC CIRCUITS. Basic Experiment and Design of Electronics

Digital Electronics Part 1: Binary Logic

Information entropy and thermal entropy: apples and oranges

Introduction to Computer Engineering. CS/ECE 252, Fall 2012 Prof. Guri Sohi Computer Sciences Department University of Wisconsin Madison

Second law, entropy production, and reversibility in thermodynamics of information

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

Implementation of Optimized Reversible Sequential and Combinational Circuits for VLSI Applications

The thermodynamics of cellular computation

Energy management at micro scales

Problem. Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26

Quantum Thermodynamics

PHYS 414 Problem Set 4: Demonic refrigerators and eternal sunshine

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

Lecture 6 - LANDAUER: Computing with uncertainty

Information and Physics Landauer Principle and Beyond

The Design Procedure. Output Equation Determination - Derive output equations from the state table

Project Periodic Report

Sequential Logic Circuits

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

Contents. Chapter 3 Combinational Circuits Page 1 of 36

Basic thermodynamics

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

Circuit for Revisable Quantum Multiplier Implementation of Adders with Reversible Logic 1 KONDADASULA VEDA NAGA SAI SRI, 2 M.

Digital electronics form a class of circuitry where the ability of the electronics to process data is the primary focus.

Energy at micro scales

F14 Memory Circuits. Lars Ohlsson

Thermodynamics of feedback controlled systems. Francisco J. Cao

Response to Comment on Zero and negative energy dissipation at information-theoretic erasure

Sequential Circuits Sequential circuits combinational circuits state gate delay

Zero and negative energy dissipation at information-theoretic erasure

Comparative analysis of non-equilibrium quantum Landauer bounds

UNIVERSITY OF MISSOURI-COLUMBIA PHYSICS DEPARTMENT. PART I Qualifying Examination. August 20, 2013, 5:00 p.m. to 8:00 p.m.

NAME: MA Sample Final Exam. Record all your answers on the answer sheet provided. The answer sheet is the only thing that will be graded.

CMPE12 - Notes chapter 2. Digital Logic. (Textbook Chapters and 2.1)"

Combinational Logic Design Principles

Physics 132- Fundamentals of Physics for Biologists II. Statistical Physics and Thermodynamics

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

Ch. 19 Entropy and Free Energy: Spontaneous Change

Chapter 4. Sequential Logic Circuits

Thermodynamic Systems, States, and Processes

Biasing Brownian motion from thermal ratchets

Lecture 23. CMOS Logic Gates and Digital VLSI I

τ gd =Q/I=(CV)/I I d,sat =(µc OX /2)(W/L)(V gs -V TH ) 2 ESE534 Computer Organization Today At Issue Preclass 1 Energy and Delay Tradeoff

Beyond the Second Law of Thermodynamics

Logic Theory in Designing of Digital Circuit & Microprocessor

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

VHDL DESIGN AND IMPLEMENTATION OF C.P.U BY REVERSIBLE LOGIC GATES

Mark Redekopp, All rights reserved. Lecture 1 Slides. Intro Number Systems Logic Functions

ESE 570: Digital Integrated Circuits and VLSI Fundamentals

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

Properties and applications of ferromagnetic nanostructures

Novel Reversible Gate Based Circuit Design and Simulation Using Deep Submicron Technologies

Chapter 16 Thermodynamics

Reversible Implementation of Ternary Content Addressable Memory (TCAM) Interface with SRAM

Thermochemical Properties

Sequential Logic (3.1 and is a long difficult section you really should read!)

Transcription:

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 system assume a continuous value (e.g. a voltage) and a threshold is used to partite the output space in two ore more states. If the states are in the number of two we have binary logic switches: this is the case of transistors for modern microprocessors.

Computing with binary switches Combinational switches can be easily employed do computation. Sequential switches can be easily employed to store information. Conbinational: in the absence of any external force, under equilibrium conditions, they are in the state S 0. When an external force F 01 is applied, they switch to the state S 1 and remain in that state as long as the force is present. Once the force is removed they go back to the state S 0. Sequential: They can be changed from S 0 to S 1 by applying an external force F 01. Once they are in the state S 1 they remain in this state even when the force is removed. They go from S 1 to S 0 by applying a new force F 10. Once they are in S 0 they remain in this state even when the force is removed.

The switch Logic gates are made by switches (presently transistors) and also memory cells can be represented in terms of switches. NAND gate

A physical model for the binary switch A simple switch can be represented by a physical dynamical model based on a bistable potential We need a potential barrier in order to allow for physical distinguishability of the two states

The switch A simple switch can be represented by a physical dynamical model based on a bistable potential Switch event

Questions - What is the minimum energy we have to spend if we want to produce a switch event? - Does this energy depends on the technology of the switch? - Does this energy depends on the instruction that we give to the switch? -. Some answers are still controversial

The Physics of switches In order to describe the physics of a switch we need to introduce a dynamical model capable of capturing the main features of a switch. The two states, in order to be dynamically stable, are separated by some energy barrier that should be surpassed in order to perform the switch event. This situation can be mathematically described by a second order differential equation like: m x = d dx U(x) mγ x + F 8

The Physics of switches According to this model if we want to produce a switch event we need to apply an external force F capable of bringing the particle from the left well (at rest at the bottom) into the right well (at rest at the bottom). Clearly this can be done in more than one way. As an example we start discussing what we call the first procedure: a three-step procedure based on the application of a large and constant force F=-F 0, with F 0 >0 We can ask what is the minimum work that the force F has to perform in order to make the device switch from 0 to 1 (or equivalently from 1 to 0). The work is computed as: x 2 L = F(x)dx Thus L = 2 F 0 x 1 9

The Physics of switches Is this the minimum work? Let s look at this other procedure (second procedure): The only work performed happened to be during step 3 where it is readily computed as L 1 = 2 F 1. Now, by the moment that F 1 << F 0 we have L 1 << L 0 10

The Physics of realistic switches This analysis, although correct, is quite naïve, indeed. The reason is that we have assumed that the work performed can be made arbitrarily small. IS THIS TRUE? ΔU = L - Q ΔU = 0 L = Q The second principle of thermodynamics requires that: Q TΔS Q = T ΔS + friction We might be able to make friction = 0 but what about entropy? 11

The Physics of realistic switches In order to be closer to a reasonable physical model we need to introduce a fluctuating force and thus a Langevin equation: m x = d U(x) mγ x +ξ(t)+ F dx The relevant quantity becomes the probability density P(x,t) and Represent the probability for our switch to assume 0 or 1 logic states This calls for a reconsideration of the equilibrium condition 12

The Physics of realistic switches 13

The Physics of realistic switches In this new physical framework we have to do with exchanges of both work and heat (constant temperature transformation approximation). Thus we have to take into account both the exchanges associate with work and the changes associated with entropy variation. Entropy here is defined according to Gibbs: Based on this new approach let s review the previous procedure: 14

The Physics of realistic switches Based on this new approach let s review the previous procedure: we observe a change in entropy: S 1 = S 5 = -K B ln 1 = 0 S 2 = -K B (½ ln ½ + ½ ln ½) = K B ln 2. 15

The Physics of realistic switches Based on these considerations we can now reformulate conditions required in order to perform the switch by spending zero energy: 1) The total work performed on the system by the external force has to be zero. 2) The switch event has to proceed with a speed arbitrarily small in order to have arbitrarily small losses due to friction. 3) The system entropy never decreases during the switch event. Is it possible? For a switch operation yes at least in principle 16

Operating ICT basic switches below the Landauer limit Magnetic nano dots Single cylindrical element of permalloy (NiFe) with dimensions 50 x 50 x 5 nm 3 Entropy changes Entropy stays constant More info available at www.landauer-project.eu Luca Gammaitoni RE.WORK Technology Berlin, 19-20 June, 2014 www.nipslab.org 17

The Physics of realistic switches: the reset But let s suppose we start from an equilibrium condition In this case if we want to use the switch we need to operate a reset operation Is there a minimal cost for this operation? 18

THE LANDAUER LIMIT The Landauer s principle (1) states that erasing one bit of information (like in a resetting operation) comes unavoidably with a decrease in physical entropy and thus is accompanied by a minimal dissipation of energy equal to Q = k B T ln 2 More technically this is the result of a change in entropy due to a change from a random state to a defined state. Please note: this is the minimum energy required. (1) R. Landauer, Dissipation and Heat Generation in the Computing Process IBM J. Research and Develop. 5, 183-191 (1961),

To know more - www.nipslab.org, www.ict-energy.eu - Review article: Towards zero-power ICT, L Gammaitoni, D Chiuchiú, M Madami, G Carlotti Nanotechnology 26 (22), 222001 (2015) - Book: ICT - Energy - Concepts Towards Zero - Power Information and Communication Technology, InTech, February 2, 2014. Luca Gammaitoni, NiPS Laboratory, University of Perugia (IT)