Hardware Reference
In-Depth Information
Problems
9.1.
Consider the context FSM
M
A
and the specification FSM
M
C
whose descrip-
tions in
kiss
format are, respectively, the following:
.i 2
.o 2
.s 1
.p 4
.r a
i1 v1 a a u1 o
i2 v1 a a u2 o
i1 v2 a a u2 o
i2 v2 a a u1 o
.end
and
.i 1
.o 1
.s 1
.p 2
.r b
i1bbo
i2bbo
.end
(a) Convert the descriptions in
kiss
format of
M
C
into their descriptions
as automata in the
blif mv
format, creating respectively the files
fig2ma.aut
for the context
M
A
and
M
C
.
Caveat: since not all commands of BALM handle one-state machines, a work-
around is to rewrite the FSMs/automata with two equivalent states. In this case a
solution for
fig2ma.aut
is:
M
A
and
fig2mc.aut
for the specification
.model fig2ma
.inputs i v u o
.outputs Acc
.mv CS, NS 2 a aa
.mv i 2 i1 i2
.mv v 2 v1 v2
.mv u 2 u1 u2
Search WWH ::
Custom Search