Note: The section numbering may change due to other changes!

Section 13.5

Replace the paragraph with the following paragraph.

The same signals --- clock, inputs, inouts, or outputs --- may appear in more than one clocking domain. Clocking domains that use the same clock (or clocking expression) will share the same synchronization event, in the same manner as several latches can be controlled by the same clock. Input semantics are described in Section 14.3, and output semantics are described in Section 14.4.