User guide

C-9
Simulation Options
- A file name containing () results in a Badly placed ()’s
message.
- A file name containing ! results in an Event not found
message.
success
Enables reporting of successful matches, and successes on
cover statements, in addition to failures. The default is to report
only failures.
verbose
Adds more information to the end of the report specified by the
report keyword argument, and a summary with the number
of assertions present, attempted, and failed.
You can enter more than one keyword, using the plus + separator,
for example:
-assert maxfail=10+maxsucess=20+success+filter
-cm assert
Specifies monitoring for SystemVerilog assertions coverage.
-cm_assert_name path/filename
Specifies the path and file name of an initial coverage file. An initial
coverage file is needed to set up the database. By default, an
empty coverage file is loaded from the following directory:
simv.vdb/snps/fcov.
Options for a CLI Command File
-i filename
Specifies a file, containing CLI commands, that VCS executes
when simulation starts. After VCS reaches the end of that file, it