VASY(1)

💖 VASY 💖 — the VHDL Analyzer for Synthesis, bestie edition

okay so real talk: this is VASY(1) from the CAO-VLSI Reference Manual, and she is that girl. Let's get into it. 🦋

---

🌸 NAME 🌸

VASY — VHDL Analyzer for Synthesis. yeah. that's her whole job. 💅

---

🏛️ ORIGIN 🏛️

so this absolute icon belongs to the ALLIANCE CAD SYSTEM, built by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. Paris!! of course she's chic. 🥐✨

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

---

✨ SYNOPSIS ✨

vasy [-VpavsoipSHL] [-C num] [-E num] [-I format] [-P file] filename
[outname]

---

👑 DESCRIPTION 👑

VASY is a hierarchical VHDL Analyzer for Synthesis. she does a whole semantic analysis of a VHDL RTL description called filename, and honestly? the VHDL subset she handles is way more extended than the Alliance one (peep vasy(5) for the deets, iykyk). and she identifies with precision all the memorizing elements and tristate buffers. precision. she's not guessing, she's knowing. 💀

during her analysis she:

• expands generic parameters
• executes generic map and generate statements
• unrolls static FOR loops

and at the end?? she drives an equivalent description called outname (in Verilog or VHDL format) that's accepted by most of synthesis tools. slay. 🎀

---

🌈 ENVIRONMENT VARIABLES 🌈

• MBK_WORK_LIB(1) — indicates the path to the read/write directory for the session. basically where she keeps her stuff. 🫶

---

💅 OPTIONS 💅

one bullet per flag, no skips, we don't gatekeep here:

• -V — Verbose mode on. each step of the analysis gets displayed on the standard output. she's narrating her own life. main character energy fr fr. 🎤
• -v — Drives an equivalent description in Verilog format.
• -a — Drives an equivalent description in Alliance VHDL format vbe(5) and/or vst(5). and heads up bestie: with this option, all arithmetic operators are expanded in an equivalent set of boolean expressions, because those operators just don't belong to the Alliance VHDL subset. not invited to the party. 🙈
• -s — Drives an equivalent VHDL description (with the extention .vhd) accepted by most of industrial synthesis tools.
• -S — Uses Std_logic instead of Bit (taken into account only with option -s). ⭐
• -i — Drives initial signal values (taken into account only with option -s).
• -I format — Specifies the VHDL input format, such as Alliance VHDL format vbe(5), vst(5) or industrial VHDL format vhd or vhdl.
• -H — In a structural description, all model of instances are recursively analyzed. (By default VASY analyzes only models with generic parameters.) The leaves cells are defined by a file called CATAL (see catal(5) for details).
• -o — Authorizes to overwrite existing files. she's bold like that. 🔥
• -p — Adds power supply connectors (vdd and vss). useful option to enter in Alliance.
• -C num — When the size of the adder is greater or equal to num, a Carry Look Ahead adder is generated, instead of a Ripple Carry adder. (taken into account only with option -a).
• -E num — Comparators are expanded in an equivalent set of boolean expressions, when their size is greater than num (taken into account only with option -a).
• -L — A file .lax (see lax(5) for details) is generated. this file contains the list of all signals that must be kept during the synthesis step, using boom (see boom(1) for details). (taken into account only with option -a). keeping receipts. 🧾
• -P file — Specifies a file.pkg containing a list of logical and physical package name:

# Example
work.constants.all  : pkg_constants
work.components.all : pkg_components

---

🦋 SEE ALSO 🦋

vasy(5), vbe(5), vhdl(5), catal(5). lax(5). asimut(1), boom(1), MBK_WORK_LIB(1). MBK_CATA_LIB(1). MBK_CATAL_NAME(1).

go read them, they're all her friends. 💜

---

😭 BUG REPORT 😭

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

We need your feedback to improve documentation and tools. like genuinely, they're asking, pls tell them. 🙏

---

ngl if something's broken, that's on purpose (under development) — but your feedback is what fixes it. 🫶

---

and that's the whole page, bestie!! ✨ written by the fine folks at ASIM/LIP6, dated November 26, 1999, for manual page VASY(1). she's been iconic since '99 and she's still serving. periodt. 💖🎀🦋