This time yesterday you kicked off a formal analysis – and it is still running!
You are starting to receive notifications from your grid monitoring software and/or the on-call IT Manager, threatening to pull the plug if you don’t order the job to continue.
On one hand, it would be a shame to waste 24 hours-worth of compute resources by killing the job, especially since the analysis could still be making progress. After all, the DUT and the formal testbench are rather large. But then again, maybe the job has passed the point of diminishing returns and it should be terminated now for the benefit of everyone?
In this web seminar series we will show the steps you can take to make an informed decision to forge ahead, or cut your losses and regroup. Even better: we will show you what you can do BEFORE you run a formal analysis to set yourself up for success.
