+overwrite Overwrite existing config file of same name -ovm Turn on support for the OVM library

-ovmhome <dir> Location to look for the OVM install

+partialdesign Allow elaboration of partially-defined design +pathpulse Set pulse limits according to PATHPULSE$ -pathtran Kill pathdelays touching multiple tran gates +plimapfile=<arg> Specify VPI and/or PLI mapping file(s)

+plinooptwarn Suppress PLI messages caused by limited access +plinowarn Do not print PLI warning and error messages -precompiled_headers <on|off> Use precompiled headers. Only with gcc 4.1 -printspecs Have ncsc_run print out the spec file

+profile_sc+<file> File containing PSL/Covergroup verification code +profile_vhdl+<file> File containing PSL/Covergroup verification code +propdir+<dir> Specify directory to consider when searching +propext+<ext> Specify extensions to consider when searching +propfile+<file> File containing PSL/Covergroup verification code -propfile <file> Unsupported use -propfile_vlog|vhdl|sc

+propssc_ext+<ext> Specify extensions to consider when searching +propvhdl_ext+<ext> Specify extensions to consider when searching +pulse_e/<arg> Set percentage of delay for pulse error limit +pulse_e_style_ondetect Use on-detect filtering of error pulses

+pulse_e_style_onevent Use on-event filtering of error pulses

+pulse_int_e/<arg> Set percent delay for pulse error limit

+pulse_int_r/<arg> Set percent delay for pulse reject limit

+pulse_r/<arg> Set percentage of delay for pulse error limit -purecov Instrument ncsim code with purecov

-purecovelab Instrument ncelab with purecov

-purify Instrument ncsim code with purify

-purifyelab Instrument ncelab with purify

-Q Quiet mode, with banner and command line

-q Suppress informational messages(i.e., Quiet mode) -quantify Instrument ncsim code with quantify

-quantifyelab Instrument ncelab with quantify

-R Simulate using last snapshot generated

-r <snapshot name> Force simulation using snapshot

-races Run zero-delay race condition checks

-read_lib <arg> Enable DFT, scanchain check using *.lib synthesis -read_tlf <arg> Enable DFT, scanchain check using *.tlf synthesis +rmkeyword+<keyword> Specify list of keywords to be removed

-rulefile <arg> file for loading definitions of categories checks -rulelib <arg> A shared library containing user-defined checks -rules_checked Print details of the checks

-rules_list Print all the rules present in HAL

-s Load snapshot and go to the interactive prompt