Modules§
- assertion_
statements - case_
statements - clocking_
block - conditional_
statements - continuous_
assignment_ and_ net_ alias_ statements - looping_
statements - parallel_
and_ sequential_ blocks - patterns
- procedural_
blocks_ and_ assignments - randsequence
- statements
- subroutine_
call_ statements - timing_
control_ statements
Structs§
- Action
Block Else - Always
Construct - Assignment
Operator - Assignment
Pattern Array - Assignment
Pattern Expression - Assignment
Pattern List - Assignment
Pattern NetLvalue - Assignment
Pattern Repeat - Assignment
Pattern Structure - Assignment
Pattern Variable Lvalue - Blocking
Assignment Hierarchical Variable - Blocking
Assignment Nonrange Variable - Blocking
Assignment Variable - Case
Expression - Case
Inside Item Nondefault - Case
Item Default - Case
Item Expression - Case
Item Nondefault - Case
Pattern Item Nondefault - Case
Statement Inside - Case
Statement Matches - Case
Statement Normal - Clocking
Decl Assign - Clocking
Declaration Global - Clocking
Declaration Local - Clocking
Direction Input - Clocking
Direction Input Output - Clocking
Direction Output - Clocking
Drive - Clocking
Event Expression - Clocking
Event Identifier - Clocking
Item Assertion - Clocking
Item Default - Clocking
Item Direction - Clocking
Skew Edge - Clockvar
- Clockvar
Expression - Cond
Pattern - Cond
Predicate - Conditional
Statement - Constant
Assignment Pattern Expression - Continuous
Assign Net - Continuous
Assign Variable - Cycle
Delay Expression - Cycle
Delay Identifier - Cycle
Delay Integral - Default
- Default
Skew Input - Default
Skew Input Output - Default
Skew Output - Deferred
Immediate Assert Statement - Deferred
Immediate Assertion Item - Deferred
Immediate Assume Statement - Deferred
Immediate Cover Statement - Delay
Control Delay - Delay
Control Mintypmax - Delay
OrEvent Control Repeat - Disable
Statement Block - Disable
Statement Fork - Disable
Statement Task - Event
Control Asterisk - Event
Control Event Expression - Event
Control Event Identifier - Event
Control Paren Asterisk - Event
Control Sequence Identifier - Event
Expression Comma - Event
Expression Expression - Event
Expression Or - Event
Expression Paren - Event
Expression Sequence - Event
Trigger Named - Event
Trigger Nonblocking - Final
Construct - ForInitialization
Declaration - ForStep
- ForVariable
Declaration - Function
Statement - Function
Statement OrNull Attribute - Initial
Construct - Jump
Statement Break - Jump
Statement Continue - Jump
Statement Return - List
OfClocking Decl Assign - List
OfNet Assignments - List
OfVariable Assignments - Loop
Statement DoWhile - Loop
Statement For - Loop
Statement Foreach - Loop
Statement Forever - Loop
Statement Repeat - Loop
Statement While - Loop
Variables - NetAlias
- NetAssignment
- Nonblocking
Assignment - Open
Range List - Open
Value Range - Operator
Assignment - ParBlock
- Pattern
Identifier List - Pattern
List - Pattern
Tagged - Pattern
Variable - Procedural
Continuous Assignment Assign - Procedural
Continuous Assignment Deassign - Procedural
Continuous Assignment Force Net - Procedural
Continuous Assignment Force Variable - Procedural
Continuous Assignment Release Net - Procedural
Continuous Assignment Release Variable - Procedural
Timing Control Statement - Production
- Production
Item - Randcase
Item - Randcase
Statement - Randsequence
Statement - RsCase
- RsCase
Item Default - RsCase
Item Nondefault - RsCode
Block - RsIf
Else - RsProduction
List Join - RsProduction
List Prod - RsRepeat
- RsRule
- SeqBlock
- Simple
Immediate Assert Statement - Simple
Immediate Assume Statement - Simple
Immediate Cover Statement - Statement
- Statement
OrNull Attribute - Subroutine
Call Statement Function - Var
- Variable
Assignment - Variable
Identifier List - Wait
Statement Fork - Wait
Statement Order - Wait
Statement Wait - Weight
Specification Expression
Enums§
- Action
Block - Always
Keyword - Array
Pattern Key - Assert
Timing - Assertion
Item - Assignment
Pattern - Assignment
Pattern Expression Type - Assignment
Pattern Key - Blocking
Assignment - Case
Inside Item - Case
Item - Case
Keyword - Case
Pattern Item - Case
Statement - Clocking
Declaration - Clocking
Direction - Clocking
Event - Clocking
Item - Clocking
Skew - Continuous
Assign - Cycle
Delay - Default
Skew - Deferred
Immediate Assertion Statement - Delay
Control - Delay
OrEvent Control - Disable
Statement - Event
Control - Event
Expression - Event
Trigger - Expression
OrCond Pattern - ForInitialization
- ForStep
Assignment - Function
Statement OrNull - Immediate
Assertion Statement - Join
Keyword - Jump
Statement - Loop
Statement - Pattern
- Procedural
Assertion Statement - Procedural
Continuous Assignment - Procedural
Timing Control - RsCase
Item - RsProd
- RsProduction
List - Simple
Immediate Assertion Statement - Statement
Item - Statement
OrNull - Structure
Pattern Key - Subroutine
Call Statement - Unique
Priority - Wait
Statement - Weight
Specification