Systems & Design
WHITEPAPERS

Reducing Verification Risk With Formal-Based Observation Coverage

How to ensure the quality of testing before sign-off.

popularity

An effective measure of verification progress, together with guidance towards design areas remaining untested, requires a precise view of the test coverage achieved. To risk signing off the verification process without understanding the quality of testing raises the specter of post-production device bugs. OneSpin Solution’s patented Quantify technology employs Observation Coverage, which evaluates the effectiveness of a set of assertions being triggered by incorrect behavior in the design code.

To read more, click here.



Leave a Reply


(Note: This name will be displayed publicly)