table of contents
FSP(1) | CAO-VLSI Reference Manual | FSP(1) |
NAME¶
- fmi
- - FSM state miminization
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.SYNOPSIS¶
- fmi [-V] input_file output_file
-
DESCRIPTION¶
Made 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.ENVIRONMENT VARIABLES¶
MBK_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 output.EXAMPLE¶
fmi digi digi_minSEE ALSO¶
syf (1), fsp (1), fsm (5), xfsm (1).
BUG REPORT¶
This tool is under development at the ASIM department of the LIP6 laboratory.October 1, 1997 | ASIM/LIP6 |