Folie a: Name

Review:
Finite State Machine

F.A. Ekadiyanto, M.Sc.

Table of content

Tutorial 8: Introduction to Finite State Machines

FSM Model (Mealy & Moore)

FSM Synthesis:
State Transition Diagram
Next State Table
FSM Minimization
Circuit Construction
Review: FSM Model (Mealy & Moore)

Moore FSM:

Mealy FSM:
Review: FSM Model (Mealy & Moore)

Moore or Mealy? State

Memory

SET
J Q A Mealy

K CLR Q
X Z output
input SET
J Q B

K CLR Q

Next State Logic Output Logic

Review: FSM Model (Mealy & Moore)

Moore or Mealy?
The image part with relationship ID rId2 was not found in the file.

Mealy
Review: FSM Model (Mealy & Moore)

Moore or Mealy?

Mealy equivalent Moore

FSM Synthesis: State Transition Diagram

Task:

Implement the Mealy FSM shown

in the left into a sequential circuit
using J-K Flip-flop!

Steps:
1. State minimization
2. State encoding assignment
1/1 3. xtract transition functions and
output functions
4. Implement the FSM
G
0/1
FSM Synthesis: State Minimization

State Minimization:
1. Elimination
2. Summarization

Elimination of states:
Not a start state
Unreachable state
Isolated

1/1

G
0/1
FSM Synthesis: Use State Table (How to construct)

Next State Output Z

Present
State X=0 X=1 X=0 X=1

A A B 1 1

B D E 0 0

C A F 0 1

D F C 0 0
1/1
E A F 0 1

F D C 0 0
G
G C E 1 1
0/1
FSM Synthesis: Use State Table (state elimination)

Next State Output Z

Present
State X=0 X=1 X=0 X=1

A A B 1 1

B D E 0 0

C A F 0 1

D F C 0 0
1/1
E A F 0 1

F D C 0 0
G
G C E 1 1
0/1
FSM Synthesis: Use State Table (state summarization)

Next State Output Z

Present
State X=0 X=1 X=0 X=1

A A B 1 1

B D E 0 0

C A F 0 1

D F C 0 0

E A F 0 1

F D C 0 0
FSM Synthesis: Use State Table (state summarization)

Next State Output Z

Present
State X=0 X=1 X=0 X=1

A A B 1 1

B D C 0 0

C A F 0 1

D F C 0 0

F D C 0 0
FSM Synthesis: Use State Table (state summarization)

Next State Output Z

Present
State X=0 X=1 X=0 X=1

A A B 1 1

B D C 0 0

C A B 0 1

D B C 0 0

Minimized!!!!!
FSM Synthesis: Assign Code to States

Next State Output Z

Present
State X=0 X=1 X=0 X=1
00

00 00
A 00
A 01
B 1 1
01 01 01
B 11
D 10
C 0 0

10 10
C 00
A 01
B 0 1
11 10
11 11
D 01
B 10
C 0 0
FSM Synthesis: Extract Functions

Next State Output Z

Present Present
State X=0 X=1 State X=0 X=1

00 00 01 00 1 1

01 11 10 01 0 0

10 00 01 10 0 1

11 01 10 11 0 0
FSM Synthesis: Extract Output Function

A B X Z

0 0 0 1
Output Z
Present
0 0 1 1
State X=0 X=1
0 1 0 0
00 1 1
0 1 1 0
01 0 0
1 0 0 0
10 0 1
1 0 1 1
11 0 0
1 1 0 0

1 1 1 0
FSM Synthesis: Extract Output Function

A B X Z
Z
0 0 0 1
AB 00 01 11 10
0 0 1 1 X

0 1 0 0 0 1 0 0 0
0 1 1 0 1 1 0 0 1
1 0 0 0

1 0 1 1
= +
1 1 0 0
= +
1 1 1 0
FSM Synthesis: Extract Transition Functions

A B X A+ A B X B+

0 0 0 0 Next State 0 0 0 0
Present A+B+
0 0 1 0 State 0 0 1 1
AB X=0 X=1
0 1 0 1 0 1 0 1

0 1 1 1 00 00 01 0 1 1 0

1 0 0 0 01 11 10 1 0 0 0

1 0 1 0 10 00 01 1 0 1 1

1 1 0 0 11 01 10 1 1 0 1

1 1 1 1 1 1 1 0
FSM Synthesis: Extract Transition Function of A

A B X A+
A+
0 0 0 0
AB 00 01 11 10
0 0 1 0 X

0 1 0 1 0 0 1 0 0
0 1 1 1 1 0 1 1 0
1 0 0 0

1 0 1 0
= +
1 1 0 0

1 1 1 1
FSM Synthesis: Extract Transition Function of B

A B X B+
B+
0 0 0 0
AB 00 01 11 10
0 0 1 1 X

0 1 0 1 0 0 1 1 0
0 1 1 0 1 1 0 0 1
1 0 0 0

1 0 1 1
= +
1 1 0 1

1 1 1 0
FSM Synthesis: FSM Circuit Construction

S
J Q
CP _
= + K Q
R
Q n 1 JQ n KQ n
= + Find the excitation functions!
= + +
+ =
= +
+ = = +
=

= +
= + =
=
FSM Synthesis: FSM Circuit Construction

= = + = = = +
SET
J A

A
K CLR A
X
Z
SET
J B B

B
K CLR B