In reply to dave_59:
I tried the solution , but does not work when i don’t use it in else part .
I don’t know why . But it works when assertion fails and triggers an uvm_error.
I wanted some `uvm_info statements before i assert the property and it fails.
Thanks
Senkadir