User guide

C-10
Compile-Time Options
-ignore keyword_argument
Suppresses warning messages depending on which keyword
argument is specified. The keyword arguments are as follows:
unique_checks
Suppresses warning messages about unique if and unique
case statements.
priority_checks
Suppresses warning messages about priority if and
priority case statements.
all
Suppresses warning messages about unique if, unique
case, priority if and priority case statements.
-assert keyword_argument
The keyword arguments are as follows:
disable
Disables all SystemVerilog assertions in the design.
enable_diag
Enables further control of results reporting on SystemVerilog
assertions with runtime options.
filter_past
Ignores assertions defined with the $past system task when
the past history buffer is empty. For instance, at the very
beginning of the simulation, the past history buffer is empty. So
the first sampling point and subsequent sampling points should
be ignored until the past buffer has been filled with respect to
the sampling point.
disable_cover
Disables coverage for cover statements.