In reply to dave_59:
Hi,
message that pop up is from SV assertion property message, in my case a custom made error message, not a error message from Questasim like some system error message (sorry if didn’t made that clear in the fist post).
Maybe the problem could be because the property has infinite wait time in it, so it doesn’t finish properly. And then when simulation finishes and I want to close the Questasim, then the property message occurs.
Here is part of code (SVA):
property my_prop
@(posedge clk) (fell(rst) && sva_check_enabled) ##1 (!read_sig[*1:]) ##1 $rose(pwr_down_sig);
endproperty : my_prop
I hope I made more clear what is the problem.
Kind regards,
Srdjan