User guide

IN-16
object data members 9-9
+old_ntc B-43
+oldsdf 13-5, B-36
OpenVera Assertions
benefits 20-2
flow 20-7
introduction 20-2
overview 20-4
operating system commands, executing D-27
OpernVera assertion classes 21-63
+optconfigfile 3-35, 3-37, B-16
or operator 23-11
oring sequences 23-11
output
C/C++ function argument direction 18-9
output ports
valid data types 22-56
OVA cover directive 20-3
OVA debug control tasks 20-77
OVA linter 20-8
OVA post-processing 20-24
OVA post-processor
building 20-26
running 20-26
OVA system tasks and functions 20-68
OVA user action function 20-82
OVA, assert directive 20-3
OVA, see OpenVera Assertions
OVA, Verilog parameters in 20-63
-ova_cov 20-19, 20-24, 23-40, 23-41, B-22,
C-6
-ova_cov_cover 20-46
-ova_cov_db 20-24, 20-46, 23-41, C-6
-ova_cov_events 20-19, 20-46, 23-40, B-22
-ova_cov_grade_instances 20-46
-ova_cov_grade_modules 20-46
-ova_cov_hier 20-19, 23-40, B-22
-ova_cov_map 20-46
-ova_cov_merge 20-47
-ova_cov_name 20-24, 23-41, C-6
-ova_cov_report 20-47
$ova_current_time 20-76
-ova_debug 20-19, 23-40, B-22
-ova_debug_vpd B-22
-ova_dir 20-20, 23-40
-ova_enable_diag 20-20, 23-40, B-22
-ova_file 20-20, 23-40, B-22
-ova_filter 20-22, 23-40, C-5
-ova_filter_past 20-20, 23-40, B-22
$ova_global_time_unit 20-76
-ova_inline 20-21, B-23
-ova_lint 20-8, B-23
-ova_lint_magellan 20-16, B-23
-ova_max_fail 20-22, 23-40, C-5
-ova_max_success 20-22, 23-40, C-5
-ova_name C-4
-ova_quiet 20-21, 23-40, C-4
-ova_report 20-22, 23-40, C-4
$ova_severity_action 20-76
-ova_simend_max_fail 20-23, 23-41, C-6
$ova_start 20-78
$ova_start levels 20-76
$ova_start_time 20-76
$ova_stop 20-79
$ova_stop levels 20-76
-ova_success 20-23, 23-41, C-6
ova_trace_off assertion_hierarchical_name,
OVAPP CLI command 20-31
ova_trace_off instance_hierarchical_name
assertion_name time time, OVAPP CLI
command 20-31
ova_trace_on assertion_hierarchical_name,
OVAPP CLI command 20-32
ova_trace_on instance_hierarchical_name
assertion_name time, OVAPP CLI command
20-31
-ova_verbose 20-22, 23-40, C-4
-ovac 20-19, B-22
$ovadumpoff 20-77
$ovadumpon 20-77
OVAPP CLI commands 20-31
OVAPP Flow 20-25
+overlap 14-23, B-44
+override_model_delays 16-16, C-23