FSP(1)

🎀 NAME 🎀

okay so welcome to the FSP(1) page in the CAO-VLSI Reference Manual — and yes, the command actually documented here is fmi. The NAME line says fmi — FSM state miminization (that's the exact spelling on the page, bestie; I'm not fixing it, facts are facts 💅).

🌸 ORIGIN 🌸

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

• Web: http://asim.lip6.fr/recherche/alliance/
• E-mail: alliance-users@asim.lip6.fr

✨ 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). It 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. slay, minimization.

⚠️ restriction check: fmi doesn't handle don't cares (the page says this is much more difficult — respect the difficulty, bestie).

💖 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.

🌈 EXAMPLE 🌈

run it like this:

fmi digi digi_min

🫶 SEE ALSO 🫶

go say hi to these icons:

• 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. so if you've got notes, send them — they're literally asking 🫶

💜 sign-off: source/version ASIM/LIP6 · date October 1, 1997 · page FSP(1) — bye bestie, go minimize those states! 💜