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
Call for Submissions
Abstracts are now being invited for talks at VF2022. Talks on a wide range of topical verification issues are invited, including, but not limited to; artificial intelligence and machine learning in verification, safety, security, software testing, and of course hardware verification.
Please visit VF2022 for guidance on the types of presentations that we are looking for.
Conference Program – Provisional
| 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.
