Presentation
Coverage-based FV signoff – The complete cleanup methodology
DescriptionFormal-Verification (FV) is aiming to become a mainstream validation flow. For that, a signoff methodology is needed in the same way there is for dynamic validation. The main potential issues in FV are: overconstraint by assumptions, and assertions that don't cover the whole design. FV tools are able to create automatic cover points and verify that they are reachable and checked by at least one assertion. The number of cover points can reach hundreds of thousands and many of them can be unreachable or unchecked. The problem is with resolving this multitude methodology violations. Cleaning the simple ones using pattern matching can reduce the numbers a lot, but there can be many others part of which are real issues. Therefore, it is important to strive to reach 0 violations. We present a breakthrough methodology that helps cleaning both reachability and checker violations efficiently. Using these methods, the number of remaining violations can approach zero in a few days. In the presentation we show how the flow has been successfully applied to some projects and helped reveal both overconstraints and missing quality checkers.
Event Type
Engineering Track Poster
TimeTuesday, June 255:00pm - 6:00pm PDT
LocationLevel 2 Exhibit Hall
Back-End Design
Embedded Systems
Front-End Design
IP