RE: [sv-ac] item 1361

Hi,

Here are the main changes I have made in this version (compared to last
one):

1. The pass statement of cover directives will be controllable by these
tasks.
2. I have an extra statement at the end to show that action blocks
execute by default until any of these tasks is executed. (These system
tasks shall not affect the execution of  pass or fail actions until the
task is executed. )
3. Added reference for the definition of vacuous success.
4. Added more explicit statement about which scopes can be specified in
the argument of these tasks.

I think I have incorporated all the feedback so far except Bassam's
feedback that they should not apply to currently executing assertions. I
would like them to apply to currently executing assertions so that it is
independent of when a thread started evaluating. 

Thanks.
Manisha

-----Original Message-----
From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com] 
Sent: Monday, March 13, 2006 3:23 PM
To: Kulshrestha, Manisha
Subject: RE: [sv-ac] item 1361

Hi Manisha,

Is it possible to list the changes from last rev -- what I'm looking for
is if/how new rev addresses previous feedback. May be to begin with a
list of the earlier feedback is worthwhile.

Thx.
-Bassam.

--
Dr. Bassam Tabbara
Synopsys, Inc.
(650) 584-1973

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Kulshrestha, Manisha
Sent: Monday, March 13, 2006 2:28 PM
To: sv-ac@eda.org
Subject: RE: [sv-ac] item 1361

Hi All,

I have updated the proposal in mantis. Please review it and provide your
feedback.

Thanks.
Manisha