RE: [sv-ac] #1381

Hi Doron,

Few comments/questions on the proposal:
 
1. So far LRM only had a concept of vacuous success but no vacuous
failures. But in this proposal vacuous is not associated with success or
failures. Does that mean that we now have vacuous success and vacuous
failure ? If vacuous attempt is neither a success or failure, then
should the action block be executed ? This question is more related to
item (b) where you are defining not operator.

2. Regarding (c) p1 or p2, I have a problem with this. The simulator
should not be forced to keep the evaluation attempt of a operand alive
if the other operand has been determined to HOLD.
Say an attempt started at t then suppose at t+1 simulator determies that
p1 holds vacously. Also assume that at t+10 simulator determies that P2
holds non-vacuously. So, eventhough the simulator has determined at time
t+1 that the property 'p1 or p2' HOLDS at time t, its been asked to keep
the evaluation of p2 alive to determine if 'p1 or p2' HOLDS vacuosly or
non-vacuously.

3. Page3 section 17.3.5, I agree with Ed and Bassam that evaluation
attempt should not be dependent on the enabling condition.

Thanks.
Manisha