Making your products more Reliable, Safe and Secure
Verification Futures Europe 20192019-05-21T07:31:21+00:00

Verification Futures 2019

Now in its 9th successful year, Verification Europe 2019 provides 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 is FREE to attend and attracted over 400 participants in 2018.   The conference program will once again include 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.

VF2019 provides the 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.

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

Registration

Registration for this event is now open.

REGISTER HERE

Conference Program  |  Thursday June 13

08:30

Arrival: Refreshments and Networking

09:25

Welcome to VF2019

Mike Bartley, Test and Verification Solutions Ltd

10:00

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.

10:00

Steve Wright, University of the West of England

10:10

Alan Robinson , Smart Ports

10:20

Richard Porter, GraphCore

10:30

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

11:00

Refreshments and Networking

11:30

Multi-Track Sessions (AM)

Track #1 (AM):

 Safety Track

12:10

Michael Ellims, Ricardo

Track #2 (AM):

 Software Testing Track

11:30

11:50

Xiaoji Chen

12:10

Alastair Donaldson, Google

Track #3 (AM):

 Formal Verification

11:30

Prof Colin O’Halloran, D-RisQ Ltd

11:50

Steve Holloway, Dialog Semiconductor

12:30

Lunch and Networking

13:30

Frank Schirrmeister, Cadence Design Systems (Platinum Sponsor)

14:00

14:20

Dave Kelf, Breker Verification Systems (Gold Sponsor)

14:40

Luca Rastello, Synopsys (Gold Sponsor)

14:55

Mike Bartley, Test and Verification Solutions Ltd.

15:00

Refreshments and Networking

15:30

Multi-Track Sessions (PM)

Track #1 (PM):

Security

15:50

Carsten Maple, WMG, University of Warwick

16:10

Peter Davies, Thales UK / AESIN

Track #2 (PM):

Hardware Verification (FPGA and ASIC)

15:30

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

16:10

James Moore, Leonardo UK

Track #3 (PM):

Artificial Intelligence in Verification

15:30

Kevin Surace, Appvance

16:10

Kerstin Eder, University of Bristol

16:30

Event Closes

Stay Informed

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

Sponsors

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