COMBINATIONAL LOGIC DESIGN Chapter 2

Digital Design and Computer Architecture, 2nd Edition

David Money Harris and Sarah L. Harris

Chapter 2 <1>
COMBINATIONAL LOGIC DESIGN Chapter 2 :: Topics
• Introduction
• Boolean Equations
• Boolean Algebra
• From Logic to Gates
• Multilevel Combinational Logic
• X’s and Z’s, Oh My
• Karnaugh Maps
• Combinational Building Blocks
• Timing

Chapter 2 <2>
COMBINATIONAL LOGIC DESIGN Introduction
A logic circuit is composed of:
• Inputs
• Outputs
• Functional specification
• Timing specification

functional spec
inputs outputs
timing spec

Chapter 2 <3>
COMBINATIONAL LOGIC DESIGN Circuits
• Nodes
– Inputs: A, B, C
– Outputs: Y, Z A E1
n1

– Internal: n1 B E3 Y

• Circuit elements C E2 Z

– E1, E2, E3
– Each a circuit

Chapter 2 <4>
COMBINATIONAL LOGIC DESIGN Types of Logic Circuits
• Combinational Logic
– Memoryless
– Outputs determined by current values of inputs
• Sequential Logic
– Has memory
– Outputs determined by previous and current values
of inputs
functional spec
inputs outputs
timing spec

Chapter 2 <5>
COMBINATIONAL LOGIC DESIGN Rules of Combinational Composition
• Every element is combinational
• Every node is either an input or connects
to exactly one output
• The circuit contains no cyclic paths
• Example:

Chapter 2 <6>
COMBINATIONAL LOGIC DESIGN Some Definitions
• Complement: variable with a bar over it
A, B, C
• Literal: variable or its complement
A, A, B, B, C, C
• Implicant: product of literals
ABC, AC, BC
• Minterm: product that includes all input variables
ABC, ABC, ABC
• Maxterm: sum that includes all input variables
(A+B+C), (A+B+C), (A+B+C)
Chapter 2 <7>
COMBINATIONAL LOGIC DESIGN Sum-of-Products (SOP) Form
Sum-of-Products Form
• All equations can be written in SOP form
• Each row has a minterm
• A minterm is a product (AND) of literals
• Each minterm is TRUE for that row (and only that row)
• Form function by ORing minterms where the output is TRUE
• Thus, a sum (OR) of products (AND terms)
minterm
A B Y minterm name
0 0 0 A B m0
0 1 1 A B m1
1 0 0 A B m2
1 1 1 A B m3

Y = F(A, B) = AB + AB = Σ(1, 3)
Chapter 2 <8>
COMBINATIONAL LOGIC DESIGN Product-of-Sums (POS) Form
• All Boolean equations can be written in POS form
• Each row has a maxterm
• A maxterm is a sum (OR) of literals
• Each maxterm is FALSE for that row (and only that row)
• Form function by ANDing the maxterms for which the
output is FALSE
• Thus, a product (AND) of sums (OR terms)
maxterm
A B Y maxterm name
0 0 0 A + B M0
0 1 1 A + B M1
1 0 0 A + B M2
1 1 1 A + B M3
Y = F(A, B) = (A + B)(A + B) = Π(0, 2)
Chapter 2 <9>
COMBINATIONAL LOGIC DESIGN Boolean Equations Example
• You are going to the cafeteria for lunch
– You won’t eat lunch (E)
– If it’s not open (O) or
– If they only serve corndogs (C)
• Write a truth table for determining if you
will eat lunch (E).
O C E
0 0
0 1
1 0
1 1
Chapter 2 <10>
COMBINATIONAL LOGIC DESIGN Boolean Equations Example
• You are going to the cafeteria for lunch
– You won’t eat lunch (E)
– If it’s not open (O) or
– If they only serve corndogs (C)
• Write a truth table for determining if you
will eat lunch (E).
O C E
0 0 0
0 1 0
1 0 1
1 1 0
Chapter 2 <11>
COMBINATIONAL LOGIC DESIGN
SOP & POS Form
• SOP – sum-of-products
O C E minterm
0 0 O C
0 1 O C
1 0 O C
1 1 O C

• POS – product-of-sums

O C E maxterm
0 0 O + C
0 1 O + C
1 0 O + C
1 1 O + C
Chapter 2 <12>
COMBINATIONAL LOGIC DESIGN SOP & POS Form
• SOP – sum-of-products
O C E minterm
0 0 0 O C
0 1 0 O C E = OC
1 0 1 O C = Σ(2)
1 1 0 O C

• POS – product-of-sums
O C E maxterm
0 0 0 O + C E = (O + C)(O + C)(O + C)
0 1 0 O + C
1 0 1 O + C = Π(0, 1, 3)
1 1 0 O + C

Chapter 2 <13>
COMBINATIONAL LOGIC DESIGN Boolean Algebra
• Axioms and theorems to simplify Boolean
equations
• Like regular algebra, but simpler: variables
have only two values (1 or 0)
• Duality in axioms and theorems:
– ANDs and ORs, 0’s and 1’s interchanged

Chapter 2 <14>
COMBINATIONAL LOGIC DESIGN Boolean Axioms

Chapter 2 <15>
COMBINATIONAL LOGIC DESIGN T1: Identity Theorem
• B 1=B
• B+0=B
B
1 = B

B
0 = B

Chapter 2 <16>
COMBINATIONAL LOGIC DESIGN T2: Null Element Theorem
• B 0=0
• B+1=1
B
0 = 0

B
1 = 1

Chapter 2 <17>
COMBINATIONAL LOGIC DESIGN T3: Idempotency Theorem
• B B=B
• B+B=B

B
B = B

B
B = B

Chapter 2 <18>
COMBINATIONAL LOGIC DESIGN T4: Identity Theorem
• B=B

B = B

Chapter 2 <19>
COMBINATIONAL LOGIC DESIGN T5: Complement Theorem
• B B=0
• B+B=1

B
B = 0

B
B = 1

Chapter 2 <20>
COMBINATIONAL LOGIC DESIGN Boolean Theorems of Several Vars

( )

Note: T8’ differs from traditional algebra: OR (+) distributes over AND (•)

Chapter 2 <21>
COMBINATIONAL LOGIC DESIGN Simplifying Boolean Equations
Example 1:
Y = AB + AB
= B(A + A) T8
= B(1) T5’
= B T1

Chapter 2 <22>
COMBINATIONAL LOGIC DESIGN Simplifying Boolean Equations
Example 2:
Y = A(AB + ABC)
= A(AB(1 + C)) T8
= A(AB(1)) T2’
= A(AB) T1
= (AA)B T7
= AB T3

Chapter 2 <23>
COMBINATIONAL LOGIC DESIGN DeMorgan’s Theorem
• Y = AB = A + B A
B
Y

A
Y
B

• Y=A+B=A B A
B
Y

A
Y
B

Chapter 2 <24>
COMBINATIONAL LOGIC DESIGN Bubble Pushing
• Backward:
– Body changes
– Adds bubbles to inputs

A A
Y Y
B B

• Forward:
– Body changes
– Adds bubble to output

A A
Y Y
B B

Chapter 2 <25>
COMBINATIONAL LOGIC DESIGN Bubble Pushing
• What is the Boolean expression for this
circuit?

A
B
Y
C
D

Chapter 2 <26>
COMBINATIONAL LOGIC DESIGN Bubble Pushing
• What is the Boolean expression for this
circuit?

A
B
Y
C
D

Y = AB + CD

Chapter 2 <27>
COMBINATIONAL LOGIC DESIGN Bubble Pushing Rules
• Begin at output, then work toward inputs
• Push bubbles on final output back
• Draw gates in a form so bubbles cancel

A
B

C Y
D

Chapter 2 <28>
COMBINATIONAL LOGIC DESIGN Bubble Pushing Example
A
B

C Y
D

Chapter 2 <29>
COMBINATIONAL LOGIC DESIGN Bubble Pushing Example
no output
A bubble
B

C Y
D

Chapter 2 <30>
COMBINATIONAL LOGIC DESIGN Bubble Pushing Example
no output
A bubble
B

C Y
D

bubble on
A input and output
B

C Y
D

Chapter 2 <31>
COMBINATIONAL LOGIC DESIGN Bubble Pushing Example
no output
A bubble
B

C Y
D

bubble on
A input and output
B

C Y
D
no bubble on
input and output
A
B

C Y
D
Y = ABC + D

Chapter 2 <32>
COMBINATIONAL LOGIC DESIGN From Logic to Gates
• Two-level logic: ANDs followed by ORs
• Example: Y = ABC + ABC + ABC
A B C

A B C
minterm: ABC

minterm: ABC

minterm: ABC

Chapter 2 <33>
COMBINATIONAL LOGIC DESIGN Circuit Schematics Rules
• Inputs on the left (or top)
• Outputs on right (or bottom)
• Gates flow from left to right
• Straight wires are best

Chapter 2 <34>
COMBINATIONAL LOGIC DESIGN Circuit Schematic Rules (cont.)
• Wires always connect at a T junction
• A dot where wires cross indicates a
connection between the wires
• Wires crossing without a dot make no
connection
wires crossing
wires connect wires connect without a dot do
at a T junction at a dot not connect

Chapter 2 <35>
COMBINATIONAL LOGIC DESIGN Multiple-Output Circuits
• Example: Priority Circuit
A3 A2 A1 A0 Y3 Y2 Y1 Y0
Output asserted 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1
corresponding to 0 0 1 0 0 0 1 0
most significant 0
0
0
1
1
0
1
0
0
0
0
1
1
0
0
0
TRUE input 0 1 0 1 0 1 0 0
0 1 1 0 0 1 0 0
0 1 1 1 0 1 0 0
A3 Y3 1 0 0 0 1 0 0 0
1 0 0 1 1 0 0 0
A2 Y2 1 0 1 0 1 0 0 0
1 0 1 1 1 0 0 0
A1 Y1 1 1 0 0 1 0 0 0
1 1 0 1 1 0 0 0
A0 Y0 1 1 1 0 1 0 0 0
PRIORITY 1 1 1 1 1 0 0 0
CiIRCUIT

Chapter 2 <36>
COMBINATIONAL LOGIC DESIGN Priority Circuit Hardware

A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1 A3 A 2 A1 A 0
0
0
0
0
1
1
0
1
0
0
0
0
1
1
0
0
Y3
0 1 0 0 0 1 0 0
0 1 0 1 0 1 0 0 Y2
0 1 1 0 0 1 0 0
0 1 1 1 0 1 0 0
1
1
0
0
0
0
0
1
1
1
0
0
0
0
0
0
Y1
1 0 1 0 1 0 0 0
1 0 1 1 1 0 0 0
1 1 0 0 1 0 0 0 Y0
1 1 0 1 1 0 0 0
1 1 1 0 1 0 0 0
1 1 1 1 1 0 0 0

Chapter 2 <37>
COMBINATIONAL LOGIC DESIGN Don’t Cares

A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1
0 0 1 0 0 0 1 0
0 0 1 1 0 0 1 0
0 1 0 0 0 1 0 0 A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0
0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 0
1 0 0 0 1 0 0 0
0 0 1 X 0 0 1 0
1 0 0 1 1 0 0 0 0 1 X X 0 1 0 0
1 0 1 0 1 0 0 0 1 X X X 1 0 0 0
1 0 1 1 1 0 0 0
1 1 0 0 1 0 0 0
1 1 0 1 1 0 0 0
1 1 1 0 1 0 0 0
1 1 1 1 1 0 0 0

Chapter 2 <38>
COMBINATIONAL LOGIC DESIGN Karnaugh Maps (K-Maps)
• Boolean expressions can be minimized by
combining terms
• K-maps minimize equations graphically
• PA + PA = P

A B C Y Y Y
AB AB
0 0 0 1
00 01 11 10 C 00 01 11 10
0 0 1 1 C
0 1 0 0
0 1 1 0 0 1 0 0 0 0 ABC ABC ABC ABC
1 0 0 0
1 0 1 0
1 1 0 0 1 1 0 0 0 1 ABC ABC ABC ABC
1 1 1 0

Chapter 2 <39>
COMBINATIONAL LOGIC DESIGN K-Map
• Circle 1’s in adjacent squares
• In Boolean expression, include only
literals whose true and complement form
are not in the circle
Y
A B C Y AB
0 0 0 1 00 01 11 10
0 0 1 1 C
0 1 0 0
0 1 1 0 0 1 0 0 0
1 0 0 0
1 0 1 0
1 1 0 0 1 1 0 0 0
1 1 1 0

Y = AB

Chapter 2 <40>
COMBINATIONAL LOGIC DESIGN 3-Input K-Map
Y
AB
C 00 01 11 10

0 ABC ABC ABC ABC

1 ABC ABC ABC ABC

Truth Table K-Map

Y
A B C Y AB
0 0 0 0 C 00 01 11 10
0 0 1 0
0
0
1
1
0
1
1
1
0 0 1 1 0
1 0 0 0
1
1
0
1
1
0
0
1
1 0 1 0 0
1 1 1 0

Y = AB + BC
Chapter 2 <41>
COMBINATIONAL LOGIC DESIGN K-Map Rules
• Every 1 must be circled at least once
• Each circle must span a power of 2 (i.e. 1, 2,
4) squares in each direction
• Each circle must be as large as possible
• A circle may wrap around the edges
• A “don't care” (X) is circled only if it helps
minimize the equation

Chapter 2 <42>
COMBINATIONAL LOGIC DESIGN 4-Input K-Map

A B C D Y Y
0 0 0 0 1 AB
0 0 0 1 0 CD 00 01 11 10
0 0 1 0 1
0 0 1 1 1 00 1 0 0 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 1 01 0 1 0 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1 11 1 1 0 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0 10 1 1 0 1
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0

Chapter 2 <43>
COMBINATIONAL LOGIC DESIGN 4-Input K-Map

A B C D Y Y
0 0 0 0 1 AB
0 0 0 1 0 CD 00 01 11 10
0 0 1 0 1
0 0 1 1 1 00 1 0 0 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 1 01 0 1 0 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1 11 1 1 0 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0 10 1 1 0 1
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0 Y = AC + ABD + ABC + BD

Chapter 2 <44>
COMBINATIONAL LOGIC DESIGN K-Maps with Don’t Cares

A B C D Y Y
0 0 0 0 1 AB
0 0 0 1 0 CD 00 01 11 10
0 0 1 0 1
0 0 1 1 1 00 1 0 X 1
0 1 0 0 0
0 1 0 1 X
0 1 1 0 1 01 0 X X 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1 11 1 1 X X
1 0 1 0 X
1 0 1 1 X
1 1 0 0 X 10 1 1 X X
1 1 0 1 X
1 1 1 0 X
1 1 1 1 X

Chapter 2 <45>
COMBINATIONAL LOGIC DESIGN K-Maps with Don’t Cares

A B C D Y Y
0 0 0 0 1 AB
0 0 0 1 0 CD 00 01 11 10
0 0 1 0 1
0 0 1 1 1 00 1 0 X 1
0 1 0 0 0
0 1 0 1 X
0 1 1 0 1 01 0 X X 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1 11 1 1 X X
1 0 1 0 X
1 0 1 1 X
1 1 0 0 X 10 1 1 X X
1 1 0 1 X
1 1 1 0 X
1 1 1 1 X Y = A + BD + C

Chapter 2 <46>
COMBINATIONAL LOGIC DESIGN Combinational Building Blocks

• Multiplexers
• Decoders

Chapter 2 <47>
COMBINATIONAL LOGIC DESIGN Multiplexer (Mux)
• Selects between one of N inputs to connect
to output
• log2N-bit select input = control input
• Example: 2:1 Mux Y
D0 D1
S S 00 01 11 10

0 0 0 1 1
D0 0
Y
D1 1 1 0 1 1 0

Y = D0S + D1S
S D1 D0 Y S Y
0 0 0 0 0 D0
0 0 1 1 1 D1 D0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1 S
1 1 1 1 D1

Y
Chapter 2 <48>
COMBINATIONAL LOGIC DESIGN Decoders
• N inputs, 2N outputs
• One-hot outputs: only one output HIGH at
once 2:4
Decoder
11 Y3
A1 10 Y2
A0 01 Y1
00 Y0

A1 A0 Y3 Y2 Y1 Y0
0 0 0 0 0 1
0 1 0 0 1 0
1 0 0 1 0 0
1 1 1 0 0 0

Chapter 2 <49>
COMBINATIONAL LOGIC DESIGN Decoder Implementation
A1 A0

Y3

Y2

Y1

Y0

Chapter 2 <50>
COMBINATIONAL LOGIC DESIGN Logic Using Decoders
• OR minterms

2:4
Decoder Minterm
11 AB
A 10 AB
B 01 AB
00 AB

Y = AB + AB
= A  B Y

Chapter 2 <51>