User guide

IN-18
prx ACC capability 17-14
public 24-63
+pulse_e/number 12-8, 12-9, 12-12, 12-17,
12-18, B-40
+pulse_int_e 12-7, 12-8, 12-10, 12-12, B-40
+pulse_int_r 12-7, 12-8, 12-10, 12-12, B-40
+pulse_on_detect 12-18, B-40
+pulse_on_event 12-17, B-40
+pulse_r/number 12-8, 12-9, 12-12, 12-17,
12-18, B-40
pulses
filtering out narrow pulses B-40
and flag as error B-40
+putprotect+target_dir 25-10, B-54
-pvalue 3-13, B-56
Q
-q B-46, C-14
$q_add D-36
$q_exam D-37
$q_full D-37
$q_initialize D-37
$q_remove D-37
R
-R 1-16, B-21
r ACC capability 17-13, 17-18
+race B-20
‘race D-5
race conditions
avoiding 2-2–2-7
continuous assignment evaluations 2-5
in counting events 2-6
in flip-flops 2-4
setting a value twice at the same time 2-3
time zero 2-7
using and setting a value at the same time
2-2
+race=all 11-13, B-21
+race_maxvecsize 11-5, B-21
+racecd B-21
+rad 3-35, B-16
$random 2-33, D-38
random() 24-126
randomize() 24-100
randomize() with 24-108
randseq 24-118, 24-127
syntax to define block 24-118
$readmemb D-31
$readmemh D-31
real
C/C++ function argument type 18-10
input argument type 18-21
output and inout argument type 18-22
$realtime D-37
$realtobits D-28
recommendation messages, OVA linter option
20-9
recommendation messages, OVA MR linter
option 20-16
$recovery D-34
$recrem D-35
Reference Verification Methodology, using
21-98
reg
C/C++ function argument type 18-10
C/C++ function return type 18-9
input argument type 18-21
output and inout argument type 18-22
repeat
usage in VSG 24-126
repeat loops 24-126
random() 24-126
repetition
consecutive 23-6
report file 20-41
$reset D-38
$reset_count D-39
$reset_value D-39
‘resetall D-3
resetting
keeping track of the number of resets D-39