[sv-ac] Review of Mantis 1681 Proposal: Global clocking

Hello Everyone,

I have reviewed Mantis 1681.  Here are my comments.

1.  Should there be a mention of global clocking in clause 16.15?

    "There are a number of ways to specify a clock for a property:"
     Add  "-- Reference to $global_clocking when a global clock is defined"

2.  I'm not sure about the clock rewrite rules.  It seems to me that if

	@(c) b  ---> (!c[*0:$] ##1 c & b)

    then the new re-write rule for global_clock should be:

      @($global_clock) b  ---> (!($global_clock)[*0:$] ##1 $global_clock & b)

    But maybe my understanding of these rules is incorrect.  My
    interpretation is that an unclocked property is evaluated on every
    simulation time-step.  For the re-write rules, $global_clock is going to
    act like any other clock.  The rule as Dmitry wrote it would only hold if
    the number of simulation ticks was equal to the number of global clock
    ticks.


Tom
-- 
------------------
Thomas J. Thatcher
Sun Microsystems
408-616-5589
------------------

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