Re: [sv-ac] questionn for all

Hi Doron:

I think that this change came from Mantis 2398.

J.H.

> X-eda.org-MailScanner-Watermark: 1222836681.67941@Smu7N72CF7vPI649OMJvZw
> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> X-eda.org-MailScanner-Watermark: 1222836659.08835@RyeoyIJ/3pCeK8TGgEe3lA
> X-ExtLoop1: 1
> X-IronPort-AV: E=Sophos;i="4.33,297,1220252400"; 
>    d="scan'208,217";a="339852445"
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Wed, 24 Sep 2008 07:50:49 +0300
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: questionn for all
> Thread-Index: AckeAR1q7gB1/MrMSD2kOFTCa74E2w==
> From: "Bustan, Doron" <doron.bustan@intel.com>
> X-OriginalArrivalTime: 24 Sep 2008 04:50:51.0945 (UTC) FILETIME=[1EED7990:01C91E01]
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more information
> X-MailScanner-ID: m8O4pK2O012913
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C91E01.1EA4EDBA
> Content-Type: text/plain; charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> All,
> 
> =20
> 
> 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,=20
> 
> and if it something you wrote it, send me the mantis number?
> 
> =20
> 
> Thanks
> 
> =20
> 
> Doron
> 
> =20
> 
> 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.
> 

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