Should I Kill My Formal Run - Part 2: What You Can Do Beforehand to Avoid Trouble and Set Yourself Up for Success

In this segment we assume you are about to kick off a formal analysis, and want to make sure you will avoid the most obvious pitfalls in setting up your formal testbench, the DUT, and the runner scripting.