Merging Formal and Simulation Verification Metrics for Coverage Closure
TimeWednesday, July 13th5pm - 6pm PDT
LocationLevel 2 Exhibit Hall
Engineering Track Poster
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.