Section Index

LRM-234

From Brad Pierce

Add subroutine

From Michael Rohleder (SV-CC)

here is my part of the index.

All references are related to Draft 3, single numbers are page numbers (paper numbers, no PDF) section numbers have dots (suggest to anchor them to section header) I assume there is a two level index capability like in Frame, second level is marked by using a comma. I did not index all vpi... variables. This is overwhelming and useless in my eyes. Instead, I have defined two entries cbAssertion... and vpiAssertion... as a sort of generic reference for people having just the printed copy (otherwise I will anyway use the search capability ...)

Assertion API 28.

assertion attempt 376, 377

assertion callbacks 372, 28.2.3

assertion callbacks, system 28.4.1

assertion callbacks, placing 28.4.2

assertion control 28.2.4

assertion control, functions 28.5

assertion control, stepping 372

assertion control, system 372

assertion handle 375, 28.3.1

assertion information, static 28.3.2

assertion information, dynamic 28.4

assertion object property 371

assertion object type 371

assertion object type, Sequence 374

assertion object type, Assert 374

assertion object type, Cover 374

assertion object type, Property 374

assertion object type, ImmediateAssert 374

assertion step 372

assertion step, callback 377

Callbacks, assertion 28.2.3

cbAssertion... 372

iterators, assertion 373

s_vpi_assertion_info 374

s_vpi_assertion_step_info 376

s_vpi_attempt_info 376

s_vpi_source_info 374

t_vpi_assertion_info 374

t_vpi_assertion_step_info 376

t_vpi_attempt_info 376

t_vpi_source_info 374

vpiAssertion 371

vpiAssertion... 371

vpiAssertionDirective 375

vpiAssertType 371, 375

vpiCoverType 371, 375

vpiFileName 375

vpiFullName 375

vpiImmediateAssertType 371, 375

vpiLineNo 375

vpiName 375

vpiPropertyType 371, 375

vpiSequenceType 371, 375

vpi_control 377

vpi_control, examples 378

vpi_get 375

vpi_get_assertion_info 374

vpi_get_str 375

vpi_register_assertion_cb 28.4.2

vpi_register_cb 375

From Joao Geada (SV-CC)

alias stmt 25

always 41

any pattern 38

array typespec 12

array var 9

assert property 30

assign stmt 14, 37

assignment 37, 42

assume property 30

atomic stmt 37

begin 15

bit typespec 12

bit var 9

break 37

byte typespec 12

byte var 9

case 37, 38

case item 38

class 19

class defn 15, 18, 36

class typespec 12

class var 9, 21

clocked property 32

clocked seq 33

clocking block 15, 17, 36

clocking i/o decl 17

concurrent assertion 36

concurrent assertion item 17

constant 40

constr if 20

constr if else 20

constraint 19, 36

constraint ordering 19

constraint expr 20

cont assign 14

cont assign bit 14

continue 37

cover property 30

current assertions 30

deassign 37

delay control 17, 37

disable 39

disable fork 39

disables 37, 39

dist item 19

distribution 19, 35

do-while 37, 38

enum typespec 12

enum var 9

event control 17, 37

event control ‘@’ 41

event stmt 37, 41

expect 37

expect return 39

expr 9, 11, 14, 18, 19, 20, 35, 38

extents 18

final 41

for 37

force 14, 37

foreach 37

foreach stmt 39

forever 37

fork 15

frame 26, 27

func call 24, 26, 28, 40

function 24, 26, 28

H

if 37, 38

if else 37, 38

immediate assert 35, 37

implication 20

initial 41

instance 1, 6, 12, 15, 16, 23

instance array 14

instances 9, 36

int typespec 12

int var 9

integer typespec 12

integer var 9

interface 1, 3, 5, 29

interface array 14

interface tf decl 5

io decl 16, 24

logic typespec 12

logic var 9

long int typespec 12

long int var 9

member typespec 12

method func call 28, 40

method task call 28

mod path 29, 36

modport 5

module 4, 9, 29, 41

module array 14

multiclock sequence expr 32, 33

named begin 15

named fork 15

named event 23, 36

named event array 23

net 36

null stmt 37

ordered wait 39

operation 32, 35, 36, 40

operation type 35

package 1

param assign 18, 36

path term 36

pattern 38

port 6, 36

port bit 6

ports 6, 9, 14

prim term 36

primitive 36

primitive array 14

process 36, 41

program 1, 3

program array 14

property decl 31, 36

property expr 32

property inst 31, 32, 33

property spec 32

range 12, 23

real typespec 12

real var 9

ref obj 7

reg 36

release 37

repeat 37

return 37

return stmt 38

scope 9, 15, 23, 26, 28

sequence decl 34, 36

sequence expr 32, 35

sequence inst 34, 35

short int typespec 12

short int var 9

short real typespec 12

short real var 9

simple expr 40

spec param 36

stmt 15, 36, 41

string typespec 12

string var 9

struct pattern 38

struct typespec 12

struct var 9, 22

sys func call 28, 40

sys task call 28

table entry 36

tagged pattern 38

task 24, 26, 28

task call 24, 26, 28

task func 15, 16, 24, 36

tchk 36

tf call 28, 37

thread 26, 27

time var 9

time typespec 12

typespec 1, 12

udp defn 16

union typespec 12

union var 9, 22

var bit 9

var bit typespec 12

variable 11

variable drivers 14

variables 9, 14, 36

var select 11

void typespec 12

vpiActualDefn 21

vpiArgument 18, 28, 34

vpiArray 1, 39

vpiAttribute 36

vpiAutomatic 1, 26

vpiBaseTypespec 12

vpiBit 6, 9

vpiCell 1

vpiCellInstance 1

vpiClockingEvent 17, 30, 32, 33

vpiCondition 20, 29, 38, 39, 41

vpiConfig 1

vpiDefaultClocking 1

vpiDefDelayMode 1

vpiElseConst 20

vpiDefFile 1

vpiDefInputSkew 17

vpiDefLineNo 1

vpiDefOutputSkew 17

vpiDelay 29

vpiDerivedClasses 18

vpiDisableCondition 30, 32, 33

vpiDriver 9, 14

vpiElemTypespec 12

vpiElseStmt 30, 35, 38, 39

vpiExpr 16, 39

vpiFrame 27

vpiHighConn 6, 7, 9

vpiImport 15

vpiIndex 9, 11, 23

vpiInstance 1, 3, 29

vpiInterfaceConn 7

vpiInternalScope 1, 15

vpiLeftRange 9, 14, 16, 24, 40

vpiLhs 25, 42

vpiLibrary 1

vpiLoad 9, 14

vpiLoopVars 39

vpiLowConn 6, 7, 9

vpiMatchItem 35

vpiMembers 22

vpiMemory 1, 15

vpiMethods 18

vpiMessages 21

vpiModPathIn 29

vpiModPathOut 29

vpiModDataPath 29

vpiOperand 32, 35, 40

vpiOrigin 26, 27

vpiParamAssign 14

vpiParent 6, 7, 9, 11, 19, 22, 23, 24, 26, 27, 40

vpiPortInst 7, 9

vpiProperty 30

vpiPrefix 28

vpiReg 9

vpiReturn 24

vpiRhs 25, 42

vpiRightRange 9, 14, 16, 24, 40

vpiScope 7

vpiSkew 17

vpiSolveAfter 10

vpiSolveBefore 19

vpiSysTfCall 28

vpiThread 26, 27

vpiTimePrecision 1, 2

vpiTimeUnit 1, 2

vpiTop 1

vpiTypedef 1

vpiTypedefAlias 12

vpiUnconnDrive 1

vpiUnit 1, 2

vpiValueRange 19

vpiWaitingProcesses 21, 23

vpiWeight 19

vpiWith 28

wait 39

wait fork 39

waits 37

while 37

From Ralph Duncan (SV-CC)

Please find below a plain text (as opposed to rich text) version that one hopes will not look so horribly mangled after its processing by the SV-CC server.

With contrition,

Ralph Duncan

Mentor Graphics

------

Index terms and Glossary:

C++ exceptions 27.4.1.6

DPI exports

functions 27.6, E.1

tasks 27.7, 27.4.3, E.1, E.7.2

DPI imports

argument datatypes 27.4.6, E.5.1, E.6

argument modes 27.4.1.2

argument passing 27.5.1, E.7

arrays E.10

blocking 27.1.1, 27.4.1.5, 27.4.3

C++ exceptions 27.4.1.6

context property 27.4.1.3, 27.4.3, E.5.5, E.8

declaration 27.4.4

disabling 27.8

functions and tasks 27.1.1, 27.4

include files E.4, E.9

linkage name 27.4.4

memory management 27.4.1.4, E.5.7

open arrays 27.4.6.1, E.7.6, E.11

packed arrays E.6.7

portability E.3

pure property 27.4.1.3, E.5.6

ranges E.6.5, E.6.6

reentrancy 27.4.1.5

return values,

functions 27.4.5, E.7.9

tasks 27.1.1, 27.4.4

scope 27.4.4

semantic constraints 27.4.1, E.5

simulation time 27.1.1

void return value 27.1.1

void (please add) 27.1.1

From Bassam Tabbara (SV-CC)

access 1, 2, 3

access collection 11

access data 9

access mode 10

access scope 11

close database 9

collection 2, 3, 7

concurrent assertions 5

data access 1

data querying 1

database 1, 3, 9, 10, 11

debuggers 1

design navigation VPI routines 11

efficiency 11

extensions 7, 8

filter 9

filter operation 4

filterType 4

flush database 10

free traverse handle 8

initialize load access 9

initialize read interface 8

interactive access 14

interoperability 1

iterator 8

load 1

load access initialization 9

load initialization 11

memory 5

model diagram 6, 7

multiple databases 10

multiple read interfaces 10

net arrays 5

nets 5

parameters 6

part selects 6

pointer 8, 10

primitive 5

primitive arrays 5

query 10, 11, 13

read API 11

reader 3

reader extension library 8

reader implementation 4

reader interface libraries 10

reg arrays 5

regs 5

tool cleanup 9

tool implementation 11

traversable 5

traverse 2

traverse access 9

traverse object 6

unload data 9

Value Change 14

variables 5

VPI 1, 2

VPI read initialization 9

VPI routines 7, 8

vpi_close 9, 10

vpi_create 4, 9, 11, 12

vpi_filter 4, 9

vpi_free_object 8, 14

vpi_get 2, 8, 10

vpi_get_time 3, 8, 13, 14

vpi_get_value 2, 3, 5, 8

vpi_get_vlog_info 8

vpi_goto 3, 4, 5, 9, 13, 14

vpi_handle 3, 4, 5, 8

vpi_handle_by_name 11

vpi_iterate 3, 4, 8, 12

vpi_load 5, 9, 11

vpi_load_extension 8, 9, 10, 11

vpi_load_init 9, 10, 11, 12, 13

vpi_scan 4, 12

vpi_unload 9

vpi_user.h 2

vpiAccessInteractive 3, 9, 10, 11

vpiAccessLimitedInteractive 3, 10, 11

vpiAccessPostProcess 3, 9, 10, 11

vpiAcessLimitedInteractive 10

vpiBelong 2, 8, 10

vpiCollection 2, 3, 4

vpiDataLoaded 3, 8, 12

vpiHasDataVC 2, 8

vpiHasNoValue 2, 8

vpiHasVC 2, 8

vpiIsLoaded 2, 8

vpiMaxTime 3

vpiMember 3, 4, 8

vpiMinTime 3, 14

vpiNextVC 14

vpiObjCollection 2, 3, 4, 6

vpiPrevVC 3

vpiTime 3

vpiTrvsCollection 2, 3, 4, 5, 6, 8

vpiTrvsObj 2, 3, 4, 5, 6, 8, 13

waveform tool 1, 10