Section 23.7

LRM-287 LRM-292

Change in Syntax 23-5 (final ) should be bold and red) (changes in red and blue):

array_query_functions array_query_function ::=

array_dimension_function ( array_identifier , dimension_expression )

| array_dimension_function ( type_identifier [ , dimension_expression ] )

| $dimensions ( array_identifier )

| $dimensions ( type_identifier )

Section 23.8

LRM-292

Change in Syntax 23-6 (changes in red and blue):

assert_severity_tasks assert_severity_task ::=

fatal_message_task

| nonfatal_message_task

fatal_message_task ::=

$fatal ;

| $fatal [ ( finish_number [ , message_argument { , message_argument] } ] ) ] ;

nonfatal_message_task ::=

severity_task ;

| severity_task [ ( [ message_argument { , message_argument] } ] ) ] ;

LRM-301

Change (changes in red and blue):

$fatal shall generate a run-time fatal assertion error, which terminates the simulation with an error code. The first argument passed to $fatal shall be consistent with the corresponding argument to the Verilog $finish system task, which sets the level of diagnostic information reported by the tool. Calling $fatal results in an implicit call to $finish.

Section 23.9

LRM-292

Change in Syntax 23-7 (changes in red and blue):

assert_control_tasks assert_control_task ::= // not in Annex A

assert_task ;

| assert_task [ ( levels [ , list_of_modules_or_assertions ] ) ] ;

Section 23.12

LRM-301

Change (changes in red and blue):

In addition to the normal simulation control tasks ($stop and $finish), a program can use the $exit control task. When all programs exit, the simulation finishes and an implicit call to $finish is made. The usage of $exit is presented in Section 16.6 on program blocks.