User`s manual

Compiling with the graphic interface
7-200 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual
Verilog compiler options page
• Enable run-time hazard checks
Enables the run-time hazard checking code. Same as the -hazards switch for the
vlog command
(CR-141). Edit the Hazard (A-261) in the modelsim.ini to set a
permanent default.
• Don’t put debugging info in library
Models compiled with this option do not use any of the ModelSim debugging
features. Consequently, your user will not be able to see into the model. This
also means that you cannot set breakpoints or single step within this code. Don’t
compile with this option until you’re done debugging. Same as the -nodebug
switch for the vlog command
(CR-141). See "Source code security and -
nodebug"
(C-292) for more details. Edit the NoDebug (A-261) in the modelsim.ini
to set a permanent default.