Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
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 informations	 about	this  subset  see  SYF(1)  and
       FSM(5)).	 fmi uses a Reduced Ordered Binary Decision Diagrams represen-
       tation 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 dif-
       ficult).

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_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://www.freebsd.org/cgi/man.cgi?query=fmi&sektion=1&manpath=FreeBSD+12.1-RELEASE+and+Ports>

home | help