Section 20.2

LRM-283

Change in Syntax 20-1 (changes in red and blue):

coverage_event ::=

clocking_identifier clocking_event

| @@( block_event_expression )

Section 20.4.1

LRM-288

Change in Syntax 20-3 (changes in red and blue):

trans_range_list ::=

trans_item

| trans_item [ [ * [* repeat_range ] ]

| trans_item [ [ –> [–> repeat_range ] ]

| trans_item [ [ = [= repeat_range ] ]

Section 20.5

LRM-282

Change in Syntax 20-4 (bold {} around open_range_list) (changes in red and blue):

select_condition ::= binsof ( bins_expression ) [ intersect { open_range_list } ]

LRM-282

Change in Syntax 20-4 (changes in red and blue):

open_range_list ::= { open_value_range { , open_value_range } }

LRM-282

Changes (changes in red and blue):

denotes the bins of coverage point x whose values do not not intersect the range given by y.

LRM-282

Change based on the following:

Throughout this section, make the ellipses consistent with each other, either a single ellipsis character or three dots. For example, remove the huge space after auto[0].