Hardware Reference
In-Depth Information
Using the appropriate commands in BALM, find the largest FSM solution of the
FSM equation
M A M X M C ,where
M X has inputs
U Df u
1;
u
2g and outputs
V Df v
1;
v
2g . Analyze carefully the result of each step.
8.4. Given the context FSM
M A
and the specification FSM
M C
consider the
underlying automaton
A
and
C
whose descriptions in aut format are, respectively,
the following:
.model es43ma
.inputs i u o
.outputs Acc
.mv i 2 i1 i2
.mv u 2 u1 u2
.mv o 2 o1 o2
.mv CS, NS 3 a b c
.latch NS CS
.reset CS
a
.table ->Acc
1
.table i u o CS ->NS
i2 u1 - a a
i1 u1 - a b
i2 u1 - b a
i1 u2 - b c
- u1-ca
.end
and
.model es3mc
.inputs i o
.outputs Acc
.mv CS, NS 6 1 2 3 4 5 6
.mv i 2 i1 i2
.mv o 2 o1 o2
.latch NS CS
.reset CS
1
Search WWH ::




Custom Search