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?
This is probably less likely about engine and more about tool version and running in parallel. Are you using the latest 12.2 software? In more recent versions there have been optimizations on running the automatic checks. In addition are you running your job with parallel distribution? This is the most effective way to increase throughput. Please refer to the "Setting up Distributed Resource Manager (DRM)" in the IFV user guide for more info.
In reply to ckomar:
I'm not using the latest version. But I'm running with parallel distribution.
I will try with the 12.2 software.
In reply to Buvna:
I switched to the 12.2 version. It says 17 - maximum jobs that will run for thr current DRM, engine and halo settings.
Is this good enough for parallel? Or can I make it better?
I've used: define engine auto_dist