Transcript Diskreetne Matemaatika. S.

IAY 0600
Digitaalsüsteemide
disain
FSM Synthesis
Lab 5
Alexander Sudnitson
Tallinn University of
Technology
Example ASM (GSA)
2
Mealy type FSM synthesis
Step 1. The construction of marked GSA.
At this step, the inputs of vertices following the
operator vertices are marked by the symbols s1,
s2, … as follows:
the symbol s1 marks an input of the vertex
following the initial one and an input of the final
vertex;
the symbols s2, s3, ... mark inputs of all
verteces following operator ones;
vertex inputs are marked only once;
inputs of different verteces, exept the final one,
are marked by different symbols.
Note that marked vertices can be either
conditional or operator vertices, but each marked
vertex must follow an operator one.
Step2. The construction of transition list (state
diagram) of a controller.
X(Spres, Snext) / Yt
Spres
Snext
ASM marked for the Mealy FSM
4
Transition paths
5
The state diagram
6
Transition table of example
7
The response of FSM (exs)
8
9