Verification Futures 2019

The 9th Verification Europe conference provided a unique blend of tutorials, conference presentations, exhibition and industry networking sessions dedicated to discussing the challenges faced in hardware and software verification.

Organised by T&VS in partnership with the verification community the event was FREE to attend and attracted over 420 participants.   The conference program included a dedicated track on formal verification in addition to a new track on ‘Artificial Intelligence in Verification‘ as well as tracks covering safety, security, software testing, and of course hardware verification.

Once again Verification Futures provided a unique opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions. It also provided an excellent opportunity to network and catch up with other verification engineers and vendors from across Europe.

Event at a Glance

  • Thursday June 13  –  Full day conference, exhibition and networking event

  • Reading (UK) and online
  • FREE to attend conference In-Person or Online

  • Presentation Slides Now Available, see below.

Conference Program  |  Thursday June 13

Arrival: Refreshments and Networking – Breakfast Sponsored by Graphcore Ltd

Welcome to VF2019

Mike Bartley, Test and Verification Solutions Ltd

User Top Verification Challenges

Three users share the top challenges they currently experience in performing test and verification and ask the industry and suppliers to respond.

Steve Wright, University of the West of England

Harry Foster, Mentor, a Siemens Company (Platinum Sponsor)

Refreshments and Networking

Multi-Track Sessions (AM)

Track #1 (AM):

 Safety Track

Track #2 (AM):

 Software Testing Track

Track #3 (AM):

 Formal Verification

Prof Colin O’Halloran, D-RisQ Ltd

Lunch and Networking

Frank Schirrmeister, Cadence Design Systems (Platinum Sponsor)

Luca Rastello, Synopsys (Gold Sponsor)

Refreshments and Networking

Multi-Track Sessions (PM)

Track #1 (PM):


Sergio Marchese, OneSpin (Gold Sponsor)

(Apologies for poor sound quality)

Carsten Maple, WMG, University of Warwick

Track #2 (PM):

Hardware Verification (FPGA and ASIC)

Balasubramanian Gopalakrishnan, T&VS Consultant ( Presenting on behalf of Infineon Technologies UK )

(Apologies for poor sound quality)

Andy Bond, Jump Trading LLC

At the request of the speaker video will not be available

Track #3 (PM):

Artificial Intelligence in Verification

Kevin Surace, Appvance

Abanoub Ghobrial, Trustworthy Systems Laboratory, University of Bristol

Event Closes

Stay Informed

Watch this space or sign-up to receive the T&VS Newsletter which includes updates on all our events.


VF2019 was made possible through the generosity of the following sponsors.