Hardware Reference
In-Depth Information
(b) Solve the equation
M A M X M C by running the appropriate commands in
BALM.
Hint. Run the following commands:
complement fig2mc.aut mc_comp.aut
product fig2ma.aut mc_comp.aut product.aut
support v,u product.aut product_supp.aut
complement product_supp.aut x.aut
progressive -i 1 x.aut xfsm.aut
minimize xfsm.aut xfsm_min.aut
Analyze carefully the result of each step. How is the solution?
9.2. By running the appropriate commands in BALM, solve the same equation for
the following context automaton fig3ma :
.model fig3ma
.inputs i v u o
.outputs Acc
.mv CS, NS 4 a b c d
.mv i 2 i1 i2
.mv v 2 v1 v2
.mv u 2 u1 u2
.mv o 2 o1 o2
.latch NS CS
.reset CS
a
.table CS -> Acc
.default 1
.table i v u o CS -> NS
i1 v1 u1 o1 a b
i2 v1 u1 o2 a b
i2 v2 u1 o2 a b
i2 v2 u2 o1 b b
i1 v1 u1 o2 b b
i1 v2 u1 o2 b b
i2 v1 u2 o1 b b
i1 v2 u2 o1 a c
i2 v1 u2 o2 c c
Search WWH ::




Custom Search