Thank you for the solution.
Now i am using like this,
$past(din !=2’b00 , 0) || $past(din !=2’b00 , 1) || $past(din !=2’b00 , 2)).
I am using on the LHS (antecedent) side. To filter the assertion from triggering.
we can use it right?
Because i see most of the assertions using $past on RHS(Consequent) side.
Kindly let me know on the usage.
once again thanks for the solution.
-Regards,
-Raja.