---
name: "fmi"
section: "1"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/fmi"
---

# fmi(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 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 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).