In reply to dave_59:
Hi Dave ,
Wouldn’t the strong part of the property start from time 15 ? i.e 2 Clcok tick in Simulation .
The antecedent has Non-Vacuous Pass at 1st clock tick at time 5 .
So Consequent ( strong Operator ) would start evaluation at the next clock tick at time 15 .
My confusion is when $finish() is called at time 15 at exactly the 2nd clock tick .
Would the consequent be evaluated ( b is True at time 15 ) and will the strong operator come into the picture ?
OR Would Simulation end ( hence NO O/P ) before consequent ( strong operator ) is evaluated ?
If I change the code such that $finish() occurs at time 16 , the assertion Fails as the consequent isn’t complete when the simulation ends .
This is as per expectation due to strong operator