Top Banner
Instructor: Alexander Stoytchev http://www.ece.iastate.edu/~alexs/classes/ CprE 281: Digital Logic
78

CprE 281: Digital Logic

Dec 08, 2022

Download

Documents

Khang Minh
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: CprE 281: Digital Logic

Instructor: Alexander Stoytchev

http://www.ece.iastate.edu/~alexs/classes/

CprE 281: Digital Logic

Page 2: CprE 281: Digital Logic

Examples of Solved Problems

CprE 281: Digital LogicIowa State University, Ames, IACopyright © Alexander Stoytchev

Page 3: CprE 281: Digital Logic

Administrative Stuff

• HW5 is out

• It is due on Monday Oct 1 @ 4pm.

• Please write clearly on the first page (in block capital letters) the following three things:

§ Your First and Last Name§ Your Student ID Number§ Your Lab Section Letter

• Also, staple all of your pages together

Page 4: CprE 281: Digital Logic

Administrative Stuff• No homework is due next week.

Page 5: CprE 281: Digital Logic

Administrative Stuff• Midterm Exam #1

• When: Friday Sep 21.

• Where: This classroom

• What: Chapter 1 and Chapter 2 plus number systems

• The exam will be open book and open notes (you can bring up to 3 pages of handwritten notes).

Page 6: CprE 281: Digital Logic

Topics for the Midterm Exam• Binary Numbers• Octal Numbers• Hexadecimal Numbers• Conversion between the different number systems• Truth Tables• Boolean Algebra• Logic Gates• Circuit Synthesis with AND, OR, NOT• Circuit Synthesis with NAND, NOR• Converting an AND/OR/NOT circuit to NAND circuit • Converting an AND/OR/NOT circuit to NOR circuit • SOP and POS expressions

Page 7: CprE 281: Digital Logic

Topics for the Midterm Exam• Mapping a Circuit to Verilog code• Mapping Verilog code to a circuit

• Multiplexers• Venn Diagrams• K-maps for 2, 3, and 4 variables

• Minimization of Boolean expressions using theorems• Minimization of Boolean expressions with K-maps

• Incompletely specified functions (with don’t cares)• Functions with multiple outputs

Page 8: CprE 281: Digital Logic

Example 1

Determine if the following equation is valid

Page 9: CprE 281: Digital Logic

?

Page 10: CprE 281: Digital Logic

?

LHS RHS

Page 11: CprE 281: Digital Logic

Left-Hand Side (LHS)

Page 12: CprE 281: Digital Logic

Left-Hand Side (LHS)

Page 13: CprE 281: Digital Logic

Left-Hand Side (LHS)

Page 14: CprE 281: Digital Logic

Right-Hand Side (RHS)

Page 15: CprE 281: Digital Logic

Right-Hand Side (RHS)

Page 16: CprE 281: Digital Logic

Right-Hand Side (RHS)

Page 17: CprE 281: Digital Logic

?

LHS RHS

They are equal.

Page 18: CprE 281: Digital Logic

Example 2

Design the minimum-cost product-of-sums expression for the function

f(x1, x2, x3) = Σ m(0, 2, 4, 5, 6, 7)

Page 19: CprE 281: Digital Logic

Minterms and Maxterms(with three variables)

[ Figure 2.22 from the textbook ]

Page 20: CprE 281: Digital Logic

Minterms and Maxterms(with three variables)

The function is 1 for these rows

Page 21: CprE 281: Digital Logic

Minterms and Maxterms(with three variables)

The function is 1 for these rows

The function is 0 for these rows

Page 22: CprE 281: Digital Logic

Two different ways to specify the same function f of three variables

f(x1, x2, x3) = Σ m(0, 2, 4, 5, 6, 7)

f(x1, x2, x3) = Π M(1, 3)

Page 23: CprE 281: Digital Logic

The POS Expression

f(x1, x2, x3) = Π M(1, 3)

= M1� M3

= ( x1 + x2 + x3)�( x1 + x2 + x3)

Page 24: CprE 281: Digital Logic

The Minimum POS Expression

f(x1, x2, x3) = ( x1 + x2 + x3)�( x1 + x2 + x3)

= ( x1 + x3 + x2)�( x1 + x3 + x2)

= ( x1 + x3 )

Hint: Use the following Boolean Algebra theorem

Page 25: CprE 281: Digital Logic

Alternative Solution Using K-Maps

x 1

x 2

x 3 00 01 11 10

0

1

(b) Karnaugh map

x 2

x 3

0 0

0 1

1 0

1 1

m 0

m 1

m 3

m 2

0

0

0

0

0 0

0 1

1 0

1 1

1

1

1

1

m 4

m 5

m 7

m 6

x 1

(a) Truth table

m 0

m 1 m 3

m 2 m 6

m 7

m 4

m 5

Page 26: CprE 281: Digital Logic

Alternative Solution Using K-Maps

x 1

x 2

x 3 00 01 11 10

0

1

(b) Karnaugh map

x 2

x 3

0 0

0 1

1 0

1 1

m 0

m 1

m 3

m 2

0

0

0

0

0 0

0 1

1 0

1 1

1

1

1

1

m 4

m 5

m 7

m 6

x 1

(a) Truth table

m 0

m 1 m 3

m 2 m 6

m 7

m 4

m 5

Page 27: CprE 281: Digital Logic

Alternative Solution Using K-Maps

x 1

x 2

x 3 00 01 11 10

0

1

(b) Karnaugh map

x 2

x 3

0 0

0 1

1 0

1 1

m 0

m 1

m 3

m 2

0

0

0

0

0 0

0 1

1 0

1 1

1

1

1

1

m 4

m 5

m 7

m 6

x 1

(a) Truth table

m 0

m 1 m 3

m 2 m 6

m 7

m 4

m 5

Page 28: CprE 281: Digital Logic

Alternative Solution Using K-Maps

Page 29: CprE 281: Digital Logic

Alternative Solution Using K-Maps

1

0 0

1 1 1

1 1

Page 30: CprE 281: Digital Logic

Alternative Solution Using K-Maps

1

0 0

1 1 1

1 1

( x1 + x3 )

Page 31: CprE 281: Digital Logic

Example 3

Page 32: CprE 281: Digital Logic

Condition A

Page 33: CprE 281: Digital Logic

Condition A

Page 34: CprE 281: Digital Logic

Condition B

Page 35: CprE 281: Digital Logic

Condition B

Page 36: CprE 281: Digital Logic

Condition C

Page 37: CprE 281: Digital Logic

Condition C

Page 38: CprE 281: Digital Logic

The output of the circuit can be expressed as f = AB + AC + BC

Page 39: CprE 281: Digital Logic

The output of the circuit can be expressed as f = AB + AC + BC

Page 40: CprE 281: Digital Logic

The output of the circuit can be expressed as f = AB + AC + BC

Page 41: CprE 281: Digital Logic

Finally, we get

Page 42: CprE 281: Digital Logic

Example 4

Solve the previous problem using Venn diagrams.

Page 43: CprE 281: Digital Logic

Venn Diagrams(find the areas that are shaded at least two times)

(a) Function A: (b) Function B

(c) Function C (d) Function f

x1 x2

x3

x1 x2

x3

[ Figure 2.66 from the textbook ]

x1

x3

x2x2 x1 x2

x3

Page 44: CprE 281: Digital Logic

Example 5

Design the minimum-cost SOP and POS expression for the function

f(x1, x2, x3, x4) = Σ m(4, 6, 8, 10, 11, 12, 15) + D(3, 5, 7, 9)

Page 45: CprE 281: Digital Logic

Let’s Use a K-Map

f(x1, x2, x3, x4) = Σ m(4, 6, 8, 10, 11, 12, 15) + D(3, 5, 7, 9)

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

Page 46: CprE 281: Digital Logic

Let’s Use a K-Map

f(x1, x2, x3, x4) = Σ m(4, 6, 8, 10, 11, 12, 15) + D(3, 5, 7, 9)

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

0

0

1

d

d

0

d

1

1

0

1

d

1

0

1

1

Page 47: CprE 281: Digital Logic

The SOP Expression

[ Figure 2.67a from the textbook ]

Page 48: CprE 281: Digital Logic

What about the POS Expression?

f(x1, x2, x3, x4) = Σ m(4, 6, 8, 10, 11, 12, 15) + D(3, 5, 7, 9)

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

0

0

1

d

d

0

d

1

1

0

1

d

1

0

1

1

Page 49: CprE 281: Digital Logic

The POS Expression

[ Figure 2.67b from the textbook ]

Page 50: CprE 281: Digital Logic

Example 6

Use K-maps to find the minimum-cost SOP and POS expression for the function

Page 51: CprE 281: Digital Logic

Let’s map the expression to the K-Map

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

Page 52: CprE 281: Digital Logic

Let’s map the expression to the K-Map

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

d

d

d

Page 53: CprE 281: Digital Logic

Let’s map the expression to the K-Map

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

d

d

d

Page 54: CprE 281: Digital Logic

The SOP Expression

[ Figure 2.68a from the textbook ]

Page 55: CprE 281: Digital Logic

What about the POS Expression?

x 1

x 2

x 3

x 4 00 01 11 10

00

01

11

10

x 2

x 4

x 1

x 3

m 0

m 1 m 5

m 4 m 12

m 13

m 8

m 9

m 3

m 2 m 6

m 7 m 15

m 14

m 11

m 10

1

1

1

0

1

0

1

0

d

1

0

d

1

d

1

0

Page 56: CprE 281: Digital Logic

The POS Expression

[ Figure 2.68b from the textbook ]

Page 57: CprE 281: Digital Logic

Example 7

Derive the minimum-cost SOP expression for

Page 58: CprE 281: Digital Logic

First, expand the expression using property 12a

Page 59: CprE 281: Digital Logic

Construct the K-Map for this expression

x 1

x 2

x 3 00 01 11 10

0

1

(b) Karnaugh map

x 2

x 3

0 0

0 1

1 0

1 1

m 0

m 1

m 3

m 2

0

0

0

0

0 0

0 1

1 0

1 1

1

1

1

1

m 4

m 5

m 7

m 6

x 1

(a) Truth table

m 0

m 1 m 3

m 2 m 6

m 7

m 4

m 5

s1 s2 s3 s1 s2s3

Page 60: CprE 281: Digital Logic

Construct the K-Map for this expression

[ Figure 2.69 from the textbook ]

Page 61: CprE 281: Digital Logic

Construct the K-Map for this expression

[ Figure 2.69 from the textbook ]

Simplified Expression: f = s3 + s1 s2

Page 62: CprE 281: Digital Logic

Example 8

Write the Verilog code for the following circuit …

Page 63: CprE 281: Digital Logic

Logic Circuit

[ Figure 2.70 from the textbook ]

Page 64: CprE 281: Digital Logic

Circuit for 2-1 Multiplexer

f

x 1

x 2s

f

s

x 1 x 2

0

1

(c) Graphical symbol(b) Circuit

[ Figure 2.33b-c from the textbook ]

f (s, x1, x2) = s x1 s x2+

Page 65: CprE 281: Digital Logic

Logic Circuit vs Verilog Code

[ Figure 2.71 from the textbook ][ Figure 2.70 from the textbook ]

Page 66: CprE 281: Digital Logic

Example 9

Write the Verilog code for the following circuit …

Page 67: CprE 281: Digital Logic

The Logic Circuit for this Example

[ Figure 2.72 from the textbook ]

Page 68: CprE 281: Digital Logic

Circuit for 2-1 Multiplexer

f

x 1

x 2s

f

s

x 1 x 2

0

1

(c) Graphical symbol(b) Circuit

[ Figure 2.33b-c from the textbook ]

f (s, x1, x2) = s x1 s x2+

Page 69: CprE 281: Digital Logic

Addition of Binary Numbers

Page 70: CprE 281: Digital Logic

Logic Circuit vs Verilog Code

[ Figure 2.73 from the textbook ]

Page 71: CprE 281: Digital Logic

Some material form Appendix B

Page 72: CprE 281: Digital Logic

Programmable Logic Array (PLA)

f 1

AND plane OR plane

Input buffers

inverters and

P 1

P k

f m

x 1 x 2 x n

x 1 x 1 x n x n

[ Figure B.25 from textbook ]

Page 73: CprE 281: Digital Logic

Gate-Level Diagram of a PLA

f1

P1

P2

f 2

x 1 x 2 x 3

OR plane

Programmable

AND plane

connections

P3

P4

[ Figure B.26 from textbook ]

Page 74: CprE 281: Digital Logic

Customary Schematic for PLA

f 1

P 1

P 2

f 2

x 1 x 2 x 3

OR plane

AND plane

P 3

P 4

[ Figure B.27 from textbook ]

Page 75: CprE 281: Digital Logic

Programmable Array Logic (PAL)

f 1

P 1

P 2

f 2

x 1 x 2 x 3

AND plane

P 3

P 4

[ Figure B.28 from textbook ]

Page 76: CprE 281: Digital Logic

Programmable Array Logic (PAL)

f 1

P 1

P 2

f 2

x 1 x 2 x 3

AND plane

P 3

P 4

[ Figure B.28 from textbook ]

Only the AND plane is programmable.The OR plane is fixed.

Page 77: CprE 281: Digital Logic

Questions?

Page 78: CprE 281: Digital Logic

THE END