0 Replies Latest reply on Sep 14, 2018 1:37 PM by mrudangp1

    Questa Formal analysis tools

    mrudangp1

      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 ?