RE: [sv-ac] 2412 proposal updated

Hi Anupam:

I think that the comma at the end of the brown text needs to be removed.

I tried to think of a way to simplify the phrases that use "the same
rules" without losing clarity, but I didn't come up with anything really
better.

J.H.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Prabhakar, Anupam
Sent: Tuesday, October 26, 2010 1:23 PM
To: sv-ac@eda.org
Subject: [sv-ac] 2412 proposal updated

I have updated the proposal for 2412.

http://www.eda-stds.org/mantis/view.php?id=2412
<http://www.eda-stds.org/mantis/view.php?id=2412>

I have added this new rule in the clock inferencing rules for sampled
value function (which will work for sequence methods also)

- Otherwise, if called in a disable condition or a clock expression in
an assertion, it shall be explicitly clocked.

The other sentences modified are

The sequence on which a method is applied should either be clocked or it
may infer the clock from the context where it is used. The same rules
are used to infer the clocking event as specified in 16.9.3 for sampled
value functions.

If the default actual argument $inferred_clock is specified for a formal
argument of a sequence, and an actual argument is not provided to the
sequence instance to which a method is applied, the same rules as
specified in 16.9.3 for sampled value functions, are used to determine
the inferred clocking event expression that is bound to that formal
argument.

The text in brown above used to be 'the above rules'. Since 'the above
rules' are really in another section (16.9.3) now I have added the new
text above. Let me know if you can think of a better way to write this.

Anupam

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.