# SVA error occurring when exiting QuestaSim

**URL:** <https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693>\
**Category:** SystemVerilog\
**Tags:** SystemVerilog\
**Created:** [July 8, 2013, 1:41pm UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693 "2013-07-08T13:41:59Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![sradulovic](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/s/ba8739/32.png) [@sradulovic](https://verificationacademy.com/forums/u/sradulovic)\
**Post date:** [July 8, 2013, 1:41pm UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/1 "2013-07-08T13:41:59Z")

</div>

Hi all,

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?

Thanks in advance,

Srdjan

---

<div class="post-metadata">

**Author:** ![dave\_59](https://verificationacademy.com/forums/user_avatar/verificationacademy.com/dave_59/32/4499_2.png) [@dave\_59](https://verificationacademy.com/forums/u/dave_59)\
**Post date:** [July 9, 2013, 4:26am UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/2 "2013-07-09T04:26:59Z")

</div>

It would be a tremendously huge help if you can tell us exactly what the error message says. Do you get any error in batch or command-line (-c) mode?

---

<div class="post-metadata">

**Author:** ![sradulovic](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/s/ba8739/32.png) [@sradulovic](https://verificationacademy.com/forums/u/sradulovic)\
**Post date:** [July 9, 2013, 1:58pm UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/3 "2013-07-09T13:58:16Z")

</div>

_In reply to [dave\_59](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/2):_

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

---

<div class="post-metadata">

**Author:** ![dave\_59](https://verificationacademy.com/forums/user_avatar/verificationacademy.com/dave_59/32/4499_2.png) [@dave\_59](https://verificationacademy.com/forums/u/dave_59)\
**Post date:** [July 9, 2013, 6:03pm UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/4 "2013-07-09T18:03:27Z")

</div>

_In reply to [sradulovic](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/3):_

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.

---

<div class="post-metadata">

**Author:** ![Ajeetha\_Kumari\_CVC](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/a/a5b964/32.png) [@Ajeetha\_Kumari\_CVC](https://verificationacademy.com/forums/u/Ajeetha_Kumari_CVC)\
**Post date:** [July 10, 2013, 3:40pm UTC](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/5 "2013-07-10T15:40:46Z")

</div>

_In reply to [dave\_59](https://verificationacademy.com/forums/t/sva-error-occurring-when-exiting-questasim/28693/4):_

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.

Ajeetha, CVC

> **[Verification Course Blog | VeriLog Courses | CVC](https://www.cvcblr.com/blog/)**
>
> Read our verification course blog to find out more about what CVC can offer, if you are looking for online courses contact us today.