Skip to main content

Verification Futures Conference 2024 UK

The Verification Futures conference provides a unique blend of conference presentations, exhibitions, training and industry networking sessions dedicated to discussing the challenges faced in hardware and software verification. Verification Futures provides a unique opportunity for end-users to define their current and future verification challenges and collaborate with the vendors to create solutions. It also provides an excellent opportunity to network and catch up with other verification engineers and vendors from across Europe. Finally, we welcome students to encourage them on their first step into semiconductors as verification engineers.

Event at a Glance

Tuesday, 18 June 2024 – Full day conference, exhibition and networking event

Reading (UK) & online

FREE to attend conference In-Person or Online

Conference Program

08:30 Arrival: Breakfast and Networking Slides Videos
09:25 Welcome: Mike Bartley, Tessolve Semiconductor Ltd
Keynote Speakers

The Ghosts of Challenges Past, Present and Future

Andy Bond (Axelera AI)


Mobilise your data to drive predictable verification

Bryan Dickman, Joe Convey (Silicon Insights Limited)


Challenges of Developing Silicon for Automotive

Darren Galpin


AI and GenAI for Verification Productivity

Dr Andy Penrose(Cadence)


Skills. Twelve Months on from Semiconductor Strategy, is there Progress?

Stewart Edmondson(UK Electronics Skills Foundation)

11:05 Refreshments and Networking
Multi-Track Session (AM)
User presentations on Formal Verification

Taming formal with intelligent automation?

Tobias Ludwig (LUBIS EDA)


End to End Formal Verification of Processors with Fine-Grained Memory Protection

Professor Tom Melham (University of Oxford)


A Semi-formal approach to coverage analysis and System-on-Chip debugging

Dr. Surinder Sood(ARM)

Track 2 - Training Session 1

Introduction to Verification and SystemVerilog for Beginners

Matthew Taylor (Doulos)

Track 3 - VHDL Verification

Essential Steps to Simplify VHDL Testbenches Using OSVVM

Jim Lewis (SynthWorks Design Inc)

12:30 Lunch and Networking

Autonomous Verification – Are We There Yet?

Bradley Geden (Synopsys)


RISC-V Verification: New Techniques and Approaches for SoC Validation

Adnan Hamid (Breker Verification Systems)


Finishing coverage closure in a controlled way

Rainer Ulrich, Saurav Kumar (Advanced Micro Devices)


Introducing Smart Verification: Unleashing the Potential of AI within Functional Verification

Gabriel Chidolue, Siemens Digital Industries Software

15:00 Refreshments and Networking
Multi-Track Session (PM)
Track 1 - Latest topics in Verification

Challenges and opportunities in SystemC and HLS based functional verification

Sreejith Sudhakaran(Qualcomm Technologies International, Ltd. )


Extending riscv-dv to suit your specific needs.

Mike Thompson (OpenHW Group)


Presentation title speaker name and company name

Track 2 - Training Session 2

Is it easy to get started with UVM, or should I use Formal instead?

Matthew Taylor(Doulos)

Track 3 - UVM for MS Verification

Generic Monitor for Mixed Signal Designs

Peter Grove (Renesas)

Randomisation in the Real world

Steven Holloway (Renesas)

Track 4 - VHDL Verification

A pragmatic approach to improving your FPGA VHDL verification

Espen Tallaksen(EmLogic)

16:30 Event Closes


VF2024 was made possible through the generosity of the following sponsors. If you would like to become a VF2024 sponsor please Contact Us.

Close Menu