Systems & Design
WHITEPAPERS

Formal Verification Applied To The Renesas MCU Design Platform Using OneSpin Tools

Why signoff requires a good understanding of test coverage and how to achieve it.

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)