<h1>Verification Futures 2022</h1>
Please check this page regularly for updates or <a href=”https://www.tessolve.com/get-the-latest-test-verification-newsletters/”>sign-up for our monthly newsletter</a> 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.
<h2>Event at a Glance</h2>
<h4>Wednesday, 8 June 2022 – Full day conference, exhibition and networking event</h4>
<h4>Reading (UK) and online</h4>
<h4>FREE to attend conference In-Person or Online</h4>
<h3>Conference Program</h3>
<table>
<tbody>
<tr>
<td width=”10% “>08:30</td>
<td width=”200% “>Arrival: Breakfast and Networking</td>
<td width=”15%”>Slides</td>
<td width=”15%”>Videos</td>
</tr>
<tr>
<td>09:25</td>
<td>Welcome: Mike Bartley, Tessolve Semiconductor Ltd</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td><strong>Keynote Speakers</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>09:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/the-quest-for-bugs-2/” target=”_blank” rel=”noopener”>The Quest for Bugs</a>
Bryan Dickman (Valytic Consulting), Joe Convey (Acuerdo)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/2-Bryan-Dickman-Valytic-Consulting-Joe-Convey-Acuerdo.pdf” target=”_blank” rel=”noopener”> Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=skd47VX36uk” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td><strong>User Top Verification Challenges</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>10:00</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/the-challenges-of-verifying-an-arm-cpu/” target=”_blank” rel=”noopener”>The Challenges of Verifying an Arm CPU </a>
Scott Kennedy (ARM Ltd)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/3-Scott-Kennedy-ARM-Ltd.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=KeX8E7-VbdQ” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>10:20</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/the-lack-of-important-verification-knowledge/” target=”_blank” rel=”noopener”>The lack of important verification knowledge</a>
Espen Tallaksen (EmLogic)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/4-Espen-Tallaksen-EmLogic.pdf” target=”_blank” rel=”noopener”> Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=aGlvo6vxO-w” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>10:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/what-should-i-ask-for-this-christmas/” target=”_blank” rel=”noopener”>What should I ask for this Christmas?</a>
Rich Porter (Graphcore)<strong> Platinum Sponsor</strong></td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/5-Rich-Porter-Graphcore.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=WnU2CiCWFY8″ target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>11:00</td>
<td>Refreshments and Networking</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Multi-Track Session (AM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Track 1-User presentations on Verification (AM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td>11:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/using-neural-networks-to-select-test-cases-for-coverage-closure/” target=”_blank” rel=”noopener”>Using Neural Networks to Select Test Cases for Coverage Closure</a>
Tim Blackmore (Infineon Technologies)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/6-Tim-Blackmore-Infineon-Technologies.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=hsnvbYvm4EM” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>11:50</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/enter-the-terrifying-world-of-sim-synth-mismatches/” target=”_blank” rel=”noopener”>Enter the terrifying world of sim/synth mismatches</a>
Anthony Wood (Graphcore)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/7-Anthony-Wood-Graphcore-.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=WlSg_b7jMRQ” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>12:10</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/using-formal-methods-to-evaluate-hardware-reliability-in-the-presence-of-soft-errors/"” target=”_blank” rel=”noopener”>Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors</a> Mark Zwolinski , Bing Xue (University of Southampton)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/8-Mark-Zwolinski-Bing-Xue-University-of-Southampton.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=DqD-wzKUfEE” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Track 2-Student Session – Introduction to SV & UVM (AM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td>11:30</td>
<td><a href=”/verification-futures/vf2022/getting-started-with-systemverilog-and-uvm//” target=”_blank” rel=”noopener”>Getting Started with SystemVerilog and UVM</a>
Dr David Long (Doulos) <strong>Gold Sponsor</strong></td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/9-David-Long-Doulos.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=3g9cZFm-6J8″ target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>12:30</td>
<td>Lunch and Networking</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>13:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/soc-verification-in-the-post-moore-era/” target=”_blank” rel=”noopener”> SoC Verification in the post-Moore era </a>
Nick Heaton (Cadence Design Systems)<strong> Platinum Sponsor</strong></td>
<td colspan=”2″ width=”15%”>At the request of the speaker slides & video will not be available</td>
</tr>
<tr>
<td>14:00</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/why-the-hell-are-they-here-the-technology-of-trading/” target=”_blank” rel=”noopener”> Why the Hell are They Here? – The Technology of Trading </a>
Vanessa Voinic (Jump Trading ) <strong> Gold Sponsor</strong></td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/11-Vanessa-Voinic-Jump-Trading.pdff” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=Tg1_jvZAJeo” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>14:20</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/unleashing-ai-ml-for-faster-verification-closure/” target=”_blank” rel=”noopener”> Unleashing AI/ML for Faster Verification Closure </a>
Olivier Schnitzler (Synopsys)<strong> Gold Sponsor</strong></td>
<td colspan=”2″ width=”15%”>At the request of the speaker slides & video will not be available</td>
</tr>
<tr>
<td>14:40</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/the-three-pillars-of-intent-focused-insight/” target=”_blank” rel=”noopener”>The Three Pillars of Intent-Focused Insight</a>
Harry Foster (Siemens EDA) <strong> Gold Sponsor</strong></td>
<td style=”text-align: center;” width=”15%”><a href=”wp-content/uploads/2022/10/13-Harry-Foster-Siemens-EDA.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=UGMRTk459Hk” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>15:00</td>
<td>Refreshments and Networking</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Multi-Track Session (PM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Track 1-Using AI/ML in Verification (PM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr valign=”top”>
<td>15:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/operationalising-the-adoption-of-ai-to-counter-cyber-attacks/” target=”_blank” rel=”noopener”>Operationalising the adoption of AI to counter cyber attacks</a>
Peter Davies (Thales Group)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/14-Peter-Davies-Thales-Group-1.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=xh6bxDaq3p0″ target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>15:50</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/agency-directed-test-generation-of-av-testing-in-simulation/” target=”_blank” rel=”noopener”>Agency-directed test generation of AV testing in simulation</a> Greg Chance (University of Bristol)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/15-Greg-Chance-University-of-Bristol.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=U8ZRM399Wb0″ target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>16:10</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/tackling-the-verification-skills-challenge-in-the-uk/” target=”_blank” rel=”noopener”>Tackling the Verification Skills challenge in the UK</a>
Stewart Edmondson (UK Electronics Skills Foundation)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/16-Stewart-Edmondson-UK-Electronics-Skills-Foundation.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=oo7X8_z9GrI” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>16:20</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/technes-overview-and-introduction-to-the-academy/” target=”_blank” rel=”noopener”>TechNES Overview and introduction to The Academy</a>
Steve Drew (TechNES)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/17-Steve-Drew-TechNES.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=8_Xz-cROK-s” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td width=”10% “></td>
<td width=”45% “><strong>Track 2-Student Session – What it is like to work in verification? (PM)</strong></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>16:30</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/how-verification-at-arm-can-kickstart-your-career/” target=”_blank” rel=”noopener”>How Verification at Arm can kickstart your career</a>
Conor Flanagan (ARM Ltd)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/18-Conor-Flanagan-ARM-Ltd.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=nqwwZjUz0is” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>15:50</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/jumping-in-the-deep-end-a-graduates-perspective-on-verifying-an-advanced-ai-chip/” target=”_blank” rel=”noopener”>Jumping in the deep end – a graduate’s perspective on verifying an advanced AI chip </a>
Mihai Olaru , Logan Fortune , Adam Hizzey (Graphcore Graduate)</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/19-Mihai-Olaru-Logan-FortuneAdam-Hizzey-Graphcore.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=9eY-E3N0Z70″ target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>16:10</td>
<td><a class=”in-cell-link” href=”/verification-futures/vf2022/hardware-software-co-verification-101/” target=”_blank” rel=”noopener”>Hardware-Software Co-Verification 101</a>
Vladislav Rumiantsev (Cirrus Logic )</td>
<td style=”text-align: center;” width=”15%”><a href=”/wp-content/uploads/2022/10/20-Vladislav-Rumiantsev-Cirrus-Logic.pdf” target=”_blank” rel=”noopener”>Download</a></td>
<td style=”text-align: center;” width=”15%”><a href=”https://www.youtube.com/watch?v=-emOLQp9DoQ” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr valign=”top”>
<td>16:30</td>
<td>Event Closes</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
</tbody>
</table>
<h2>Sponsors</h2>
VF2022 was made possible through the generosity of the following sponsors. If you would like to become a VF2022 sponsor please <a title=”VF2022 Europe (UK)” href=”mailto:vfutures@tessolve.com?subject=VF2022 Europe (UK)”>Contact Us</a>.
The idea behind goldenstar-casino-online.com is clear: to create a casino experience that appeals to newcomers and seasoned players alike. Seasonal Advent calendars bring new surprises each day during December. The game library is regularly expanded with new releases from the most important software studios. Side statistics show hot and cold numbers directly at the game table. Exchange rates for foreign currency deposits are calculated transparently at the current market rate. Customer service uses an internal ticket system, so all enquiries are seamlessly documented. Strategy contests are aimed at experienced players of table and live games. The database is secured by redundant backup systems. The whole is coherent and invites an in-depth test.
