Section A.2.10, 17.13.3, Syntax 17-2, Syntax 17-4, Syntax 17-12, Syntax 17-15, Syntax 17-16
Multi-clock sequences and properties

In A.2.10, Syntax 17-4, Syntax 17-12, and Syntax 17-15, REMOVE

multi_clock_sequence

multi_clock_property_expr

sequence_spec

In A.2.10 and Syntax 17-4, in sequence_declaration, REPLACE

sequence_spec

WITH

sequence_expr

In A.2.10 and Syntax 17-2, in sequence_expr, ADD

| clocking_event sequence_expr

In A.2.10 and Syntax 17-15, in property_spec, REMOVE

| [ disable iff ( expression ) ] multi_clock_property_expr

In A.2.10 and Syntax 17-15, in property_expr, ADD

| clocking_event property_expr

REMOVE Syntax 17-16

In 17.13.3, REPLACE

cover property ( sequence_spec ) statement_or_null

WITH

cover property ( sequence_expr ) statement_or_null