Formal Property Verification: A tale of two methods

The Formal Property Verification (FPV) methodology often gets used in the last step of verification flow, after much time spent building a complex random constrained UVM environment where some corner cases are still not covered.

Other times, FPV is used when a silicon bug is found that was not raised during the dynamic verification phase. This article examines a case of digital block verification using the formal property verification methodology versus the same block tested in UVM. Read More


Find out how T&VS Formal Verification techniques helps to improve the quality of Verification.

2018-01-24T02:28:41+00:0024th January, 2018|Blog, Thought Leadership|