FMI(1) - Linux man page online | User commands
FSM state miminization.
October 1, 1997
FSP(1) CAO-VLSI Reference Manual FSP(1)
ASIM/LIP6 October 1, 1997 FSP(1)
NAMEfmi - FSM state miminization
SYNOPSISfmi [-V] input_file output_file
DESCRIPTIONMade to run on FSM descriptions, fmi supports the same subset of VHDL as syf (for further informations about this subset see SYF(1) and FSM(5)). fmi uses a Reduced Ordered Binary Decision Diagrams representation and identifies equivalent states. After this step, it drives a new FSM where all equivalent states are replaced by a single state. As a restriction fmi doesn't handle don't cares (as this much more difficult).
ENVIRONMENT VARIABLESMBK_WORK_LIB gives the path of the FSM description. The default value is the current directory. MBK_CATA_LIB gives some auxiliary pathes for the FSM descriptions. The default value is the current directory.
OPTIONS-V Sets verbose mode on. Each step of the minimization is displayed on the standard out‐ put.
EXAMPLEfmi digi digi_min
SEE ALSOsyf (1), fsp (1), fsm (5), xfsm (1).
|This manual||Reference||Other manuals|
|refer to||fsm(5) | fsp(1) | syf(1)|