Rechercher une page de manuel
fmi
Langue: en
Version: 146091 (fedora - 04/07/09)
Section: 1 (Commandes utilisateur)
NAME
- fmi
- - FSM state miminization
man2html: unable to open or read file man1/alc_origin.1
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).
man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre