Should I Kill My Formal Run? Part 2: Avoid Trouble and Set Yourself Up For Success
In this session 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.
