Trying to use Verification Features in Questa Intel FPGA Edition

Hi THZ,

This previous forum link probably can clear your doubts:

https://community.intel.com/t5/Intel-Quartus-Prime-Software/Can-t-execute-the-assertion-debug-on-tutorial/m-p/1426265

As it turns out, this is a limitation in Questa Intel FPGA Edition. It does not support simulating advanced verification features as mentioned in the error message (randomize, randcase, randsequence, covergroup).

You may need to use Questasim if you want to simulate advanced verification features.

Simulating with vsim -nocvg disables covergroup object construction and removes the ability to run built-in covergroup methods during simulation. An svverification license is not required when -nocvg is used in the simulation.

We should remove/disable any testbench features that require advanced verification licenses.

Coverage related code (which requires advanced verification licenses) can be disabled using vsim command option -nocvg.

Thanks,

Best Regards,

Sheng

p/s: If any answer from the community or Intel Support are helpful, please feel free to give best answer.