User guide

C-23
Compile-Time Options
-ova_inline
Enables compiling of OVA code that is written inline with a Verilog
design.
-ova_lint
Enables general rules for the OVA linter.
-ova_lint_magellan
Enables Magellan rules for the OVA linter.
Options for Compiling For Simulation With Vera
-vera
Specifies the standard VERA PLI table file and object library.
-vera_dbind
Specifies the VERA PLI table file and object library for dynamic
binding.
Options for Compiling For Coverage Metrics
For more detailed information on these options see the VCS /VCS
MX Coverage Metrics User Guide.
-cm line|cond|fsm|tgl|path|branch|assert
Specifies compiling for the specified type or types of coverage.
The arguments specifies the types of coverage:
line
Compile for line or statement coverage.
cond
Compile for condition coverage.