User guide

IN-19
passing a value from before to after a reset
D-39
resetting VCS to simulation time 0 D-38
$restart D-41
results 20-41, 20-42
return range of a C/C++ function 18-8
return type of a C/C++ function 18-7, 18-9
reverse()
example 24-165, 24-166, 24-168, 24-169,
24-170, 24-171, 24-172, 24-173, 24-174,
24-175, 24-176
syntax 24-165, 24-166, 24-167, 24-168,
24-169, 24-170, 24-171, 24-172, 24-173,
24-174, 24-175, 24-176
$rtoi D-28
rules, OVA linter option 20-9, 20-16
running OVA post-processor 20-26
runtime libraries, environment variable
specifying the A-4
runtime option
+ntb_load 21-28
runtime options
+ntb_cache_dir 21-37
+ntb_debug_on_error 21-38
+ntb_enable_solver_trace_on_failure 21-38
+ntb_engable_solver_trace 21-38
+ntb_exit_on_error 21-39
+ntb_load 21-39
+ntb_random_seed 21-39
+ntb_solver_mode 21-40
+ntb_stop_on_error 21-40
enable_solver_trace 21-40
enable_solver_trace_on_failure 21-41
vera_enable_checker_trace 21-40
vera_enable_checker_trace_on_failure
21-40
vera_solver_mode 21-41
rvm 21-34, 21-98
rw ACC capability 17-13, 17-18
S
-s 1-16, B-21, C-22
s ACC capability 17-14
$save D-41
scalar
direct access for C/C++ functions
formal parameter type 18-20
scalar*
direct access for C/C++ functions
formal parameter type 18-20
scopes 9-5
$sdf_annotate D-39
+sdf_nocheck_celltype 13-16, B-36
SDFPOLICY setup variable 13-32
+sdfprotect 25-9
+sdfprotect file_suffix B-54
+sdfverbose C-14
semaphores, CLI command 9-7
sequences 23-3–23-14
anding 23-10
conditions for 23-12
end point 23-13
formal arguments 23-5
oring 23-11
repetition 23-6
specifying a clock 23-9
specifying a range of clock ticks 23-5
unconditionally extending 23-6
sequential devices
inferring 2-18–2-21, 13-40–13-44
set variable, CLI command 9-9
$setup D-35
$setuphold D-36
shell, compiling, Verilog module, compiling
21-27
shortint data type 22-2
show break, CLI command 9-8
show thread, CLI command 9-10
show, CLI command 9-4, 9-6
signals, dumping automatically 20-37
simulation state
saving D-41
simulation time
setting
example 5-9
simulator graphical user interface 4-2