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 - Cadence
10:30 Break - Exhibition Open and Networking
11:00 Verification Futures Students SemiCon Futures
Latest Verification Methods Verification Projects using Open Source/License-Free Tools Sponsor Track UKESF AI Design IP
11:00 Andy Bond  
11:30 Surinder Sood, ARM Ahmed Fergany

FPGA-based AI Super Resolution for 4K@60FPS Video Enhancement

Alexander Montgomerie-Corcoran - Heronic Technologies

11:50 Jerome Sauger, Axelera AI Bragadeesh S, Tattvam AI 
12:10

Reliable Hardware Trojan Detection for RISC-V Processors using Formal Verification

Christian Appold - DENSO AUTOMOTIVE Deutschland GmbH

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
13:30          
14:00

Peter Grove - Renesas

Tessolve/Dream Chip

Complex protocol modelling with OSVVM co-simulation, exploring the PCIe VC

Simon Southwell - Wyvern Semiconductors

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

Ahmed Fergany     Sameer Saran , Siltest
15:50 Katharina Ceesay-Seitz, ETH Zurich Venkata Subramani Krishnamurthy , Tessolve    
16:10 Abhinaya Senthil, Silicondv

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.