[sv-ac] RE: questionn for all

Yes, this was from 2398.  You will notice in my review of 2398 that this wrong annotation was one of the minor errors listed in my bugnote.

________________________________
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
Sent: Tuesday, September 23, 2008 9:51 PM
To: sv-ac@server.eda.org
Subject: [sv-ac] questionn for all

All,

The second paragraph of F.2 is marked as a 1938 addition. It is not 1938.
I need to know which mantis item is it so I can review it. Could you look at the text below,
and if it something you wrote it, send me the mantis number?

Thanks

Doron

The semantics in this annex describe each evaluation of a concurrent assertion, but there may be many evaluations
for each assertion implied within SystemVerilog code. This annex does not define the semantics of
queueing an instance of a concurrent assertion in procedural code (16.15.6). Once a pending procedural
assertion instance has matured, the semantics of the resulting property evaluation is defined by this annex. If
multiple evaluation attempts of a particular procedural concurrent assertion all mature, each of those
matured attempts is described separately by the equations in this annex. For a concurrent assertion statement
outside procedural code, which is continuously monitored, an instance of the equations in this annex exists
for each starting clock event of the assertion.

---------------------------------------------------------------------

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<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.