Provided by: alliance_5.0-20120515-6_amd64 bug


       VASY - VHDL Analyzer for Synthesis


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


       VASY  is a hierarchical VHDL Analyzer for Synthesis.  VASY performs a semantic analysis of
       a VHDL RTL description filename, with a VHDL subset much more extended than  the  Alliance
       one  (see  vasy(5)  for  more  details),  and identifies with precision all the memorizing
       elements and tristate buffers.
       During its analysis, VASY expands generic parameters, executes generic  map  and  generate
       statements, and also unrolls static FOR loops.
       At  the  end,  VASY  drives  an equivalent description outname (in Verilog or VHDL format)
       accepted by most of synthesis tools.


                 indicates the path to the read/write directory for the session.


       -V        Verbose mode on.  Each step of the analysis is displayed on the standard output.

       -v        Drives an equivalent description in Verilog format.

       -a        Drives an equivalent description in Alliance VHDL format vbe(5)  and/or  vst(5).
                 We  can  note that with this option, all arithmetic operators are expanded in an
                 equivalent set of boolean expressions, because these operators don't  belong  to
                 the Alliance VHDL subset.

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

       -p        Adds power supply connectors (vdd and vss). Usefull 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).

       -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


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