Hardware Reference
In-Depth Information
Automata viewing commands:
•
plot aut
: visualize an automaton using DOT and GSVIEW
•
print lang size
: compute the number of I/O strings accepted (within the
string length set by the argument
-l
) by the maximum prefix-closed sub-
automaton of an automaton
•
print nd states
: print information about nondeterministic states of an
automaton
•
print stats aut
: print statistics about an automaton
•
print support
: print the list of support variables of an automaton
I/O commands:
•
read blif
: read the current network from the
BLIF
file
•
read blif mv
: read the current network from the
BLIF-MV
file
•
write blif
: write the current network in the
BLIF
format
•
write blif mv
: write the current network in the
BLIF-MV
format
Miscellaneous commands:
•
alias
: provide an alias for a command
•
echo
: echo the arguments
•
help
: print the list of available commands by group
•
history
: a UNIX-like history mechanism inside the BALM shell
•
ls
: print the file names in the current directory
•
quit
:exitBALM
•
source
: execute commands from a file
•
time
: provide a simple elapsed time value
•
unalias
: removes the definition of an alias
MV network commands:
•
extract aut
: extract the state-transition graph from the current network as an
automaton
•
latch expose
: make latch outputs visible as POs of the current network
•
latch split
: split the current network into two networks by dividing latches
and the related combinational logic; generates synthesis and verification scripts
assuming that one part is fixed and another part is unknown
•
solve fsm equ
: solve language equation
F X S
using the method
discussed in Chap. 7.
F
and
S
must be given in
BLIF-MV
format and must be
deterministic.
Network viewing commands:
•
print
: print multi-valued sum-of-products representation of nodes
•
print factor
: print algebraic factored form of nodes
•
print io
: print fanins/fanouts of nodes
•
print latch
: print the list of latches of the current network
Search WWH ::
Custom Search