FSP(1) CAO-VLSI Reference Manual FSP(1) NAME fmi - FSM state miminization 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 information about this subset see SYF(1) and FSM(5)). fmi uses a Reduced Ordered Binary Decision Diagrams representation and identi- fies 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 diffi- cult). 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 paths 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_min SEE ALSO syf (1), fsp (1), fsm (5), xfsm (1). ASIM/LIP6 October 1, 1997 FSP(1)
NAME | SYNOPSIS | DESCRIPTION | ENVIRONMENT VARIABLES | OPTIONS | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=fmi&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>