FPV

Successful FPV of large designs requires that parts of the design are abstracted. Learning how and where to apply abstractions will result in more proven properties and more bugs found.

The reset state of a design can have a huge impact on the scope and correctness of verification, especially when formal techniques are applied.

Using formal property verification to prove that SoCs can’t do the wrong thing, as well as that they will do the right thing.