15 April 2020

Shanghai, China

Parkline Century Hotel

Portable Coverage: Integrating Formal and Simulation Coverage for Efficient, Faster Verification Signoff

Wed, 01/30/2019 - 05:36 -- root

If you don’t measure, you don’t know. Verification planning and coverage metrics are crucial to track progress and achieve signoff. Can formal and simulation results be integrated in a comprehensive view of the verification status? Can formal return on investment (ROI) be maximized by reducing overlap with simulation-based verification tasks? Can the verification flow be interoperable and future proof, rather than sub-optimal and locked to a single tool vendor?

This short workshop uses a verification case study where formal and simulation verification results are integrated in a coherent view. The verification flow supports any simulator and planning tool. The flow leverages formal model-based mutation coverage, which enables a meaningful integration with simulation structural coverage. Ultimately, this flow provides a more accurate view of verification status and reduces effort to achieve signoff.

The workshop agenda is as follow:

• Don’t get locked-in: interoperable coverage
• Review of formal coverage metrics
• Integration of formal coverage with simulation coverage
• Accelerate verification signoff with formal coverage
• Tracking formal results in your favorite verification planning tool
• Maximize formal ROI by reducing effort overlap with simulation verification
• Summary and Q&A

Event ID: 
a875a835-2040-4403-8600-3923ef5ceeab
Event Type: 
Short Workshop
Location: 
Ballroom A
Event Time: 
Wednesday, April 17, 2019 -
13:15 to 14:00
Session Number: 
1
Session Number: 
1
Session Number Suffix: 
SW
confID: 
271
Event Sponsor Image URL: 
https://dvcon.org/sites/dvcon-china.org/files/onespin-logo%281%29.png