es 244: digital logic design chapter 2 chapter 2: combinational systems adapted from alan...

ES 244: Digital Logic Design Chapter 2

Chapter 2: Combinational Systems

Adapted from Alan Marcovitz’sIntroduction to Logic and Computer Design

Uchechukwu Ofoegbu

Temple University


RiddleRiddle

Four switches can be turned on or off. One is the switch for the incandescent overhead light in the next room, which is initially off, but you don't know which. The other three switches do nothing. From the room with the switches in it, you can't see whether the light in the next room is turned on or off. You may flip the switches as often and as many times as you like, but once you enter the next room to check on the light, you must be able to say which switch controls the light without flipping the switches any further. (And you can't open the door without entering, either!) How can you determine which switch controls the light?


• Begins with a verbal description of the intended system, known as the PROBLEM STATEMENT

• A block diagram of the system should be developed

• The desired objectives and constraints

Design Process for Combinational SystemsDesign Process for Combinational Systems


1. A system with four inputs, A, B, C, and D, and one output, Z, such that Z = 1 iff three of the inputs are 1.

2. A single light (that can be on or off) that can be controlled by any one of three switches. One switch is the master on/off switch. If it is off, the lights are off. When the master switch is on, a change in the position of one of the other switches (from up to down or from down to up) will cause the light to change state.

3. A system to do 1 bit of binary addition. It has three inputs (the 2 bits to be added plus the carry from the next lower order bit) and produces two outputs, a sum bit and a carry to the next higher order position.

IllustrationsIllustrations


4. A system that has as its input the code for a decimal digit, and produces as its output the signals to drive a seven-segment display, such as those on most digital watches and numeric displays.

5. A system with nine inputs, representing two 4-bit binary numbers and a carry input, and one 5-bit output, representing the sum. (Each input number can range from 0 to 15; the output can range from 0 to 31.)

IllustrationsIllustrations


1. Represent each of the inputs and output in binary.• This is sometimes taken care of in the problem statement

(ex 1, 3, 5)

2. Formalize the design specification either in the form of a truth table or of an algebraic expression.

• There are 2n input combinations for n inputs in a truth table.

• Truth tables are written in binary order to avoid omissions.

• If necessary, break the problem into smaller sub-problems before or after creating the truth tables.

Design StepsDesign Steps


3. Simplify the description.• Most times expressions have to be converted to algebraic forms• Several techniques exist for reducing complexity of algebraic

forms

4. Implement the system with the available components, subject to the design objectives and constraints.• Gates are the most common components• A gate is a network with one output• The less number of gates required, the more desirable the

system is, since each signal passing through a gate introduces a delay in the system.

• More complex systems can be used in addition to gates (ex. Adders, decoders, e.t.c.).

Design StepsDesign Steps


• Don’t cares occur when • The output is not specified for all input combinations,

so for the remaining input combinations, it doesn’t matter

• There are input combinations that don’t occur in the system

• Flip-flops – one systems drives another• When we just don’t care

• Don’t cares are represented by X in a truth table.

• The output of the combination could either be a 1 or a 0.

Don’t Care ConditionsDon’t Care Conditions


Developing Truth TablesDeveloping Truth Tables

1. A system with four inputs, A, B, C, and D, and one output, Z, such that Z = 1 iff three of the inputs are 1.


2. A single light (that can be on or off) that can be controlled by any one of three switches. One switch is the master on/off switch. If it is off, the lights are off. When the master switch is on, a change in the position of one of the other switches (from up to down or from down to up) will cause the light to

change state.


4. A system that has as its input the code for a decimal digit, and produces as its output the signals to drive a seven-segment display


Developing Truth Tables ExampleDeveloping Truth Tables Example

• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.

bin x y bout d

0 0 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.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 ? ?

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 ? ?

1 0 0

1 0 1

1 1 0

1 1 1

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 0 0

1 0 0 ? ?

1 0 1

1 1 0

1 1 1

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 0 0

1 0 0 1 1

1 0 1 ? ?

1 1 0

1 1 1

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 0 0

1 0 0 1 1

1 0 1 1 0

1 1 0 ? ?

1 1 1

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 0 0

1 0 0 1 1

1 0 1 1 0

1 1 0 0 0

1 1 1 ? ?

a.a. 0 00 0

b.b. 0 10 1

c.c. 1 01 0

d.d. 1 11 1




bin x y bout d

0 0 0 0 0

0 0 1 1 1

0 1 0 0 1

0 1 1 0 0

1 0 0 1 1

1 0 1 1 0

1 1 0 0 0

1 1 1 1 1


3. Simplify the description.• Most times expressions have to be converted to algebraic forms• Several techniques exist for reducing complexity of algebraic

forms

4. Implement the system with the available components, subject to the design objectives and constraints.• Gates are the most common components• A gate is a network with one output• The less number of gates required, the more desirable the

system is, since each signal passing through a gate introduces a delay in the system.

• More complex systems can be used in addition to gates (ex. Adders, decoders, e.t.c.).

Switching AlgebraSwitching Algebra


• Literal:• The appearance of a variable or its complement.

• Product Term:• one or more literals connected by AND operators.

• Standard product term:• Also called minterm • product term that includes each variable of the

problem, either uncomplemented or complemented.

• Sum of products expression (often abbreviated SOP)• one or more product terms connected by OR

operators.• A canonical sum or sum of standard product terms:

• a sum of products expression where all of the terms are standard product terms.

DefinitionsDefinitions


• A Minimum Sum of Products expression:

• one of those SOP expressions for a function that has the fewest number of product terms.

• If there is more than one expression with the fewest number of terms, then minimum is defined as one or more of those expressions with the fewest number of literals.

(1) xyz + xyz + xyz + xyz + xyz 5 terms, 15 literals

(2) xy + xy + xyz 3 terms, 7 literals

(3) xy + xy + xz 3 terms, 6 literals

(4) xy + xy + yz 3 terms, 6 literals



xyz + xyz + xyz + xyz + xyz 5 terms, 15 literals

= (x’yz’+x’yz)+(xyz + xyz) + xyz associative p2

= x’y(z+z’) + xy’(z+z’) + xyz distributive p8

= x’y.1 +xy’.1 +xyz complement p5

= x’y + xy’ + xyz identity p3

SimplificationSimplification

Down to three terms and seven literalsDown to three terms and seven literals


xyz + xyz + xyz + xyz + xyz + xy’z 5 terms, 15 literals

= (x’yz’+x’yz)+(xyz + xyz) + (xyz + xy’z) associative p2

= x’y + xy + xz adjacency p9


Down to three terms and six literalsDown to three terms and six literals

Reduce the number of literals by adding a second copy of xy’z (or x’yz), based on P6a – indempotency.


Sum Term: one or more literals connected by OR operators.Standard sum term:

• also called a maxterm• a sum term that includes each variable of the problem,

either uncomplemented or complemented.Product of sums expression (POS):

• one or more sum terms connected by AND operators.Canonical product or product of standard sum terms:

• a product of sums expression where all of the terms are standard sum terms.

SOP: xy + xy + xyzPOS: (x + y)(x + y)(x + z)both: x + y + z or xyzneither: x(w + yz) or z + wxy + v(xz + w)



g = (w’ + x’ + y) (w + x’+ y + z’)

= x’ + y + w’(w + z’) distributive (P8b)

= x’ + y + w’z’ simplification (p10b)

= (x’ + y + w’) (x’ + y + z’) distributive (P8b)

Simplification of Functions in Maxterm FormSimplification of Functions in Maxterm Form


Minimum sum of product implementation of f.

Circuit with only uncomplemented inputs.

Implementation of Logic GatesImplementation of Logic Gates

f = x’y + xy’ + xz



a.a. d = n’+c(h+s) (n+c’(h+s))d = n’+c(h+s) (n+c’(h+s))

b.b. d = (n’c) + (hs) + n(hs) + cd = (n’c) + (hs) + n(hs) + c

c.c. d = n’c(h+s) + n(c’+(hs))d = n’c(h+s) + n(c’+(hs))

d.d. D = n’c(ns) + n(hs)c =D = n’c(ns) + n(hs)c =


Proof of DeMorgan’s theorem.

De Morgan’s TheoremDe Morgan’s Theorem

P11a. (a+b)’ = a’b’P11b. (ab)’ = a’+b’

Please note: (a’+b’) != a’+b’ (ab)’ != a’b’

De Morgan’s Theorem is generally used toDe Morgan’s Theorem is generally used to find the complement of an expressionfind the complement of an expression


De Morgan’s Theorem - ExampleDe Morgan’s Theorem - Example

Find the complement of f = wx’y +xy’ +wxzNote that f is in SOP so f’ will be in POS

• We could apply DeMorgan’s Theorem repeatdely– f’ = (wx’y +xy’ +wxz)’– f’ = (wx’y)’(xy’)’(wxz)’– f’ = (w’x+y’)(x’+y)(w’+x’+z’)

• Or we could follow these set of rules– Complement each variable– Replace every AND by Or and every OR by AND – but make

sure you keep the order of operation


De Morgan’s Theorem - ExampleDe Morgan’s Theorem - Example

Find the complement of f = ab +b’c + c’d

a. f’ = (a’ + b’+ b + c’ + c + d’)

b. f’ = (a’ + b’+ b + c’ + c + d’)’

c. f’ = a’b’+bc’+cd’

d. f’ = (a’ + b’)( b + c’) (c + d’)

e. f’ = (a’ + b’)’( b + c’)’(c + d’)’


• 1• 2e,f• 3f• 5• 8• 12a• 13c• 14• 18

In groupsIn groups


f = ab + ab + ab

From the truth table to Algebraic ExpressionsFrom the truth table to Algebraic Expressions


From the truth table to Algebraic ExpressionsFrom the truth table to Algebraic Expressions


ExampleExample

ABC f f’

000 0 1

001 1 0

010 1 0

011 1 0

100 0 1

101 0 1

110 1 0

111 1 0

f(A,B,C) = f(A,B,C) = ΣΣm(1,2,3,6,7) = ?m(1,2,3,6,7) = ?

f’(A,B,C) = ?f’(A,B,C) = ?

a.a. A’B’C’ + AB’C’ + AB’CA’B’C’ + AB’C’ + AB’C

b.b. B + C + D + G + HB + C + D + G + H

c.c. A’B’C + A’BC’ + A’BC + A’B’C + A’BC’ + A’BC + ABC’+ABCABC’+ABC

d.d. ABC’ + AB’C + AB’C’+ ABC’ + AB’C + AB’C’+ A’B’C + A’bA’B’C + A’b

e.e. ABC + A’BC+A’BC’ABC + A’BC+A’BC’

a.a. ΣΣm(1,2,3,6,7)’m(1,2,3,6,7)’

b.b. ΣΣm(0,4,5)m(0,4,5)

c.c. ΣΣm(A’B’C’ + AB’C’ + m(A’B’C’ + AB’C’ + AB’C)AB’C)


Don’t CaresDon’t Cares

Input f

000 0

001 X

010 1

011 1

100 0

101 X

110 1

111 1

f(A,B,C) = f(A,B,C) = ΣΣm(2,3,6,7)+ m(2,3,6,7)+ ΣΣd(1,5)d(1,5)


• 20• 22• 23• 27

In groupsIn groups

es 244: digital logic design chapter 2 chapter 2: combinational systems adapted from alan...

Documents