The Verification Futures conference has always provided a unique blend of conference presentations, exhibitions, training, and industry networking sessions to discuss the challenges faced in hardware verification. It is a unique opportunity for end-users to define their verification challenges and collaborate with engineers and vendors to create solutions. In 2025, Verification Futures US will also reflect the growing use of AI/ML in IP/SoC designs and verification, with an increased number of talks on these key topics.
Event at a Glance
Wednesday, 12 November 2025 – Full day conference, exhibition and networking event
Austin Marriott South (USA) and online
FREE to attend conference In-Person or Online
Conference Program
| 08:30 | Arrival: Breakfast and Networking | ||
| 09:25 | Welcome: Mike Bartley, Tessolve Semiconductor Ltd | ||
| 09:30 | Si Catalyst - Keynote Speaker | ||
| 10:00 | Speaker TBD -Platinum Sponsor |
||
| 10:30 | Speaker TBD -Platinum Sponsor |
||
| 11:00 | Refreshments and Networking |
||
| 11:30 | Verifying Heterogeneous Systems |
TBD | TBD |
| 11:30 | Speaker TBD | Speaker TBD -Gold Sponsor | Speaker TBD |
| 11.50 | Speaker TBD | ||
| 12:10 | Speaker TBD | ||
| 12:30 | Lunch and Networking |
||
| 13:30 | Improving verification to Accelerate Shift-Left |
||
| 13:30 | Speaker - TBD |
||
| 14:00 | Static Sign-Off Methodologies: Liberating Functional Verification from Boolean Shackles Prakash Narain - Real Intent |
||
| 14:20 | Speaker TBD |
||
| 14:40 | Speaker TBD |
||
| 15:00 | Refreshments and Networking |
||
| 15:30 | Real Examples of Applying GenAI and Formal Verification |
TBD | TBD |
| 15:30 | Speaker TBD |
Speaker TBD -Gold Sponsor | Speaker TBD |
| 15:50 | Speaker TBD |
||
| 16:10 | Speaker TBD | ||
| 16:30 | Event Closes | ||
Sponsors
VF2025 was made possible through the generosity of the following sponsors. If you would like to become a VF2025 sponsor please Contact Us.
