Download ModelSim SE Reference Manual

Commands
vlog
t—
Enable access to tasks and functions.
u—
Enable access to primitive instances.
The tool determines whether you have supplied a module name or a object pathname by the
existence of the “PathSeparator” character (set in the modelsim.ini file) in the path. By
default, the separator is a ‘/’. An example object pathname specification is:
+acc=n+/u1/u2/n2
•
-compat
Disables optimizations that result in different event ordering than Verilog-XL. Optional.
ModelSim Verilog generally duplicates Verilog-XL event ordering, but there are cases
where it is inefficient to do so. Using this option does not help you find event order
dependencies, but it allows you to ignore them. Keep in mind that this option does not
account for all event order discrepancies, and that using this option may degrade
performance. Refer to “Event Ordering in Verilog Designs” for additional information.
•
-compile_uselibs[=<directory_name>]
Locates source files specified in a `uselib directive (Refer to “Verilog-XL uselib Compiler
Directive”), compiles those files into automatically created libraries, and updates the
modelsim.ini file with the logical mappings to the new libraries. Optional. If a
directory_name is not specified, ModelSim uses the name specified in the
MTI_USELIB_DIR environment variable. If that variable is not set, ModelSim creates the
directory mti_uselibs in the current working directory.
•
-convertallparams
Enables converting parameters not defined in ANSI style to VHDL generics of type
std_logic_vector, bit_vector, std_logic, vl_logic, vl_logic_vector, and bit. Optional.
•
+cover <stat>
Enables various coverage statistics collection. The use of +cover is recommended over
-cover, as it is more powerful and flexible, and often yields better performance. To obtain
the behavior of the obsolete -coverAll argument, use the +cover argument without any
<stat> characters. Optional.
<stat> — one or more of the following characters:
b — Collect branch statistics.
c — Collect condition statistics. Collects both FEC and UDP statistics, unless
-nocoverfec is specified.
e — Collect expression statistics, Collects both FEC and UDP statistics, unless
-nocoverfec is specified.
s — Collect statement statistics.
t — Collect toggle statistics. Overridden if ’x’ is specified elsewhere.
ModelSim SE Reference Manual, v6.4a
481