The Software Package BALM - The Unknown Component Problem: Theory and Applications - page 142

• print level : print nodes in the current network by level
• print nd : print the list of nondeterministic nodes in the current network
• print range : print the numbers of values of nodes
• print stats : print network statistics and report the percentage of nodes
having each representation

Problems

8.1. Consider the context automaton ma defined by the following BLIF-MV

description:

.model ma
.inputs i v u o
.outputs Acc

.mv CS, NS 2 a b
.mv i 2 i1 i2
.mv v 2 v1 v2
.mv u 2 u1 u2
.mv o 3 o1 o2 o3

.latch NS CS
.reset CS
a

.table CS -> Acc
.default 1

.table i v u o CS -> NS
i1 v1 u1 o1 a a
i2 v2 u1 o2 a a
i1 v2 u1 o2 a a

i1 v1 u1 o3 a b
i1 v1 u2 o1 a b

i1 v1 u2 o3 b b

i2 v1 u1 o1 b a
i1 v2 u1 o2 b a

.end