Section 17, A.1.10, A.2.10, A.6.10, Syntax 18-1, Syntax 17-17
Concurrent assertions

In A.1.10 and Syntax 18-1, MOVE

| concurrent_assertion_item_declaration

FROM

package_item

TO

package_or_generate_item_declaration

In A.2.10 and Syntax 17-17, REMOVE

concurrent_assert_statement

concurrent_cover_statement

In A.2.10 and Syntax 17-17, ADD

concurrent_assertion_statement ::=

assert_property_statement

| assume_property_statement

| cover_property_statement

In A.2.10 and Syntax 17-17, REPLACE

concurrent_assertion_item ::=

concurrent_assert_statement

| concurrent_cover_statement

| concurrent_assertion_item_declaration

WITH

concurrent_assertion_item ::= [ block_identifier : ] concurrent_assertion_statement

In A.6.10 and Syntax 17-17, REMOVE

procedural_assertion_item

and ADD

procedural_assertion_statement ::=

concurrent_assertion_statement

| immediate_assert_statement

In Syntax 17-1, REPLACE

procedural_assertion_item ::=

…

| immediate_assert_statement

WITH

procedural_assertion_statement ::=

…

| immediate_assert_statement

In A.6.4, Syntax 8-1, in statement_item, REPLACE

| procedural_assertion_item

WITH

| procedural_assertion_statement

In 17.6, in the paragraph beginning

A sequence can be declared in

REMOVE

as a module_or_generate_item

as an interface_or_generate_item

as a non_port_program_item

as a clocking_item

In 17.11, in the paragraph beginning

A property can be declared in

REMOVE

as a module_or_generate_item

as an interface_or_generate_item

as a non_port_program_item

as a clocking_item

In 17.13, in paragraph beginning

A concurrent assertion statement can be specified in

REMOVE

as a module_or_generate_item

as an interface_or_generate_item

as a non_port_program_item

and in the last sentence REPLACE

assertion control tasks

WITH

assertion control system tasks

In 17.13.2, REPLACE

The operator dist and dist_list are

WITH

Distribution sets and the dist operator are

and in the final example of the section, the keyword ‘dist’ in

req dist

should be made bold.

In 17.13.4, in the first paragraph, REMOVE both occurrences of

as a module_common_item

and REMOVE

as a non_port_item

and REPLACE

either an assert or a cover statement

WITH

either an assert, an assume or a cover statement

In 17.13.5, in the first setence, REMOVE

as a statement_item

In 17.15, REPLACE

The bind directive can be specified in

-- a module as a module_or_generate_item

-- outside of all other declarations in a compilation unit

WITH

The bind directive can be specified in

-- a module

-- an interface

-- a compilation-unit scope

In Syntax 17-15, in concurrent_assertion_item_declaration, REPLACE

property_declaration

WITH

property_declaration

| ...