Section 19.2

LRM-292

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

modport_tf_ports_declaration ::=

import_export modport_tf_port { , modport_tf_port }

modport_tf_port ::=

task named_task_proto { , named_task_proto }

| function named_function_proto { , named_function_proto }

method_prototype

| tf_identifier { , tf_identifier }

Section 19.4

LRM-291

Change (changes in red and blue):

If a port connection specifies a modport list name in both the module instance and module header declaration, then the two modport list names shall be identical.

In a hierarchically nested interface, the directions in a modport declaration can themselves be modport plus name.