Workshop

Beyond Bug Hunting: Verification Coverage from Safety to Certification

Abstract

By: Nicolae Tusinschi, OneSpin Solutions

This workshop will explore how mutation analysis can have a positive impact on the safety of your design and provide the signoff confidence needed to achieve proper safety certification. In addition, the workshop will show how to achieve a meaningful integration of formal and simulation coverage metrics. A long-standing wish of many verification engineers and managers, coverage integration reduces effort overlap between simulation and formal and enables faster, more rigorous signoff.

Download Paper