statement_item ::=
blocking_assignment ;
| nonblocking_assignment ;
| procedural_continuous_assignments ;
| case_statement
| conditional_statement
| inc_or_dec_expression ;
| function_call_statement subroutine_call_statement
| disable_statement
| event_trigger
| loop_statement
| jump_statement
| par_block
| procedural_timing_control_statement
| seq_block
| task_enable_statement
| wait_statement
| procedural_assertion_item
| clocking_drive
| randsequence_statement
| scope_randomize
| randcase_statement
| expect_property_statement
| randsequence_statement
| scope_randomize
| randcase_statement
pattern ::= //
from Annex A.6.7.1
variable_identifier
|
.*
|
. constant_expression
| tagged member_identifier [ pattern ]
| { pattern , ... { , pattern } }
|
{ member_identifier : pattern , ... { , member_identifier : pattern
} }
EDITOR’S NOTE:
I re-worded the first sentence in the paragraph above to remove “we”.