Thursday 9:00 - 10:30 | Grand Ballroom C
Thursday 9:00 - 10:30 | Grand Ballroom D
Thursday 11:00 - 12:30 | Grand Ballroom D
Thursday 11:00 - 12:30 | Grand Ballroom C
Thursday 13:30 - 15:00 | Ballroom E
Tuesday 9:00 - 10:30 | Grand Ballroom C
Tuesday 14:30- 16:30 | Grand Ballroom D
Wednesday 10:00 - 12:00 | Magnolia
Join this panel of industry experts and practitioners to discuss how verification is evolving as designs scale beyond the practical limits of any single engine. Panelists will share the challenges of coordinating simulation, formal, emulation, prototyping, and verification data, along with the pragmatic approaches teams use today—combining commercial solutions with in-house workflows.

As systems evolve toward software-defined, AI-driven, modular architectures, correctness increasingly emerges from interacting behaviors—across HW, SW, power, performance, workloads, and platforms—transforming verification from a linear activity into a continuous, feedback-driven process. This keynote brings three perspectives on this complexity and solutions beyond what isolated optimizations can address.
