SVA valid low in reset state

Hello Hsam,

Thanks for your reply,

My Assertion is fine but in all cases. But, in one case and in one point where reset and valid both are going down at a time at posedge of clock. then my assertion is getting failed. I am not knowing why it is getting failed only at that time.