Close

Presentation

Merging Formal and Simulation Verification Metrics for Coverage Closure
TimeWednesday, July 13th5pm - 6pm PDT
LocationLevel 2 Exhibit Hall
Event Type
Engineering Track Poster
Engineering Tracks
Topics
AI
Back-End Design
Cloud
Embedded Systems
Front-End Design
IP
DescriptionFormal- and simulation-based verification are two mainstream solutions for signing off verification. Increasing the footprint of formal in verification requires flows to be able to measure the contribution of formal towards verification signoff in conjunction with traditional simulation-based environments. Typical metrics used for verification signoff are code and functional coverage. This presentation discusses a flow that merges both code and functional coverage contributions of formal and simulations, thereby reducing the duplication of verification effort and reducing overall verification signoff time.