Section A.1.2, A.1.5, A.6.11, A.9.3, Syntax 15-1, Syntax 15-3
Hierarchical identifiers, config and clocking declarations

In A.1.2, in config_declaration, REPLACE

endconfig

WITH

endconfig [ : config_identifer ]

with the colon in bold.

In A.1.5, in module_or_generate_item_declaration, REPLACE

| clocking_decl

WITH

| clocking_declaration

In A.6.11, Syntax 15-1, and Syntax 15-3, REPLACE

clocking_decl ::= [ default ] clocking [ clocking_identifier ] clocking_event ;

{ clocking_item }

endclocking

WITH

clocking_declaration ::=

[ default ] clocking [ clocking_identifier ] clocking_event ;

{ clocking_item }

endclocking [ : clocking_identifer ]

with the last colon in bold red.

(That is, (1) start the body of the definition on the next line, (2) rename clocking_decl to clocking_declaration, and (3) allow an optional :clocking_identifier at end.)

In A.9.3, REPLACE

hierarchical_identifier ::= { identifier { [ constant_expression ] } . } identifier

WITH

hierarchical_identifier ::= [ $root . ] { identifier { [ constant_expression ] } . } identifier

(That is, (1) add an optional $root . as required by Section 18.4, and (2) make the [ and ] bold red.)