Skip to main content

Verification Futures 2022

Please check this page regularly for updates or sign-up for our monthly newsletter to receive updates on VF2022 and other Tessolve news.

The Verification Futures conference provides a unique blend of conference presentations, exhibition 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.

Organised by Tessolve in partnership with the verification community the event is FREE to attend and has attracted over 4000 participants since its inception in 2011.

Event at a Glance

Wednesday, 8 June 2022 – Full day conference, exhibition and networking event

Reading (UK) and 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
09:30 The Quest for Bugs

Bryan Dickman (Valytic Consulting), Joe Convey (Acuerdo)

Download View
User Top Verification Challenges
10:00 The Challenges of Verifying an Arm CPU

Scott Kennedy (ARM Ltd)

Download View
10:20 The lack of important verification knowledge

Espen Tallaksen (EmLogic)

Download View
10:30 What should I ask for this Christmas?

Rich Porter (Graphcore) Platinum Sponsor

Download View
11:00 Refreshments and Networking
Multi-Track Session (AM)
Track 1-User presentations on Verification (AM)
11:30 Using Neural Networks to Select Test Cases for Coverage Closure

Tim Blackmore (Infineon Technologies)

Download View
11:50 Enter the terrifying world of sim/synth mismatches

Anthony Wood (Graphcore)

Download View
12:10 Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors Mark Zwolinski , Bing Xue (University of Southampton) Download View
Track 2-Student Session – Introduction to SV & UVM (AM)
11:30 Getting Started with SystemVerilog and UVM

Dr David Long (Doulos) Gold Sponsor

Download View
12:30 Lunch and Networking
13:30 SoC Verification in the post-Moore era

Nick Heaton (Cadence Design Systems) Platinum Sponsor

At the request of the speaker slides & video will not be available
14:00 Why the Hell are They Here? – The Technology of Trading

Vanessa Voinic (Jump Trading ) Gold Sponsor

Download View
14:20 Unleashing AI/ML for Faster Verification Closure

Olivier Schnitzler (Synopsys) Gold Sponsor

At the request of the speaker slides & video will not be available
14:40 The Three Pillars of Intent-Focused Insight

Harry Foster (Siemens EDA) Gold Sponsor

Download View
15:00 Refreshments and Networking
Multi-Track Session (PM)
Track 1-Using AI/ML in Verification (PM)
15:30 Operationalising the adoption of AI to counter cyber attacks

Peter Davies (Thales Group)

Download View
15:50 Agency-directed test generation of AV testing in simulation Greg Chance (University of Bristol) Download View
16:10 Tackling the Verification Skills challenge in the UK

Stewart Edmondson (UK Electronics Skills Foundation)

Download View
16:20 TechNES Overview and introduction to The Academy

Steve Drew (TechNES)

Download View
Track 2-Student Session – What it is like to work in verification? (PM)
16:30 How Verification at Arm can kickstart your career

Conor Flanagan (ARM Ltd)

Download View
15:50 Jumping in the deep end – a graduate’s perspective on verifying an advanced AI chip

Mihai Olaru , Logan Fortune , Adam Hizzey (Graphcore Graduate)

Download View
16:10 Hardware-Software Co-Verification 101

Vladislav Rumiantsev (Cirrus Logic )

Download View
16:30 Event Closes

Sponsors

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

Close Menu