Decoding Formal Video Tutorial Series: How do you know when your formal testbench is complete? This is an important problem, because if you have decided to replace simulation with formal verification on a block you are working on, you want to know when to sign off with the work you have done. This tutorial discusses three factors that determine whether or not you are done with your formal testbench: constraints, checkers, complexity.
You are reviewing the
Resource.
Your machine is locate at 3.21.12.140.
