[sv-ac] example contrasting clock flow with clock rewrite

Hi Folks:

I had an action item to send an example showing the difference
between clock flow and the clock rewrite rules in Annex F.

J.H.

2007-09-05
----------

Example showing the difference between clock flow scoping and
what is obtained recursively by the clock rewrite rules.

(1)   @(c) x ##1 @(d) y |-> z

According to clock flow, (1) is equivalent to

(2)   @(c) x ##1 @(d) y |-> @(d) z

The recursive clock rewrite rules yield different results when
applied to (1) and (2).

In the past, the understanding has been that clock flow must
be accounted for first with explicit clock events in the 
property and sequence expressions to represent ones that are 
implicit from clock flow.  After this, the clock rewrite rules
can be applied.

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