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

The .default keyword in the .table construct is a shortcut for the following
cases:

0 1 a DC
(1,2) 1 b DC
- 0 b DC
- - DC DC
In BALM, the command read blif mv can also read an AUT file because
AUT is a subset of BLIF-MV . In such a case, the file is interpreted as a multi-
valued network and not as an automaton (the number of states in this case should
not exceed 32). There is no separate command to read in an automaton as an
automaton, since the automata manipulation commands always read and write to
AUT files; the input automata file name(s) are on the command line followed by the
file name where the result will be written. Thus, there is no need for BALM to have
separate commands to read and write automata, say read aut and write aut ,
because there is no notion of the current automaton, and instead each command that
operates on automata reads and writes the automaton of interest in a specific file
with extension .aut .

8.2.3 Comparing the BLIF-MV and AUT Formats

The difference between BLIF-MV and AUT (which is a modified BLIF-MV )isthat
BLIF-MV (as interpreted by MVSIS/BALM) can only have multi-valued variables
up to 32 values. Meanwhile, AUT can have an arbitrary number of values. BALM
uses a dedicated AUT -parser to bypass the limitations of the BLIF-MV -parser in
MVSIS and be able to parse multi-valued variables with more than 32 values.
Therefore, using AUT we can represent FSMs and automata with any number of
states.
The multi-valued network flow in MVSIS and the automata/FSM flow in BALM
are organized differently. MVSIS is based on the notion of the current network.
So there is a command ( read blif mv ) which just reads the network in from
file, making it the current network. BALM inherits the notion of current multi-
valued network from MVSIS, but does not rely on the notion of the current
automaton/FSM, because each command is made to read its own input and produce
its own output. This is why there is no special command to read the automaton
as automaton. Of course, we can read the automaton as a multi-valued network
(provided it has no more than 32 states), but then we are working with MVSIS, not
BALM.
Example 8.3. Suppose that we want to describe a counter FSM with 32 states whose
description in the kiss format [125] is the following:

.i 1
.o 1
.s 32