[sv-ac] RE: Mantis 2804

Hi, Francoise.

Here is a partial answer.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Francoise Martinolle
Sent: Tuesday, November 23, 2010 8:31 PM
To: Seligman, Erik
Cc: sv-ac@eda.org
Subject: [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?

[SB] The always/initial procedure could have zero or more than one @() event controls (defined in 9.4.2). E.g.,

initial begin
@(posedge clk)
...
@(negedge clk)
...
end

This rule says that there is exactly one control.

Note that this rule is already in the LRM and the proposal is not changing it.

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?
[SB] This sentence is for c(1): "The event expression consists solely of an event variable, consists solely of a clocking block event, or is of the form edge_identifier expression1 [ iff expression2 ] and is not a proper subexpression of an event expression of this form."

Regards,
Shalom

Francoise
       '

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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