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 | Revitalizing Semiconductor Startups Keynote - Tarun Verma, Managing Partner, Silicon Catalyst |
||
| 10:15 | Overcoming the Challenges of Blending Hardware Verification Expertise with AI and Machine Learning Keynote Challenge Paper - Sohil Sri Mani Yeshwanth Grandhi - NVIDIA Corporation |
||
| 10:30 |
Wei-Hua Han - Synopsys |
||
| 11:00 | Refreshments and Networking |
||
| 11:30 | Verifying Heterogeneous Systems |
Doulos KnowHow Tutorial: Beginner’s Guide to Using AI for Hardware Engineering | Emerging Hardware Technologies and Startups |
| 11:30 | Static Sign-Off Methodologies: Liberating Functional Verification from Boolean Shackles Prakash Narain - Real Intent |
Beginner’s Guide to Using AI for Hardware Engineering Doug Smith |
11:30–11:40 Overview of Si Catalyst, Tarun Verma 11:40–12:00 Emerging Hardware Technology Trends, Prof. David Z. Pan 12:00–12:15 Frank Thiel, Gigantor 12:15–12:30 Alessandro Piovaccari, SigmaSense |
| 11.50 | Property Generator: simple generation of Formal Assertion IP Dr. Tobias Ludwig - LUBIS EDA |
||
| 12:10 | Chuck Alpert - Cadence |
||
| 12:30 | Lunch and Networking |
||
| 13:30 | Improving verification to Accelerate Shift-Left |
||
| 13:30 | Gilberto Migliorin - Synopsys |
||
| 14:00 | Bronco AI |
||
| 14:20 | Shift your verification left Sheela Pillai, Alpinium |
||
| 14:40 | The Intelligent Verification: Reinventing 5 DV Workflows with AI Shelly Henry - Moores Lab AI |
||
| 15:00 | Refreshments and Networking |
||
| 15:30 | Real Examples of Applying GenAI and Formal Verification |
Doulos KnowHow Tutorial: Practical Asynchronous SystemVerilog Assertions | Continuing Progress in Verification: A Mixed Signal Approach |
| 15:30 | Georg Meinhardt - DiffLogic Inc |
Practical Asynchronous SystemVerilog Assertions Doug Smith |
Overcoming Obstacles to Model-based Verification Daniel Cross - Cadence Design Systems |
| 15:50 | Applying Generative AI in Post-Silicon Validation: Real Use Cases and Technical Insights Santosh Appachu Devanira Poovaiah - NVIDIA Corporation |
Modelling a 4-Level DCDC Converter Using EEnets Abhijit Madhu Kumar - Cadence Design Systems |
|
| 16:10 | Deploying AI in DV for smarter and faster IP verification Arjumand Yaqoob - Qualcomm Incorporated |
Practical Approaches to Adopting State of the Art Mixed Signal Solutions
Umar Lyles - Cirrus Logic |
|
| 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.

