- - FSM state miminization
See the file man1/alc_origin.1.
- fmi [-V] input_file
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)).
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
gives the path of the FSM description. The default value is the current
gives some auxiliary pathes for the FSM descriptions. The default value is the
-V Sets verbose mode on. Each step of the minimization is displayed on the
fmi digi digi_min
See the file man1/alc_bug_report.1.