AnsweredAssumed Answered

Questa Formal analysis tools

Question asked by mrudangp1 on Sep 14, 2018

I am using questa formal analysis tool version 10.7b_1 for autocheck and CDC feature . while running autocheck verify tool encounter an error which state " Questa verify terminated due limited resource with message formal-279 " which is not documented in tool supported document . further , i am running Questa autocheck for 10 hour timeout but when time increase log shows system memory utilization also increase with time . so , question is what are step perform in Questa Autocheck verify for that it used more and more system memory to perform this task ?