User guide

IN-7
‘noportcoerce 2-15, D-8
‘nounconnected_drive D-10
‘portcoerce D-8
‘protect D-8
‘protected D-8
‘race D-5
‘resetall D-3
‘timescale D-9
‘unconnected_drive D-10
‘undef D-5
‘uselib D-9
‘vcs_mipdexpand D-7
‘vcs_mipdnoexpand D-7
A
-a filename 4-13, C-13
"A" specifier of abstract access 18-7
+abstract 18-82
abstract access for C/C++ functions
access routines for 18-31–18-77
enabling with a compile-time option 18-82
using 18-29–18-77
+acc+level_number 17-22, B-19
ACC capabilities 17-27
cbk 17-13, 17-19
cbka 17-14
frc 17-14, 17-19
gate 17-14
mip 17-14
mipb 17-14
mp 17-14
prx 17-14
r 17-13, 17-18
rw 17-13, 17-18
s 17-14
specifying 17-11–17-20
tchk 17-14
ACC capabilities for SDF back annotation
13-10–13-13
access routines for abstract access of C/C++
functions 18-31–18-77
action blocks 23-28
action_block 20-75
+ad B-56
alias file 8-9
alias file, default 8-9
+allhdrs 18-82
+allmtm 13-38, B-32, B-35
allvariables 9-6
always_comb block 22-35
always_ff block 22-38
always_latch block 22-38
-ams_discipline B-56
-ams_iereport B-56
and operator 23-10
anding sequences 23-10
annotation
overhead 13-13
aop
advice
before/after/around 24-143
dominates 24-134
extends directive 24-130
placement element
after 24-138
around 24-138
+applylearn 17-25–17-29, B-20
arb 21-10
arb.v 21-10
args PLI Specificaction 17-9
array
output and inout argument type 18-22
arrays
indexing and slicing 22-16
-as assembler B-50
-ASFLAGS options B-50
assembly code generation
assembling by hand B-50
passing options to the assembler B-50
specifying B-50
specifying another assembler B-50
-assert 20-21, 20-23, 23-36, B-10, B-31, C-6
assert OVA directive 20-3
assert statements 23-23–23-24