Verification + Semiconductors Futures Conference 2026 UK

Verification Futures UK 2026, co-located with Semiconductors Futures 2026 organised by Tessolve and co-organised this year with Alpinum. The conference continues its strong tradition of delivering a unique blend of conference presentations, exhibitions, training, and industry networking sessions focused on the challenges faced in hardware and software verification. The event remains an important forum for end-users to define their verification challenges and collaborate with engineers, researchers, and vendors to shape practical solutions. In 2026, Verification Futures continues to strengthen its core emphasis on verification methodologies, DV tools, and engineering workflows, including areas such as formal methods for complex SoCs, CPU & RISC-V verification, open-source and licence-free verification tools, AI in design verification (AI in DV), verification planning and coverage, and HW/SW co-verification.

Semiconductors Futures 2026 brings together the semiconductor community, covering AI/ML in IP & SoC design, AI’s impact on EDA and workflows, FPGA & mixed-signal, with a focus on the automotive, data centre, and AI products. New tracks consider emerging technologies such as quantum computing, photonics, and chiplets, as well as startups and investments. We expect 50+ engineering students to attend a separate session.

Event at a Glance

Tuesday, 23 June 2026 – Full day conference, exhibition and networking event

Reading (UK) & online

FREE to attend conference In-Person or Online

Conference Program

08:30 Exhibition open and student posters available for viewing
09:25 Conference starts
09:30 Conference Keynote – Ekaterina Almasque, Blank Page Capital
10:00 Platinum Sponsor TBD
10:30 Break - Exhibition Open and Networking
11:00 Verification Futures Students SemiCon Futures
Main Morning Verification Projects using Open Source/License-Free Tools Sponsor Track UKESF AI Design IP
11:00 Andy Bond  
11:30   Abdelrahman Mohamed Ali

Alexander Montgomerie-Corcoran - Heronic Technologies

11:50 Bragadeesh S, Tattvam AI 
12:10  

Opensource Verification Tools For Hyperscale Data Centre Silicon

Doug Carson - Keysight

 
12:30 Lunch - Exhibition Open and Networking
13:30 Verification Futures Students SemiCon Futures
Afternoon Verification Session Mixed Signal UKESF Design FPGA Topic #1
13:30          
14:00

Peter Grove - Renesas

Tessolve/Dream Chip
14:20  

Test and Measurement Advances for Semiconductor Supply Chain Assurance

Doug Carson - Keysight

 
14:40        
15:00 Break - Exhibition open and Networking
15:30 Advanced Verification Topics Students SemiCon Futures
Main Afternoon AI in DV UKESF Startups and Breakthrough Technologies Design for Test (DfT)
15:30

Design and Verification of an AI Accelerator in Neuromorphic Chips

Abhyarthana Bisoyi - Odisha University of Technology and Research

Abdelrahman Mohamed Ali     Sameer
15:50 Katharina Ceesay-Seitz, ETH Zurich Venkata Subramani Krishnamurthy , Tessolve    
16:10 Surinder Sood, ARM

Evaluating AI-Generated Formal Verification Harnesses for RTL Using an Open-Source, Non-Vacuity-Aware Flow

Dr Ramesh Krishnamurthy - University of Edinburgh

   
16:30 Drinks and Pizza
17:00 End of conference

Sponsors

If you would like to become a VF2026 sponsor please Contact Us.