[sv-ec] Mantis item 890

Hi all,

I have several minor comments:

1. Part I. Page 3: always @(negedge clk); $display(cb.v); // Drop the
first semicolon

2. Part I. Page 4. The following paragraph is not clear. Need an
example.

It is possible for a drive statement to execute at a time that is not
coincident with its clocking event. Such drive statements shall execute
without blocking, but shall perform their drive action as if they had
executed at the time of the next clocking event. The expression on the
right hand side of the drive statement shall be evaluated immediately,
but the processing of the drive is delayed until the time of the next
clocking event. 

3. Part I. Page 4. This is clear, but an example would help:

Although synchronous drives use the same operator syntax as nonblocking
variable assignments, they are not the same. However, they do share
certain characteristics. Like nonblocking variable assignments, a key
feature of inout clocking variables and synchronous drives is that a
drive does not change the clocking block input. This is because reading
the input always yields the last sampled value, and not the driven
value. 

4. Part II. 9.3.2.1 Preponed events region
Sampling in the Preponed region is equivalent to sampling in the
previous Postponed region.

This is almost true: if both of them exist.

5. Sampling in the very first preponed region should be formally
defined. We found it during discussions on the $sampled function. It may
be done in a different Mantis item.

Thanks,
Dmitry

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.