can somebody give why and how to avoid SVA error message appearing when exiting Questasim.
When I run the test interactively in vsim it finishes regularly without any SVA errors and then when I want to exit Questasim (by typing “quit” in transcript window) I get SVA error message (it just pops up in the transcript window by some reason).
Because of this my regression fails, but I don’t understand why it happens and what should I do to prevent this from happening?
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
You still did not say what the error message says. If it is a custom made error message not coming from Questasim, then show us the code that produces it.
The only other suggestion I can offer is to turn off all assertions before exiting the simulation with the “assert enable -off” command in Questa.
Can you show the assert part of the code and any action block with custom error that you have included in the code? I believe your intuition is right - due to unfinished attempts you might get some message, but you need to first show the error message in the forum to confirm.