User guide

IN-13
Ignoring Calls and License Checking 6-27,
C-17
implications 23-19
implicit .* connections 22-58
implicit .name connections 22-58
+incdir 1-15, B-5
‘include D-8
Incremental Compilation 3-5–3-7, B-6–B-9
$info D-11
info, CLI command 9-2
-ignore 22-70, B-10
inlining
context-dependent pragmas 20-60
inout
C/C++ function argument direction 18-9
inout ports 22-20
input
C/C++ function argument direction 18-9
input ports
valid data types 22-56
inst_query() 24-230, 24-232, 24-233
int
C/C++ function argument type 18-10
C/C++ function return type 18-9
direct access for C/C++ functions
formal parameter type 18-20
input argument type 18-21
output and inout argument type 18-22
int data type 22-2
int*
direct access for C/C++ functions
formal parameter type 18-20
Interactive Debugging
example 9-11
interface, command line 9-13
Interfaces 22-62–22-69
interfaces
functions in 22-68
methods 22-68
modports 22-66
intrinsic timing delay backannotation 13-28
introducing OpenVera Assertions 20-2
invoking DVE 5-7
IOPATH entries in SDF files 13-13
$itor D-28
J
-jnumber_of_CPUs B-8, B-52
K
-k 9-13, C-10, C-15
keywords
after 24-138
around 24-138
before 24-138
extends 24-130
hard 24-92
hide 24-158, 24-160
local 24-62
new 24-41
program 21-7
protected 24-62
randseq 24-118
static 24-45
this 24-64
virtuals 24-157
L
-l C-15
-l filename 1-15, 1-19, 4-13, B-60, C-13
-ld linker B-50
-LDFLAGS options B-50
+libext B-5
+liborder B-5
+librescan B-5
+libverbose B-5, B-45
-line 1-15, B-17
‘line D-10
line, CLI command 9-3
linking B-51
linking a specified library to the executable
B-51