User`s manual

Preference variables located in INI and MPF files
A-262 ModelSim Variables ModelSim Xilinx User’s Manual
[vlog] Verilog compiler control variables
Variable name Value
range
Purpose Default
Hazard 0, 1 if 1, turns on Verilog hazard checking (order-
dependent accessing of global vars)
off (0)
NoDebug 0, 1 if 1, turns off inclusion of debugging info
within design units
off (0)
Quiet 0, 1 if 1, turns off "loading..." messages off (0)
ScalarOpts 0, 1 if 1, activate optimizations on expressions that
don’t involve signals, waits or function/
procedure/task invocations
off (0)
Show_source 0, 1 if 1, shows source line containing error off (0)
UpCase 0, 1 if 1, turns on converting regular Verilog
identifiers to uppercase. Allows case
insensitivity for module names; see also
"Verilog-XL compatible compiler options"
(5-
60)
off (0)
[vsim] simulator control variables
Variable name Value
range
Purpose Default
AssertFile any valid
filename
alternative file for storing assertion
messages
commented
out (;)