[sv-ac] RE: Mantis 2804

Erik,

The pieces that I do not understand are:

b) There is exactly one event control in the procedure.

What do you mean by one event control in the procedure? Is this the event control of the always/initial? or other possible event controls

in the procedural code of the always/initial?

If the procedure is inside a checker, and the event control did not satisfy this condition before the substitution of actual values for any event arguments to the checker, it shall be checked again after this substitution.

I guess that this special clause if for rule b: No term in expression1 appears anywhere in the body of the procedure? It does not say if an error
should be reported if the first time we checked the condition and the condition is not met, or do we wait to check for the
event arguments to be substituted? Is this a compilation check or a simulation runtime check?

Francoise
       '

________________________________
From: Seligman, Erik [mailto:erik.seligman@intel.com]
Sent: Tuesday, November 23, 2010 12:59 PM
To: Francoise Martinolle
Cc: sv-ac@eda.org
Subject: Mantis 2804

Hi Francoise-
In the champion comments on 2804 (http://www.verilog.org/mantis/view.php?id=2804 ), we have:

Francoise - Note
   Not understanding the proposal.

It's a little hard for me to take specific action based on this comment. :)
Can you suggest the exact parts that need to be clarified, or other issues we may have?

Thanks!

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