Section A.2.10, Table 17-1, Syntax 17-2, Syntax 17-3, Syntax 17-4, Syntax 17-5, Syntax 17-6, Syntax 17-7, Syntax 17-8, Syntax 17-9, Syntax 17-10, Syntax 17-11, Syntax 17-13, Syntax 17-15
Sequence expressions

In A.2.10 and Syntax 17-5, REPLACE

boolean_abbrev ::=

consecutive_repetition

| non_consecutive_repetition

| goto_repetition

WITH

boolean_abbrev ::=

non_consecutive_repetition

| goto_repetition

In A.2.10 and Syntax 17-2, ADD

cycle_delay_range_list ::= cycle_delay_range { cycle_delay_range }

In A.2.10 and Syntax 17-2, REPLACE

sequence_expr ::=

cycle_delay_range sequence_expr

{ cycle_delay_range sequence_expr }

| sequence_expr cycle_delay_range sequence_expr

{ cycle_delay_range sequence_expr }

| expression { , variable_assignment } [ boolean_abbrev ]

| ( expression { , variable_assignment } ) [ boolean_abbrev ]

| sequence_instance [ sequence_abbrev ]

| ( sequence_expr ) [ sequence_abbrev ]

| sequence_expr and sequence_expr

| sequence_expr intersect sequence_expr

| sequence_expr or sequence_expr

| first_match ( sequence_expr )

| expression throughout sequence_expr

| sequence_expr within sequence_expr

WITH

sequence_expr ::=

[ cycle_delay_range_list ] sequence_subexpr

{ cycle_delay_range_list sequence_subexpr }

sequence_subexpr ::=

sequence_primary boolean_abbrev

| sequence_factor [ sequence_abbrev ]

| sequence_subexpr and sequence_subexpr

| sequence_subexpr intersect sequence_subexpr

| sequence_subexpr or sequence_subexpr

| first_match ( sequence_expr )

| expression throughout sequence_subexpr

| sequence_subexpr within sequence_subexpr

sequence_factor ::=

sequence_atom

| sequence_instance

| ( sequence_expr )

sequence_primary ::=

sequence_atom

| ( sequence_atom )

sequence_atom ::= expression { , variable_assignment }

In A.2.10 and Syntax 17-2 and Syntax 17-4, REPLACE

actual_arg_expr ::=

event_expression

WITH

actual_arg_expr ::=

event_expression

| ( event_expression )

In A.2.10 and Syntax 17-2 and Syntax 17-4, in actual_arg_list and formal_list_item, ADD the following footnote

In an actual_arg_list or a formal_list_item, if an actual_arg_expr is an event_expression that uses a comma separator, then to prevent ambiguity the event_expression shall be enclosed in parentheses. In an actual_arg_list that uses the named argument style, the actual_arg_exprs are always enclosed in parentheses, so no additional parentheses shall be required in that case.

In 17.6, at the end of the section, ADD

When an actual argument is an event control expression that uses a comma, the argument must be enclosed in parentheses; otherwise, the comma is treated as a separator in the list of actual arguments.

In Table 17-1, in the line for throughout, REPLACE

left

WITH

right

In Syntax 17-3, REPLACE the excerpt from sequence_expr WITH

sequence_expr ::=

[ cycle_delay_range_list ] sequence_subexpr

{ cycle_delay_range_list sequence_subexpr }

and ADD

cycle_delay_range_list

In Syntax 17-5, REPLACE the excerpt from sequence_expr WITH

sequence_subexpr ::=

sequence_primary boolean_abbrev

| sequence_factor [ sequence_abbrev ]

…

sequence_factor ::=

sequence_atom

| sequence_instance

| ( sequence_expr )

sequence_primary ::=

sequence_atom

| ( sequence_atom )

sequence_atom ::= expression { , variable_assignment }

In Syntax 17-6, Syntax 17-7, Syntax 17-8, Syntax 17-10, Syntax 17-11, 17-13, REPLACE each occurrence of

sequence_expr

WITH

sequence_subexpr

In Syntax 17-9, REPLACE the first occurrence of

sequence_expr

WITH

sequence_subexpr