User guide

C-10
Simulation Options
takes commands from the standard input. This option is normally
used along with the -s runtime option and a +cli+number
compile-time option. A typical file for this option is the vcs.key file.
-k filename | off
Specifies an alternative name or location for the vcs.key file into
which VCS writes the CLI and DVE interactive commands that
you enter during simulation. The off argument tells VCS not to
write this file.
+cliecho
Specifies that VCS display the CLI commands in a file, which you
specify with the -i option, as VCS executes these CLI
commands.
Options for Specifying VERA Object Files
+vera_load=filename.vro
Specifies the VERA object file.
+vera_mload=filename
Specifies a text file that contains a list of VERA object files.
Options for Coverage Metrics
-cm line|cond|fsm|tgl|path|branch|assert
Specifies monitoring for the specified type or types of coverage.
The arguments specify the types of coverage:
line
Monitors for line or statement coverage.
cond
Monitors for condition coverage.