fmi1
Usage
fmi[-V] input_file output_file
Overview
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.
As a restriction fmi doesn't handle don't cares (as this much more difficult).
Environment
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.
Examples
fmi digi digi_min
Releases
Unchanged in 4 releases since Debian 7 (Wheezy).