In reply to PatilAkshay:
If you understood the meaning of first_match, you would not still be trying to use it.
What you mean by “triggers many time”. Do you mean it “fails each posedge clk”? Where is the assertion statment in relation to reset_check module? There is no posedge clk anytime reset==0, so it would never trigger.
It would really help to provide a mininal example that duplicates the results you are seeing.