Calling All Engines – Faster Coverage Closure with Simulation, Formal, and Emulation