Presentation is loading. Please wait.

Presentation is loading. Please wait.

Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, www.idc.ac.il/tecs, Chapter 1: Boolean Logic slide 1www.idc.ac.il/tecs Chapter 1: Boolean.

Similar presentations


Presentation on theme: "Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, www.idc.ac.il/tecs, Chapter 1: Boolean Logic slide 1www.idc.ac.il/tecs Chapter 1: Boolean."— Presentation transcript:

1 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 1www.idc.ac.il/tecs Chapter 1: Boolean Logic Elements of Computing Systems, Nisan & Schocken, MIT Press, Usage and Copyright Notice: Copyright 2005 © Noam Nisan and Shimon Schocken This presentation contains lecture materials that accompany the textbook The Elements of Computing Systems by Noam Nisan & Shimon Schocken, MIT Press, The book web site, features 13 such presentations, one for each book chapter. Each presentation is designed to support about 3 hours of classroom or self-study instruction. You are welcome to use or edit this presentation for instructional and non-commercial purposes. If you use our materials, we will appreciate it if you will include in them a reference to the books web site. And, if you have any comments, you can reach us at

2 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 2www.idc.ac.il/tecs Boolean algebra Some elementary Boolean operators: Not(x) And(x,y) Or(x,y) Nand(x,y) x y z Boolean functions: Functional expression VS truth table expression Important result: Every Boolean function can be expressed using And, Or, Not. x y Nand(x,x) x y Nand(x,x) x y And(x,y) x y And(x,y) x y Or(x,y) x y Or(x,y) x Not(x) x Not(x)

3 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 3www.idc.ac.il/tecs All Boolean functions of 2 variables

4 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 4www.idc.ac.il/tecs Boolean algebra Given: Nand(a,b), false Not(a) = Nand(a,a) true = Not(false) And(a,b) = Not(Nand(a,b)) Or(a,b) = Not(And(Not(a),Not(b))) Xor(a,b) = Or(And(a,Not(b)),And(Not(a),b))) Etc. George Boole, (A Calculus of Logic)

5 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 5www.idc.ac.il/tecs Gate logic Gate logic – a gate architecture designed to implement a Boolean function Elementary gates: Composite gates: Interface VS implementation.

6 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 6www.idc.ac.il/tecs Gate Logic Xor(a,b) = Or(And(a,Not(b)),And(Not(a),b))) Implementation Interface Claude Shannon, (Symbolic Analysis of Relay and Switching Circuits )

7 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 7www.idc.ac.il/tecs Circuit implementations From a computer science perspective, physical realizations of logic gates are irrelevant.

8 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 8www.idc.ac.il/tecs Project 1: elementary logic gates Given: Nand(a,b), false Build: Not(a) =... true =... And(a,b) =... Or(a,b) =... Mux(a,b,sel) =... Etc gates altogether. a b Nand(a,b) a b Nand(a,b)

9 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 9www.idc.ac.il/tecs Multiplexer Implementation: based on Not, And, Or gates. a bsel out sel out 0 a 1 b

10 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 10www.idc.ac.il/tecs a b out a b out And.cmp load And.hdl, output-file And.out, compare-to And.cmp, output-list a b out; set a 0,set b 0,eval,output; set a 0,set b 1,eval,output; set a 1,set b 0,eval,output; set a 1, set b 1, eval, output; load And.hdl, output-file And.out, compare-to And.cmp, output-list a b out; set a 0,set b 0,eval,output; set a 0,set b 1,eval,output; set a 1,set b 0,eval,output; set a 1, set b 1, eval, output; And.tstAnd.hdl CHIP And { IN a, b; OUT out; // implementation missing } CHIP And { IN a, b; OUT out; // implementation missing } Example: Building an And gate Contract: When running your.hdl on our.tst, your.out should be the same as our.cmp.

11 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 11www.idc.ac.il/tecs Building an And gate CHIP And { IN a, b; OUT out; // implementation missing } CHIP And { IN a, b; OUT out; // implementation missing } And.hdl Interface: And(a,b) = 1 exactly when a=b=1

12 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 12www.idc.ac.il/tecs Implementation: And(a,b) = Not(Nand(a,b)) Building an And gate CHIP And { IN a, b; OUT out; // implementation missing } CHIP And { IN a, b; OUT out; // implementation missing } And.hdl

13 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 13www.idc.ac.il/tecs Implementation: And(a,b) = Not(Nand(a,b)) CHIP And { IN a, b; OUT out; // implementation missing } CHIP And { IN a, b; OUT out; // implementation missing } And.hdl Building an And gate

14 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 14www.idc.ac.il/tecs CHIP And { IN a, b; OUT out; Nand(a = a, b = b, out = x); Not(in = x, out = out) } CHIP And { IN a, b; OUT out; Nand(a = a, b = b, out = x); Not(in = x, out = out) } Implementation: And(a,b) = Not(Nand(a,b)) Building an And gate And.hdl

15 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 15www.idc.ac.il/tecs Hardware simulator test script gate diagram HDL program

16 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 16www.idc.ac.il/tecs Hardware simulator HDL program

17 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 17www.idc.ac.il/tecs HDL program Hardware simulator output file

18 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 18www.idc.ac.il/tecs Project 1 tips Read Chapter 1 of the book Explore the books web site (www.idc.ac.il/tecs) Download the books software suite Go through the hardware simulator Youre in business.

19 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 19www.idc.ac.il/tecs End note: Programmable Logic Device for 3-way functions

20 Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, Chapter 1: Boolean Logic slide 20www.idc.ac.il/tecs Perspective Each Boolean function has a canonical representation The canonical representation is expressed in terms of And, Not, Or And, Not, Or can be expressed in terms of Nand alone Ergo, every Boolean function can be realized by a standard PLD consisting of Nand gates only Mass production Universal building blocks, unique topology Gates, neurons, atoms, …


Download ppt "Elements of Computing Systems, Nisan & Schocken, MIT Press, 2005, www.idc.ac.il/tecs, Chapter 1: Boolean Logic slide 1www.idc.ac.il/tecs Chapter 1: Boolean."

Similar presentations


Ads by Google