Stefan Staber of cadence recently spoke on “Formal Coverage for Formal and Simulation Audiences” at the Formal verification conference.

The recordings and slides are now available here