As SoC complexity continues to rise, verification has become a critical path for system time to market, often consuming more compute and engineering resources than any other task. A new generation of verification tools that optimize across multiple engines and multiple runs is required.