FSP(1)

📦 version 5.1.1, in fedora 43, fedora 44

💖 NAME 💖

fmi — FSM state miminization

bestie. the girlies are MINIMIZING FINITE STATE MACHINES today and it's giving efficiency era 💅

🎀 ORIGIN 🎀

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

✨ 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 identifies equivalent states. After this step, it drives a new FSM where all equivalent states are replaced by a single state. iconic behaviour honestly, it just merges the duplicates and moves on ✨

As a restriction fmi doesn't handle don't cares (as this much more difficult). not me being sad about it, it's just a whole other level of hard 😭

🌈 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. lowkey the best way to watch the glow-up happen in real time 👑

🍓 EXAMPLE 🍓

fmi digi digi_min

👑 SEE ALSO 👑

syf (1), fsp (1), fsm (5), xfsm (1).

🙈 BUG REPORT 🙈

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools. fr fr, tell them everything 🫶

and that's the whole page, bestie — written and shipped by ASIM/LIP6 back on October 1, 1997, filed under FSP(1). no cap, she's been iconic since the nineties 💜✨

📦 where this page comes from