How to Avoid the Pitfalls of Mixing Formal and Simulation Coverage