31
ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical University Web: http://www.ecc.itu.edu.tr/

ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Embed Size (px)

Citation preview

Page 1: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

ELE 523E COMPUTATIONAL NANOELECTRONICS

W2: Emerging Computing, 15/9/2014FALL 2014

Mustafa AltunElectronics & Communication Engineering

Istanbul Technical University

Web: http://www.ecc.itu.edu.tr/

Page 2: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Outline

Overview of Boolean algebra Overview of computational complexity Quantum computing DNA computing Computing with nano arrays Emerging transistors

Page 3: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Boolean Algebra

Elementary Algebra Boolean Algebra

Variables Numbers (1, 3.2, π) TRUE and FALSE

Operators Addition (+) Multiplication (×)

AND (˄) OR (˅) NOT (¬)

Example y = x1x2 + x1x3+x2x3 f = x1x2 ˅ x1x3 ˅ x2x3

Usage Fundamental Math Logic, Computer Science

Page 4: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Boolean Gates

How to implement gates, extensively any given Boolean function, with emerging

devices?

NAND andNOR areuniversal.

Page 5: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Computational Complexity

Focus on classifying computational problems according to their inherent difficulty. Time Circuit size Number of processors

Determine the practical limits regarding the restrictions on resources.

Based on algorithms Reaching optimal solutions.

Emerging devices aim to improve computational complexity of important problems.

Page 6: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Notations

Big O notation

C is a positive real number.

Example:

Page 7: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Time Complexity Examples

Example: Counting the class of n students (a) One by one (b) Every row has a constant A number of students.(c) n is upper bounded by a number B.

Example: Finding the intersection of two sets with n and m elements.

Example: Travelling salesman problem: Given a list of n cities and the distances between each pair of cities, what is the shortest possible route that visits each city exactly once and returns to the origin city?

Page 8: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Time Complexity Examples

Travelling Salesman Problem

Page 9: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Time Complexity Examples

Example: Factorizing semi-prime (RSA) numbers. For each RSA number n, there exist prime numbers p and q such that n = p × q.

What is P vs NP?

15 = 3 × 54633 = 41 × 113The prize for RSA-1024 is $100.000. RSA-2048 takes approximately 10 billion years with the best known algorithm.

Page 10: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Emerging Devices

Page 11: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Computing

Theoretically, quantum computers solve RSA-2048 problem in seconds compared to 10 billion years.

Shor’s algorithm. Cracking RSA keys - a breakthrough in cryptology. Quantum key distribution

Practically, where are we now?

Erik Lucero’s circuit to factorize 15

Page 12: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Computing

February 2012: IBM scientists achieved several breakthroughs in quantum computing with superconducting integrated circuits

September 2012: The first working "quantum bit" based on a single atom in silicon suitable for the building blocks of modern computers.

October 2012: Nobel Prizes were presented to David J. Wineland and Serge Haroche for their basic work on understanding the quantum world - work which may eventually help makequantum computing possible.

May 2013: Google launching the Quantum Artificial Intelligence Lab with 512-qubit quantum computer.

Page 13: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Bits vs. Qubits

Bits 0 or 1 at a time Deterministic Discrete and stable states State of a bit:

In state 0 or 1 with a probability of

Qubits 0 or 1 at the same time Probabilistic Superposition of states State of a qubit:

In state 0 with a probability of

In state 1 with a probability of

Page 14: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Bits vs. Qubits

Page 15: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Gates

Classical NOT gate

Quantum NOT gate

Page 16: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Gates

Quantum gates are reversible

Page 17: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Gates

Example: Find the corresponding matrix of a quantum gate X.

Example: Find the output of a Hadamard gate. Proove that it is reversible.

Page 18: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Quantum Gates

Can the following matrix be a Q-gate matrix?

What are the properties of Q-gate matrices? What are the other gate types for single qubits? How about the gates for multiple qubits. Is there a universal quantum gate?

Page 19: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Computing

Parallel computing For certain problems, DNA computers are faster and smaller

than any other computer built so far. A test tube of DNA can contain trillions of strands.

Computing with DNA strands Depending on absence and presence of DNA molecules. Strands have directions. How do strands stick together?

Page 20: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Computing for TSP

Adleman’s motivating experiment,1994

Modified travelling salesman problem (TSP): Given 7 towns, is there a route from town 0 to town 6 with visiting each town exactly once?

Page 21: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Computing for TSP

Step-1: Construct strands for each link (road) considering directions Step-2: Make the strands join where they have matching numbers. Step-3: Eliminate all the strands other than 0-to-6 ones. Step-4: Eliminate strands other than the ones having 6 strands. Step-5: Look for 1, 2, 3, 4, and 5 strands one-by-one.

Page 22: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Computing for TSP

Computational complexity?

Page 23: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Strand Displacement

Page 24: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

DNA Computing

Main advantages Parallel Dense, small area Can solve untractable problems

Disadvantages Slow Fragile Unreliable, randomness

Page 25: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Computing with Nano Arrays

Self-assembled nano arrays

Computing models for nano arrays Two-terminal switch-based

Diode-based Transistor-based

Four-terminal switch-based

Page 26: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Two-terminal Switch-based Model

Controllable crosspointNano array

Crosspoint

Diode connection between wires

No connection between wires

Closed Open

Page 27: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Two-terminal Switch-based Model

Implement the circuit below with diode-based nanoarrays.

Page 28: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Four-terminal Switch-based Model

Two-terminal switch

Closed Open

CMOS transistor

Control

Four-terminal SwitchNano array

Switch

Closed Open

Page 29: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Four-terminal Switch-based Model

x4

x5

x6

x2 x3

x1 x6x2

x1 x3x2

x4

x5

x6

x1

x2

x3

BOTTOM

TOP

(a) (b)

What are the Boolean functions implemented in (a) ad (b)?

Page 30: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Computing with Seperate Devices

Nanowire transistor Single electron transistor

Direct replacement of CMOS transistors Some advantages over CMOS Interconnection problems Lack of integration

Page 31: ELE 523E COMPUTATIONAL NANOELECTRONICS W2: Emerging Computing, 15/9/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering Istanbul Technical

Suggested Readings/Videos

Erik Lucero’ s quantum computing (2012): http://www.youtube.com/watch?v=Yl3o236gdp8

DNA computing: Computing with soup (2012), Article in The Economics, http://www.economist.com/node/21548488

Haselman, M., & Hauck, S. (2010). The future of integrated circuits: A survey of nanoelectronics. Proceedings of the IEEE, 98(1), 11-38.