Top Banner
Guest Lecture by Kyle Tietz http://www.ece.iastate.edu/~alexs/classes/ CprE 281: Digital Logic
25
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: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Guest Lecture by Kyle Tietz

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

CprE 281: Digital Logic

Page 2: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Minimization

CprE 281: Digital LogicIowa State University, Ames, IACopyright © 2013

Page 3: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Administrative Stuff

• HW4 is out

• It is due on Monday Sep 23 @ 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

Page 4: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Administrative Stuff

•Exam 1 on Monday Sep 30. Details to follow.

•Homework Office Hours Pratik Mishra TLA M 5:30-7:30pm F 2:00-4:00pm

Page 5: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Recap

Page 6: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Four-variable 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 7: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Grouping

• Group with rectangles

• Both sides a power of 2: 1x1, 1x2, 2x1, 2x2, 1x4, 4x1, 2x4, 4x2, 4x4

• Can use same minterm more than once

• Can wrap around edges of map

Page 8: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Recap Example

Page 9: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Terminology

• Literal

A variable, complemented or uncomplemented

Ex. X1

Ex. X2

_

Page 10: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Terminology

• Implicant Product term that indicates the input combinations for

which the function output is 1

Ex. x1 - indicates that x1x2 and x1x2 yield output of 1

Ex. x1x2

x 2

0

1

0 1

1 0

01

x 1

_ _ _ __ _

Page 11: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Terminology

• Prime Implicant Implicant that cannot be combined into another implicant

with fewer literals

Ex.

x1x2x3

0 1

1 1

1 1

1 0

00 01 11 10

0

1

x1x2x3

0 1

1 1

1 1

1 0

00 01 11 10

0

1

Not prime Prime

Page 12: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Terminology

• Essential Prime Implicant Prime implicant that includes a minterm not covered by

any other prime implicant

Ex.

x1x2x3

0 1

1 1

1 1

0 0

00 01 11 10

0

1

Page 13: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Terminology

• Cover Collection of implicants that account for all possible

input valuations where output is 1

Ex. x1’x2x3 + x1x2x3’ + x1x2’x3’

Ex. x1’x2x3 + x1x3’

x1x2x3

0 0

0 1

1 1

0 0

00 01 11 10

0

1

Page 14: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Example

• Number of Implicants? Prime Implicants? Essential Prime Implicants?

x1x2x3

1 1

1 1

0 0

1 0

00 01 11 10

0

1

Page 15: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Why concerned with minimization?

• Simplified function

• Reduce cost of circuit Cost: Gates + Inputs Transistors

Page 16: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

CprE 281

0 1

0 1

1 1

0 1

1 1

1 0

1 1

1 1

Example: Minimization in SOP Form

00 01 11 10

00

01

11

10

ZYXW

g= Z’YX’W’ +ZY’X’W’ +Z’YX’W +ZYX’W +ZY’X’W + Z’Y’XW +ZYXW +ZY’XW + Z’Y’XW’ +Z’YXW’ +ZYXW’ +ZY’XW’

Page 17: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

CprE 281

0 1

0 1

1 1

0 1

1 1

1 0

1 1

1 1

00 01 11 10

00

01

11

10

ZYXW

g=(Z+Y+X+W). (Z’+Y’+X+W) (Z+Y+X+W’). (Z+Y’+X’+W’)

Example: Minimization in POS Form

Page 18: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

CprE 281

Minimization of both SOP and POS Forms

0 1

0 1

1 1

0 1

1 1

1 0

1 1

1 1

00 01 11 10

00

01

11

10

ZYXW

1

2

34

5 1

2

3

4

5

g=ZY’ +XW’ +ZW +Y’X +Z’YX’

0 1

0 1

1 1

0 1

1 1

1 0

1 1

1 1

00 01 11 10

00

01

11

10

ZYXW

1

2

3

g=(Z+Y+X) .(Z+Y’+X’+W’) .(Z’+Y’+X+W)

1

2

3

Cost = 22(5 AND gates, 1 OR gates 16 inputs)

Cost = 18(3 OR gates, 1 AND gates 14 inputs)

Assumption: Complemented formsof primary inputs aregiven at zero cost.

Page 19: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Strategy

1. Generate all prime implicants

2. Find the set of essential prime implicants

3. If set of essential prime implicants covers function, Done!

4. Else, decide which non-essential prime implicants to add to complete minimum-cost cover

Page 20: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Examples

Page 21: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

x 1 x 2 x 3 x 4 00 01 11 10

1 1

1 1

1 1

00

01

11

10

x 1 x 2 x 3 x 4 00 01 11 10

1

1 1

1 1

1 1

00

01

11

10

f 1 x 1 x 3 x 1 x 3 x 4 x 1 x 2 x 3 x 5 + + =

x 5 1 = x 5 0 =

Five-variable K-map

Page 22: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

CprE 281

K-map for 5-variables functionsF(A,B,C,D,E) = m(2,5,7,8,10,13,15,17,19,21,23,24,29,31)F(A,B,C,D,E) = CE + AB’E + BC’D’E’ + A’C’DE’

Page 23: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

CprE 281 Lec 15 23

K-map for 6-variable functions

G(A,B,C,D,E,F)= m(2,8,10,18,24,26,34, 37,42,45,50,53,58,61)

G(A,B,C,D,E,F)= D’EF’ + ADE’F + A’CD’F’

Page 24: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

Questions?

Page 25: Guest Lecture by Kyle Tietz alexs/classes/ CprE 281: Digital Logic.

THE END