RE: [sv-ac] Call to vote: Due August 29 (resend)

Done: http://www.eda-stds.org/mantis/file_download.php?file_id=5381&type=bug.

Thanks,
Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, August 30, 2011 11:23
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] Call to vote: Due August 29 (resend)

One more change: The word 'queue' should be there in the sentence "....in the checker are added to the pending procedural assertion queue ...".

Also, please remove word 'then' from the sentence I suggested "
Similarly all static deferred assertions in the checker are added to the pending deferred assertion report when the checker instantiation is reached in its process execution, and then may mature or be flushed like any procedural deferred assertion (see 16.4.1).

Thanks.
Manisha

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
Sent: Tuesday, August 30, 2011 1:43 PM
To: Kulshrestha, Manisha
Cc: 'sv-ac@eda-stds.org'
Subject: RE: [sv-ac] Call to vote: Due August 29 (resend)

And now with the correct URL.

Hi Manisha,

I amended the proposal following your comments: http://www.eda-stds.org/mantis/file_download.php?file_id=5379&type=bug. Note the following change I made:

Similarly all static deferred assertions in the checker are added to the pending deferred assertion report when the checker instantiation is reached in its process execution, and then may mature or be flushed like any procedural deferred assertion (see 16.4.1)

Thanks,
Dmitry

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Tuesday, August 30, 2011 08:53
To: Korchemny, Dmitry
Subject: RE: [sv-ac] Call to vote: Due August 29

Mantis 3033 _X___ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3033
http://www.eda-stds.org/mantis/file_download.php?file_id=5349&type=bug

Friendly amendments:

I think the following should be fixed in 17.3.1:

If the checker is procedural, all static concurrent assertions assertion statements in the checker are added to the pending procedural assertion queue for their process when the checker instantiation is reached in process execution, and then may mature or be flushed like any procedural concurrent assertion (see 16.15.6.2). All static deferred assertions in the checker are monitored each time the checker instantiation is reached in procedural execution.

To:

If the checker is procedural, all static concurrent assertions assertion statements in the checker are added to the pending procedural assertion queue for their process when the checker instantiation is reached in process execution, and then may mature or be flushed like any procedural concurrent assertion (see 16.15.6.2). Similarly all static deferred assertions in the checker are added to the pending deferred assertion report when the checker instantiation is reached in process execution, and then may mature or be flushed like any procedural deferred assertion (see 16.4.1)

Also, I think the statement "For example, concurrent assertions will be queued in this case." Should be removed from the third bullet as also deferred assertions are queued.

In "Except for the variables mentioned in the event control...", I think it should be 'used' instead of 'mentioned'.

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