RE: [sv-ac] item 1361

Looks good...
ed
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Kulshrestha, Manisha
> Sent: Monday, March 13, 2006 6:37 PM
> To: Bassam Tabbara
> Cc: sv-ac@eda.org
> Subject: 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
> 
> 
> 
>