User guide

20-40
Using OpenVera Assertions
Things to watch out for
• If you pass path/name (a full path) to -ova_cov_report,
fcovReport does not automatically create the directories in path.
If the path does not exist, the report is not created and no error
message is generated.
• The -ova_inline compile-time option should not be included
with the -ova_PP compile-time option. If both options are present
on the same command line, and inlined OVA references to
checker library elements are included in the design, an error
message will result. This error can be ignored and both the
interactive simulation and the post-process compile should run
fine.
Note:
Inlined OVA is not recognized for post-processing.
• If you use the +vpdfile+filename option to name the debug
VPD file in the ovapp step, an informational message referring
to a dummy file will be emitted. This message can be safely
ignored.
• If the design from step 1 (-ova_PP) is recompiled, the step 2 OVA
compilations might have to be rerun. If there are no structural
changes to the design (no hierarchy changes and no added/
deleted signals), it may not be necessary to recompile the OVA
files. However, the step 1 design recompile should not be done
while step 2 OVA compilations are running, because the design
compile deletes and regenerates the skeleton design file, even if
there are no changes to the actual design.