As formal techniques become an essential ingredient of verification flows, a precise coverage metric for formally verified blocks is essential. Various techniques for measuring formal verification progress have been proposed, but many have limitations that make their use suspect.

Joerg Grosse, Product Manager at OneSpin Solutions, presented on “Coverage in a Multi-Verification Tool Environment”  at Verification Futures Europe Conference on 4 February 2016.

The Presentation Slides are available now