Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and...

43
Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield

Transcript of Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and...

Page 1: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

Chapter 10.3: Logic Gates

Based on Slides from

Discrete Mathematical Structures:

Theory and Applications

and by Aaron Bloomfield

Page 2: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

2

Learning Objectives

Explore the application of Boolean algebra in the design of electronic circuits. The basic elements of circuits are gates. Each type of gate implements a Boolean operation.

We will study combinational circuits - the circuits whose output depends only on the input and not on the current state of the circuit (no memory).

Page 3: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

3

Logical Gates and Combinatorial Circuits

Page 4: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

4

Logical Gates and Combinatorial Circuits

Page 5: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

5

Logical Gates and Combinatorial Circuits

Page 6: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

6

Logical Gates and Combinatorial Circuits

In circuitry theory, NOT, AND, and OR gates are the basic gates. Any circuit can be designed using these gates. The circuits designed depend only on the inputs, not on the output. In other words, these circuits have no memory. Also these circuits are called combinatorial circuits.

The symbols NOT gate, AND gate, and OR gate are also considered as basic circuit symbols, which are used to build general circuits.

Page 7: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

7

Logical Gates and Combinatorial Circuits

Page 8: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

8

Page 9: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

9

Page 10: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

10

Page 11: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

11

Page 12: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

12

Page 13: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

13

Page 14: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

14

Page 15: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

15

Page 16: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

16

Draw a circuit diagram for = (xy' + x'y)z.

Page 17: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

17

Page 18: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

18

Page 19: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

19

Page 20: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

20

A circuit for two light switches

EXAMPLE 3, p. 714

F(x,y)=1 when the light is on

F(x,y)=0 when the light is off

When both switches are closed, the light is on:F(1,1)=1, this implies

When we open one switch, the light is off:F(1,0)=F(0,1)=0

When the other switch is also open, the light is on:F(0,0)=1

Page 21: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

21

Thus, we get:

x y F(x,y)

1 1 1

1 0 0

0 1 0

0 0 1

Which Boolean expression is given by F?

Draw a circuit for F,i.e., a circuit to control two light switches.

F(x,y) = xy + x'y'

Page 22: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

22

Page 23: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

23

Page 24: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

24

Page 25: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

25

Page 26: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

26

Page 27: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

27

Page 28: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

28

Page 29: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

29

Page 30: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

30

Page 31: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

31

Logical Gates and Combinatorial Circuits

A NOT gate can be implemented using a NAND gate (a).

An AND gate can be implemented using NAND gates (b).

An OR gate can be implemented using NAND gates (c).

Page 32: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

32

Logical Gates and Combinatorial Circuits

Any circuit which is designed by using NOT, AND, and OR gates can also be designed using only NAND gates.

Any circuit which is designed by using NOT, AND, and OR gates can also be designed using only NOR gates.

Page 33: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

33

Adders: Logical gates to add two numbers

We need to use a circuit with more than one output, which clearly more powerful than a Boolean expression.

Page 34: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

34

How to add binary numbers

Consider adding two 1-bit binary numbers x and y

0+0 = 0

0+1 = 1

1+0 = 1

1+1 = 10

Carry is x AND y

Sum is x XOR y

The circuit to compute this is called a half-adder

x y Carry Sum

0 0 0 0

0 1 0 1

1 0 0 1

1 1 1 0

Page 35: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

35

x y s c

1 1 0 1

1 0 1 0

0 1 1 0

0 0 0 0

= s (sum)

c (carry)

Page 36: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

36

x 1 1 1 1 0 0 0 0

y 1 1 0 0 1 1 0 0

c 1 0 1 0 1 0 1 0

s (sum) 1 0 0 1 0 1 1 0

c (carry) 1 1 1 0 1 0 0 0

HAX

Y

S

C

HAX

Y

S

C

xy

c

c

s

HAX

Y

S

C

HAX

Y

S

C

xy

c

A full adder is a circuit that accepts as input thee bits x, y, and c, and produces as output the binary sum cs of a, b, and c.

Page 37: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

37

The full adder

The full circuitry of the full adder

xy

s

c

c

Page 38: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

38

We can use a half-adder and full adders to compute the sum of two Boolean numbers

1 1 0 0

+ 1 1 1 0010?

001

Adding bigger binary numbers

Page 39: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

39

Adding bigger binary numbers

Just chain one half adder and full adders together, e.g., to add x=x3x2x1x0 and y=y3y2y1y0 we need:

HAX

Y

S

C

FAC

Y

X

S

C

FAC

Y

X

S

C

FAC

Y

X

S

C

x1y1

x2y2

x3y3

x0y0

s0

s1

s2

s3c

Page 40: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

40

Adding bigger binary numbers

A half adder has 4 logic gates

A full adder has two half adders plus a OR gate Total of 9 logic gates

To add n bit binary numbers, you need 1 HA and n-1 FAs

To add 32 bit binary numbers, you need 1 HA and 31 FAs Total of 4+9*31 = 283 logic gates

To add 64 bit binary numbers, you need 1 HA and 63 FAs Total of 4+9*63 = 571 logic gates

Page 41: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

41

More about logic gates

To implement a logic gate in hardware, you use a transistor

Transistors are all enclosed in an “IC”, or integrated circuit

The current Intel Pentium IV processors have 55 million transistors!

Page 42: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

42

Flip-flops

Consider the following circuit:

What does it do?

R

S

Q

Q’

R S Function

1 0 Reset

0 1 Set

1 1 Hold

0 0 1/1

It holds a single bit of memory.

Page 43: Chapter 10.3: Logic Gates Based on Slides from Discrete Mathematical Structures: Theory and Applications and by Aaron Bloomfield.

43

Memory

A flip-flop holds a single bit of memory

The bit “flip-flops” between the two NAND gates

In reality, flip-flops are a bit more complicated

Have 5 (or so) logic gates (transistors) per flip-flop

Consider a 1 Gb memory chip

1 Gb = 8,589,934,592 bits of memory

That’s about 43 million transistors!

In reality, those transistors are split into 9 ICs of about 5 million transistors each