Section 16.2-3
clocking blocks

 

In 16.2, REPLACE

 

            Bidirectional signals (inout) are sampled as well as driven.

 

WITH

 

            Bidirectional signals (inout) are sampled as well as driven.  An output signal cannot be read, and an input signal cannot be driven.

 

 

 

In 16.3, REPLACE

 

            Inputs with explicit #0 skew are sampled at the same time as their corresponding clocking event, but to avoid races, they are sampled in the Observed region. Likewise, clocking block outputs with no skew (or explicit #0 skew) are driven at the same time as their specified clocking event, as nonblocking assignments (in the NBA region).

 

 

 

WITH

 

            Inputs with explicit #0 skew are shall be sampled at the same time as their corresponding clocking event, but to avoid races, they are sampled in the Observed region. Likewise, clocking block outputs with no skew (or explicit #0 skew) are shall be driven at the same time as their specified clocking event, as nonblocking assignments (in the NBA region).