[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, and is
believed to be clean.