![Page 1: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/1.jpg)
Prof. Hakim WeatherspoonCS 3410, Spring 2015
Computer ScienceCornell University
See: P&H Appendix B.2 and B.3 (Also, see B.1)
![Page 2: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/2.jpg)
From Switches to Logic Gates to Logic CircuitsUnderstanding the foundations of
Computer Systems Organization and Programming
![Page 3: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/3.jpg)
From Switches to Logic Gates to Logic CircuitsUnderstanding the foundations of
Computer Systems Organization and Programminge.g. Galaxy Note 3
![Page 4: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/4.jpg)
From Switches to Logic Gates to Logic CircuitsUnderstanding the foundations of
Computer Systems Organization and Programminge.g. Galaxy Note 3
with the big.LITTLE 8-core ARM processor
![Page 5: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/5.jpg)
From Switches to Logic Gates to Logic CircuitsUnderstanding the foundations of
Computer Systems Organization and Programminge.g. Galaxy Note 3
with the big.LITTLE 8-core ARM processorbig Quad Core LITTLE Quad Core
Architecture ARM v7a ARM v7aProcess Samsung 28nm Samsung 28nmFrequency 200MHz~1.8GHz+ 200MHz~1.2GHzArea 19mm2 3.8mm2Power-ratio 1 0.17L1 Cache Size 32 KB I/D Cache 32 KB I/D CacheL2 Cache Size 2 MB Data Cache 512 KB Data Cache
![Page 6: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/6.jpg)
From Switches to Logic Gates to Logic CircuitsLogic Gates
• From switches• Truth Tables
Logic Circuits• Identity Laws• From Truth Tables to Circuits (Sum of Products)
Logic Circuit Minimization• Algebraic Manipulations• Truth Tables (Karnaugh Maps)
Transistors (electronic switch)
![Page 7: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/7.jpg)
• Acts as a conductor or insulator
• Can be used to build amazing things…
The Bombe used to break the German Enigma machine during World War II
![Page 8: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/8.jpg)
A B LightOFF OFFA B LightOFF OFFOFF ON
A B LightOFF OFFOFF ONON OFFON ON
A B Light
+
-A
B
A B LightOFF OFFOFF ONON OFF
Truth Table
![Page 9: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/9.jpg)
A B LightOFF OFFA B LightOFF OFFOFF ON
A B LightOFF OFFOFF ONON OFF
A B LightOFF OFFOFF ONON OFFON ON
A B LightOFF OFFA B LightOFF OFFOFF ON
A B LightOFF OFFOFF ONON OFFON ON
A B Light
A B Light
+
-
-
A
B
A
B
A B LightOFF OFF OFFOFF ON ONON OFF ON
ON
Truth Table
+
![Page 10: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/10.jpg)
Either (OR)
Both (AND)
+
-
-
A B LightOFF OFF OFFOFF ON ONON OFF ONON ON ON
A
B
A
B
A B LightOFF OFF OFFOFF ON OFFON OFF OFFON ON ON
Truth Table
+
![Page 11: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/11.jpg)
Either (OR)
Both (AND)
-
-
A
B
A
B
A B LightOFF OFF OFFOFF ON ONON OFF ONON ON ON
A B LightOFF OFF OFFOFF ON OFFON OFF OFFON ON ON
Truth Table
OR
AND
![Page 12: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/12.jpg)
Either (OR)
Both (AND)
-
-
A
B
A
B
A B Light0 0 00 1 11 0 11 1 1
A B Light0 0 00 1 01 0 01 1 1
Truth Table
0 = OFF1 = ONOR
AND
![Page 13: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/13.jpg)
Did you know?George Boole Inventor of the idea of logic gates. He was born in Lincoln, England and he was the son of a shoemaker in a low class family.
A
B
A
B
George Boole,(1815-1864)
OR
AND
![Page 14: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/14.jpg)
Binary (two symbols: true and false) is the basis of Logic Design
![Page 15: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/15.jpg)
NOT:
AND:
OR:
Logic Gates• digital circuit that either allows a signal to pass through it or not.• Used to build logic functions• There are seven basic logic gates:
AND, OR, NOT
A B Out
0 0 0
0 1 1
1 0 1
1 1 1
A B Out
0 0 0
0 1 0
1 0 0
1 1 1
A Out
A
B
A
B
A
![Page 16: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/16.jpg)
NOT:
AND:
OR:
Logic Gates• digital circuit that either allows a signal to pass through it or not.• Used to build logic functions• There are seven basic logic gates:
AND, OR, NOT, NAND (not AND), NOR (not OR), XOR, and XNOR (not XOR) [later]
A B Out
0 0 0
0 1 1
1 0 1
1 1 1
A B Out
0 0 0
0 1 0
1 0 0
1 1 1
A Out
0 1
1 0
A
B
A
B
A
![Page 17: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/17.jpg)
NOT:
AND:
OR:
Logic Gates• digital circuit that either allows a signal to pass through it or not.• Used to build logic functions• There are seven basic logic gates:
AND, OR, NOT, NAND (not AND), NOR (not OR), XOR, and XNOR (not XOR) [later]
A B Out
0 0 0
0 1 1
1 0 1
1 1 1
A B Out
0 0 0
0 1 0
1 0 0
1 1 1
A Out
0 1
1 0
A
B
A
B
A
A B Out
0 0 1
0 1 0
1 0 0
1 1 0
A B Out
0 0 1
0 1 1
1 0 1
1 1 0
A
B
A
B
NAND:
NOR:
![Page 18: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/18.jpg)
Fill in the truth table, given the following Logic Circuit made from Logic AND, OR, and NOT gates.What does the logic circuit do?
a b Out
a
bOut
![Page 19: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/19.jpg)
XOR: out = 1 if a or b is 1, but not both; out = 0 otherwise.
out = 1, only if a = 1 AND b = 0 OR a = 0 AND b = 1
a b Out
0 0 0
0 1 1
1 0 1
1 1 0a
bOut
![Page 20: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/20.jpg)
XOR: out = 1 if a or b is 1, but not both; out = 0 otherwise.
out = 1, only if a = 1 AND b = 0 OR a = 0 AND b = 1
a b Out
0 0 0
0 1 1
1 0 1
1 1 0a
bOut
![Page 21: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/21.jpg)
Fill in the truth table, given the following Logic Circuit made from Logic AND, OR, and NOT gates.What does the logic circuit do?
a
b
d Out
a b d Out
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
![Page 22: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/22.jpg)
Multiplexor: select (d) between two inputs (a and b) and set one as the output (out)?
out = a, if d = 0out = b, if d = 1
a b d Out
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
a
b
d Out
![Page 23: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/23.jpg)
From Switches to Logic Gates to Logic CircuitsLogic Gates
• From switches• Truth Tables
Logic Circuits• Identity Laws• From Truth Tables to Circuits (Sum of Products)
Logic Circuit Minimization• Algebraic Manipulations• Truth Tables (Karnaugh Maps)
Transistors (electronic switch)
![Page 24: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/24.jpg)
Given a Logic function, create a Logic Circuit that implements the Logic Function……and, with the minimum number of logic gates
Fewer gates: A cheaper ($$$) circuit!
![Page 25: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/25.jpg)
NOT:
AND:
OR:
XOR:
.
A B Out
0 0 0
0 1 1
1 0 1
1 1 1
A B Out
0 0 0
0 1 0
1 0 0
1 1 1
A Out
0 1
1 0
A
B
A
B
A
A B Out
0 0 0
0 1 1
1 0 1
1 1 0
A
B
![Page 26: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/26.jpg)
NOT:
AND:
OR:
XOR:
.
A B Out
0 0 0
0 1 1
1 0 1
1 1 1
A B Out
0 0 0
0 1 0
1 0 0
1 1 1
A Out
0 1
1 0
A
B
A
B
A
A B Out
0 0 0
0 1 1
1 0 1
1 1 0
A
B
A B Out
0 0 1
0 1 0
1 0 0
1 1 0
A B Out
0 0 1
0 1 1
1 0 1
1 1 0
A
B
A
B
NAND:
NOR:
A B Out
0 0 1
0 1 0
1 0 0
1 1 1
A
B
XNOR:
![Page 27: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/27.jpg)
NOT:• out = ā = !a = ¬a
AND:• out = a ∙ b = a & b = a ∧ b
OR:• out = a + b = a | b = a ∨ b
XOR: • out = a ⊕ b = a�b + āb
Logic Equations• Constants: true = 1, false = 0• Variables: a, b, out, …• Operators (above): AND, OR, NOT, etc.
![Page 28: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/28.jpg)
NOT:• out = ā = !a = ¬a
AND:• out = a ∙ b = a & b = a ∧ b
OR:• out = a + b = a | b = a ∨ b
XOR: • out = a ⊕ b = a�b + āb
Logic Equations• Constants: true = 1, false = 0• Variables: a, b, out, …• Operators (above): AND, OR, NOT, etc.
NAND:• out = a ∙ b = !(a & b) = ¬ (a ∧ b)
NOR:• out = a + b = !(a | b) = ¬ (a ∨ b)
XNOR: • out = a ⊕ b = ab + ab
• .
![Page 29: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/29.jpg)
Identities useful for manipulating logic equations– For optimization & ease of implementation
a + 0 = a + 1 = a + ā =
a ∙ 0 = a ∙ 1 = a ∙ ā =
![Page 30: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/30.jpg)
Identities useful for manipulating logic equations– For optimization & ease of implementation
a + 0 = a + 1 = a + ā =
a ∙ 0 = a ∙ 1 = a ∙ ā =
a11
0a0
a
b
a
b
![Page 31: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/31.jpg)
Identities useful for manipulating logic equations– For optimization & ease of implementation
(a + b) =
(a � b) =
a + a b =
a(b+c) =
a(b + c) =
![Page 32: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/32.jpg)
Identities useful for manipulating logic equations– For optimization & ease of implementation
(a + b) =
(a � b) =
a + a b =
a(b+c) =
a(b + c) =
�a ∙ �b
�a + �b
a
ab + ac
�a + �b∙�c
A
B
A
B↔
A
B
A
B↔
![Page 33: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/33.jpg)
a + 0 = a + 1 = a + ā = a 0 = a 1 = a ā =
(a + b) = (a b) = a + a b = a(b+c) = a(b + c) =
a110a0
�a �b�a + �baab + ac�a + �b∙�c
Show that the Logic equationsbelow are equivalent.
(a+b)(a+c) = a + bc
(a+b)(a+c) =
![Page 34: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/34.jpg)
a + 0 = a + 1 = a + ā = a 0 = a 1 = a ā =
(a + b) = (a b) = a + a b = a(b+c) = a(b + c) =
a110a0
�a �b�a + �baab + ac�a + bc
Show that the Logic equationsbelow are equivalent.
(a+b)(a+c) = a + bc
(a+b)(a+c) = aa + ab + ac + bc= a + a(b+c) + bc= a(1 + (b+c)) + bc= a + bc
![Page 35: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/35.jpg)
• functions: gates ↔ truth tables ↔ equations• Example: (a+b)(a+c) = a + bc
a b c
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
![Page 36: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/36.jpg)
a b c
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
a+b a+c LHS
0 0 0
0 1 0
1 0 0
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
bc RHS
0 0
0 0
0 0
1 1
0 1
0 1
0 1
1 1
• functions: gates ↔ truth tables ↔ equations• Example: (a+b)(a+c) = a + bc
![Page 37: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/37.jpg)
Binary (two symbols: true and false) is the basis of Logic Design
More than one Logic Circuit can implement same Logic function. Use Algebra (Identities) or Truth Tables to show equivalence.
![Page 38: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/38.jpg)
![Page 39: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/39.jpg)
From Switches to Logic Gates to Logic CircuitsLogic Gates
• From switches• Truth Tables
Logic Circuits• Identity Laws• From Truth Tables to Circuits (Sum of Products)
Logic Circuit Minimization• Algebraic Manipulations• Truth Tables (Karnaugh Maps)
Transistors (electronic switch)
![Page 40: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/40.jpg)
How to standardize minimizing logic circuits?
![Page 41: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/41.jpg)
How to implement a desired logic function?
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 01 0 1 11 1 0 01 1 1 0
![Page 42: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/42.jpg)
How to implement a desired logic function?
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 01 0 1 11 1 0 01 1 1 0
1) Write minterms2) sum of products:• OR of all minterms where out=1
minterma b ca b ca b ca b ca b ca b ca b ca b c
![Page 43: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/43.jpg)
How to implement a desired logic function?
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 01 0 1 11 1 0 01 1 1 0
1) Write minterms2) sum of products:• OR of all minterms where out=1
• E.g. out = abc + �abc + a�bc
corollary: any combinational circuit can be implemented in two levels of logic (ignoring inverters)
minterma b ca b ca b ca b ca b ca b ca b ca b c
cout
ba
![Page 44: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/44.jpg)
How does one find the most efficient equation?– Manipulate algebraically until…?– Use Karnaugh maps (optimize visually)– Use a software optimizer
For large circuits– Decomposition & reuse of building blocks
![Page 45: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/45.jpg)
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 11 0 1 11 1 0 01 1 1 0
Sum of minterms yields out = abc + �abc + abc + a�bc
![Page 46: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/46.jpg)
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 11 0 1 11 1 0 01 1 1 0
Sum of minterms yields out = abc + �abc + abc + a�bc
Karnaugh maps identify which inputs are (ir)relevant to the output
0 0 0 11 1 0 1
00 01 11 10
0
1
cab
![Page 47: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/47.jpg)
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 11 0 1 11 1 0 01 1 1 0
Sum of minterms yields out = abc + �abc + abc + a�bc
Karnaugh maps identify which inputs are (ir)relevant to the output
0 0 0 11 1 0 1
00 01 11 10
0
1
cab
![Page 48: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/48.jpg)
a b c out0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 11 0 1 11 1 0 01 1 1 0
Sum of minterms yields out = abc + �abc + abc + a�bc
Karnaugh map minimization Cover all 1’s Group adjacent blocks of 2n
1’s that yield a rectangular shape
Encode the common features of the rectangle out = a�b + �ac
0 0 0 11 1 0 1
00 01 11 10
0
1
cab
![Page 49: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/49.jpg)
Minterms can overlap out = b�c + a�c + ab
Minterms can span 2, 4, 8 or more cells out = �c + ab
0 1 1 10 0 1 0
00 01 11 10
0
1
cab
1 1 1 10 0 1 0
00 01 11 10
0
1
cab
![Page 50: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/50.jpg)
Minterms can overlap out = b�c + a�c + ab
Minterms can span 2, 4, 8 or more cells out = �c + ab
0 1 1 10 0 1 0
00 01 11 10
0
1
cab
1 1 1 10 0 1 0
00 01 11 10
0
1
cab
![Page 51: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/51.jpg)
The map wraps around• out = �bd
• out = �b �d1 0 0 10 0 0 00 0 0 01 0 0 1
00 01 11 10
00
01
ab
cd
11
10
0 0 0 01 0 0 11 0 0 10 0 0 0
00 01 11 10
00
01
ab
cd
11
10
![Page 52: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/52.jpg)
The map wraps around• out = �bd
• out = �b �d1 0 0 10 0 0 00 0 0 01 0 0 1
00 01 11 10
00
01
ab
cd
11
10
0 0 0 01 0 0 11 0 0 10 0 0 0
00 01 11 10
00
01
ab
cd
11
10
![Page 53: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/53.jpg)
“Don’t care” values can be interpreted individually in whatever way is convenient
• assume all x’s = 1• out = d
• assume middle x’s = 0• assume 4th column x = 1• out = �b �d
1 0 0 x0 x x 00 x x 01 0 0 1
00 01 11 10
00
01
ab
cd
11
10
0 0 0 01 x x x1 x x 10 0 0 0
00 01 11 10
00
01
ab
cd
11
10
![Page 54: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/54.jpg)
“Don’t care” values can be interpreted individually in whatever way is convenient
• assume all x’s = 1• out = d
• assume middle x’s = 0• assume 4th column x = 1• out = �b �d
1 0 0 x0 x x 00 x x 01 0 0 1
00 01 11 10
00
01
ab
cd
11
10
0 0 0 01 x x x1 x x 10 0 0 0
00 01 11 10
00
01
ab
cd
11
10
![Page 55: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/55.jpg)
A multiplexer selects between multiple inputs
• out = a, if d = 0• out = b, if d = 1
Build truth tableMinimize diagramDerive logic diagram
a
b
d
a b d out0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1
![Page 56: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/56.jpg)
a b d out0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 11 0 1 01 1 0 11 1 1 1
• Build a truth tableout = �abd + abd + ab�d + abd
a
b
d
![Page 57: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/57.jpg)
a b d out0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 11 0 1 01 1 0 11 1 1 1
• Build the Karnaugh mapa
b
d
00 01 11 10
0
1
dab
![Page 58: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/58.jpg)
a b d out0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 11 0 1 01 1 0 11 1 1 1
• Build the Karnaugh mapa
b
d
0 0 1 10 1 1 0
00 01 11 10
0
1
dab
![Page 59: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/59.jpg)
• Derive Minimal Logic Equation
• out = a�d + bd
d out
b
a
00 01 11 10
0
1
dab
0 0 1 10 1 1 0
a b d out0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 11 0 1 01 1 0 11 1 1 1
a
b
d
![Page 60: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/60.jpg)
Binary (two symbols: true and false) is the basis of Logic Design
More than one Logic Circuit can implement same Logic function. Use Algebra (Identities) or Truth Tables to show equivalence.
Any logic function can be implemented as “sum of products”. Karnaugh Maps minimize number of gates.
![Page 61: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/61.jpg)
Dates to keep in Mind• Prelims: Tue Mar 3rd and Thur April 30th
• Lab 1: Due Fri Feb 13th before Winter break• Proj2: Due Thur Mar 26th before Spring break• Final Project: Due when final would be (not known until Feb
14th)
![Page 62: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/62.jpg)
Lab Sections (required)• Labs sections are required.
– Separate than lecture and homework• Bring laptop to Labs• “Make up” lab sections only 8:40am Wed, Thur, or Fri• This week: intro to logisim and building an adder
T 2:55 – 4:10pm Carpenter Hall 104 (Blue Room)W 8:40—9:55am Carpenter Hall 104 (Blue Room)W 11:40am – 12:55pm Carpenter Hall 104 (BlueRoom)W 1:25 – 2:40pm Carpenter Hall 104 (BlueRoom)W 3:35 – 4:50pm Carpenter Hall 104 (Blue Room)W 7:30—8:45pm Phillips 318R 8:40 – 9:55pm Carpenter Hall 104 (Blue Room)R 11:40 – 12:55pm Carpenter Hall 104 (Blue Room)R 2:55 – 4:10pm Carpenter Hall 104 (Blue Room)F 8:40 – 9:55am Carpenter Hall 104 (Blue Room)F 11:40am – 12:55pm Carpenter Hall 104 (Blue Room)F 1:25 – 2:40pm Carpenter Hall 104 (Blue Room)F 2:55 – 4:10pm Carpenter Hall 104 (Blue Room)
![Page 63: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/63.jpg)
Attempt to balance the iClicker graph
Register iClicker• http://atcsupport.cit.cornell.edu/pollsrvc/• iClicker GO
http://pollinghelp.cit.cornell.edu/iclicker-go/#students
![Page 64: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/64.jpg)
From Transistors to Gates to Logic CircuitsLogic Gates
• From transistors• Truth Tables
Logic Circuits• Identity Laws• From Truth Tables to Circuits (Sum of Products)
Logic Circuit Minimization• Algebraic Manipulations• Truth Tables (Karnaugh Maps)
Transistors (electronic switch)
![Page 65: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/65.jpg)
Transistors:• 6:10 minutes (watch from from 41s to 7:00)• http://www.youtube.com/watch?v=QO5FgM7MLGg
• Fill our Transistor Worksheet with info from Video
![Page 66: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/66.jpg)
• NMOS Transistor
• Connect source to drain when gate = 1
• N-channel
VD
VS = 0 V
VG VG = VS VG = 0 V
PMOS Transistor
Connect source to drain when gate = 0P-channel
VS= 0 V
VD
VG VG = VS VG = 0 V
![Page 67: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/67.jpg)
• NMOS Transistor
• Connect source to drain when gate = 1
• N-channel
VD
VS = 0 V
VG VG = 1 VG = 0
PMOS Transistor
Connect source to drain when gate = 0P-channel
VG VG = 1 VG = 0
VS= 0 V
VD
![Page 68: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/68.jpg)
In Out0 11 0
• Function: NOT• Called an inverter• Symbol:
• Useful for taking the inverse of an input
• CMOS: complementary-symmetry metal–oxide–semiconductor
in out
Truth table
in out
Vsupply (aka logic 1)
0 1
(ground is logic 0)
![Page 69: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/69.jpg)
In Out0 11 0
• Function: NOT• Called an inverter• Symbol:
• Useful for taking the inverse of an input
• CMOS: complementary-symmetry metal–oxide–semiconductor
in out
Truth table
in out
Vsupply
1 0
Vsupply (aka logic 1)
(ground is logic 0)
![Page 70: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/70.jpg)
A Out0 11 0
• Function: NOT• Called an inverter• Symbol:
• Useful for taking the inverse of an input
• CMOS: complementary-symmetry metal–oxide–semiconductor
in out
Truth table
A = 0 Out = 1 A = 1 Out = 0in out
VsupplyVsupply (aka logic 1)
(ground is logic 0)
![Page 71: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/71.jpg)
A B out0 0 11 0 10 1 11 1 0
• Function: NAND• Symbol:
ba out
A
out
Vsupply
B
BA
Vsupply
1
1
1 1
0
![Page 72: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/72.jpg)
A B out0 0 11 0 00 1 01 1 0
• Function: NOR• Symbol:
ba out
A
out
Vsupply
B
BA
0
0
0 0
1
![Page 73: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/73.jpg)
NOT:
AND:
OR:
NAND and NOR are universal• Can implement any function with NAND or just NOR gates• useful for manufacturing
![Page 74: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/74.jpg)
NOT:
AND:
OR:
NAND and NOR are universal• Can implement any function with NAND or just NOR gates• useful for manufacturing
b
a
b
a
a
![Page 75: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/75.jpg)
One can buy gates separately• ex. 74xxx series of
integrated circuits• cost ~$1 per chip, mostly
for packaging and testing
Cumbersome, but possible to build devices using gates put together manually
![Page 76: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/76.jpg)
The first transistor• on a workbench at
AT&T Bell Labs in 1947• Bardeen, Brattain, and Shockley
• An Intel Haswell– 1.4 billion transistors– 177 square millimeters– Four processing cores
http://techguru3d.com/4th-gen-intel-haswell-processors-architecture-and-lineup/
![Page 77: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/77.jpg)
Hide complexity through simple abstractions• Simplicity
– Box diagram represents inputs and outputs
• Complexity– Hides underlying NMOS- and PMOS-transistors and atomic
interactions
in out
Vdd
Vss
in out outad
b
a
b
d out
![Page 78: Prof. Hakim Weatherspoon CS 3410, Spring 2015 · 2015-01-27 · • We will build a processor in this course! • Transistors made from semiconductor materials: – MOSFET – Metal](https://reader034.vdocuments.mx/reader034/viewer/2022050601/5fa83058751a19180c1090ee/html5/thumbnails/78.jpg)
Most modern devices are made from billions of on /off switches called transistors
• We will build a processor in this course!• Transistors made from semiconductor materials:
– MOSFET – Metal Oxide Semiconductor Field Effect Transistor– NMOS, PMOS – Negative MOS and Positive MOS– CMOS – complementary MOS made from PMOS and NMOS transistors
• Transistors used to make logic gates and logic circuitsWe can now implement any logic circuit
• Can do it efficiently, using Karnaugh maps to find the minimal terms required
• Can use either NAND or NOR gates to implement the logic circuit
• Can use P- and N-transistors to implement NAND or NOR gates