RE: [sv-ac] Porposal assertion action control tasks

Hi Manisha,

I suppose that the tasks that control pass (pass, vacuous, disable) also
apply to cover property statements that have only the pass action
statement?

Thanks,
edd
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Kulshrestha, Manisha
> Sent: Tuesday, February 21, 2006 12:25 PM
> To: sv-ac@eda.org
> Subject: RE: [sv-ac] Porposal assertion action control tasks
> 
> Hi All,
> 
> I am including a proposal for controlling action block 
> execution. Please
> send your feedback. Do we need another errata on this issue or this
> proposal can be added to the errata on disable iff (which already has
> another proposal).
> 
> Thanks.
> Manisha
>