The automatic assertions take a very large time to run as my design is huge.
Could anyone tell me which is the best engine to use so that I can fasten this process?
I'm not using the latest version. But I'm running with parallel distribution.
I will try with the 12.2 software.