Re: [sv-ac] disabling action blocks for vacuous and disabled attempt

Hi Manisha:

Our users also say that the pass action block is useless for the
same reason.

As to your question, a new attempt starts at every occurrence of the
leading clock event of the property, so as long as the disable
condition remains true, each of these attempts is disabled.  As the
LRM stands, this means each such attempt succeeds and results in
execution of the pass action.

Best regards,

John H.

> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
> Content-class: urn:content-classes:message
> Date: Tue, 31 Jan 2006 08:23:23 -0800
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] disabling action blocks for vacuous and disabled attempt
> Thread-Index: AcYmcjt+nNgkA/GQRH+jXlOrTJ2uRgADy3hg
> From: "Kulshrestha, Manisha" <Manisha_Kulshrestha@mentor.com>
> X-OriginalArrivalTime: 31 Jan 2006 16:23:24.0692 (UTC) FILETIME=[A8D73D40:01C62682]
> X-Virus-Status: Clean
> X-MIME-Autoconverted: from quoted-printable to 8bit by server.eda.org id k0VGNQ6T011397
> Sender: owner-sv-ac@eda.org
> 
> Hi,
> 
> The feedback I have got so far from users is that pass action block in
> assertions is useless because it gets executed for vacuous successes. I
> believe it will be very rare case that someone wants to enable execution
> of pass actions for vacuous/disable success. That is why I prefer if we
> make the default as non-execution of pass action block. I understand
> that this is not backward compatible.
> 
> Another question which came to my mind about execution of pass action on
> disabled success is: Does the pass action block get executed at every
> clock edge the property remains disabled or it happens only when reset
> condition becomes true ? 
> 
> Thanks.
> Manisha
>