BOOM(1)

💖 BOOM — BOOlean Minimization 💖

okay bestie so this is BOOM(1), like the CAO-VLSI Reference Manual girlies know ✨ she's the boolean-minimization baddie and she's about to eat

🌸 ORIGIN 🌸

so 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 💅 Paris!! the main character city fr

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

🦋 SYNOPSIS 🦋

boom [-VTOAP] [-l num] [-d num] [-i num] [-a num] [-sjbgpwtmorn]
               filename [outname]

✨ DESCRIPTION ✨

BOOM is literally the first step of the synthesis process, no cap. She optimizes a behavioural description using a Reduced Ordered Binary Decision Diagram representation of logic functions — it's giving iconic algorithmic queen 👑

The file filename is your input behavioural description and it must be written in vbe(5) format (non-negotiable bestie, the vibe check fails otherwise 🫶).

The resulting behavioural optimized description gets saved under the name outname, or input_name_o if you didn't give one, also in vbe(5) format. Slay. 💾

🌈 ENVIRONMENT VARIABLES 🌈

• MBK_WORK_LIB(1) — indicates the path to the read/write directory for the session. that's the lil home base where files get read and written, iykyk 🎀

🎀 OPTIONS 🎀

• -V — Verbose mode on. every single step of the optimization gets displayed on the standard output. she's narrating her whole life to you 💅
• -T — Trace mode on. some debug information gets displayed on the standard output. detective mode era 🔍
• -O — Reverses the initial Bdd variables order. flip it, reverse it, periodt 🔄
• -A — BOOM performs a local optimization and keeps the architecture of the initial description by saving most of the intermediate signals. This mode is well-suited for big or regular circuits such as multipliers, adders ✨

By default, BOOM performs a global optimization and removes most of the intermediate signals so that the outputs are expressed in terms of the inputs or the internal registers. That mode is well-suited for random circuits such as FSMs. two completely different vibes, pick your fighter 💀

• -P — Uses a parameter file input_name.boom describing optimization directives and constraints. (see below for the exact syntax) 👇

# Example of .boom file

#
# The list of auxiliary signals that have to be kept
# during optimization.
# Generally carry signals, ram address signals etc ...
#
BEGIN_KEEP

carry[3:0]
ram_address[3:0]

END

#
# The list of auxiliary signals which assigned
# expression won't be modified.
# Generally it's ram output signals.
#
BEGIN_DONT_TOUCH
ram_out[7:0]
END

• -l num — Specifies the optimization level [0-3] (default is 0, low level). start low, go high, glow up 📈
• -d num — Specifies the delay optimization percent (default is 0% delay, 100% surface). pick your struggle bestie 🕰️
• -i num — Specifies the number of iterations for the chosen optimization algorithm (for experts only). experts only!! don't come in here guessing 🙈
• -a num — Specifies the amplitude during bdd reordering (for experts only). also experts only, respectfully 💜
• -sjbgpwtmorn — Specifies which algorithm has to be used for the boolean optimization. yes that is one single flag with all those letters, and yes you read it right 💀

🔥 SEE ALSO 🔥

boom(5), vbe(5), asimut(1), boog(1), MBK_WORK_LIB(1).

go read those too, they're the supporting cast and they deserve love 🫶

💀 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 what's broken, they're literally asking 🙏

mwah 💋 that's the page! brought to you by the ASIM/LIP6 girlies, dated August 25, 2000, and it's still serving BOOM(1) realness to this very day 🌟