<h1>Verification Futures 2019</h1>
he 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 <strong>FREE to attend</strong> and attracted over 420 participants. The conference program included a dedicated track on formal verification in addition to a new track on ‘<strong>Artificial Intelligence in Verification‘</strong> 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.
<h2>Event at a Glance</h2>
<h4>Thursday June 13 – Full day conference, exhibition and networking event</h4>
<h4>Reading (UK) and online</h4>
<h4>FREE to attend conference In-Person or Online</h4>
<h4>Presentation Slides Now Available, see below.</h4>
<h2>Conference Program | Thursday June 13</h2>
<h3>Arrival: Refreshments and Networking – Breakfast Sponsored by Graphcore Ltd</h3>
<table dir=”ltr” border=”1″ cellspacing=”0″ cellpadding=”0″><colgroup> <col width=”516″ /> <col width=”270″ /></colgroup>
<tbody>
<tr>
<td colspan=”2″ rowspan=”1″ data-sheets-value=”{"1":2,"2":"Welcome to VF2019\r\n\r\nMike Bartley, Test and Verification Solutions Ltd"}”>Welcome to VF2019
Mike Bartley, Test and Verification Solutions Ltd</td>
</tr>
<tr>
<td>Keynote Speaker
<a class=”in-cell-link” href=”/verification-futures/vf2019/verification-and-validation-challenges-for-connected-and-autonomous-vehicles/” target=”_blank” rel=”noopener”>Verification and Validation Challenges for Connected and Autonomous Vehicles</a>
Tim Edwards, Horiba Mira Ltd</td>
<td><a href=”/wp-content/uploads/2022/10/Tim_Edwards-Horiba_Mira.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=SGvNgmFTti8&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td colspan=”2″ rowspan=”1″ data-sheets-value=”{"1":2,"2":"User Top Verification Challenges\n\nThree users share the top challenges they currently experience in performing test and verification and ask the industry and suppliers to respond."}” data-sheets-textstyleruns=”{"1":0,"2":{"5":1}}{"1":33}”>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.</td>
</tr>
<tr>
<td><a class=”in-cell-link” href=”/verification-futures/vf2019/verification-of-unmanned-aerial-vehicle-systems/” target=”_blank” rel=”noopener”>Verification of Unmanned Aerial Vehicle Systems</a>
Steve Wright, University of the West of England</td>
<td><a href=”/wp-content/uploads/2022/10/Steve_Wright-UWE.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=BEVzGZANz2M&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a class=”in-cell-link” href=”/verification-futures/vf2019/the-complexity-of-verification-in-automotive-is-increasing-with-iso26262-iso21434-and-adas-systems/” target=”_blank” rel=”noopener”>The complexity of verification in Automotive is increasing with ISO26262, ISO21434 and ADAS systems. What can we do to reduce this challenge?</a>
Mark Daniel, Infineon</td>
<td><a href=”/wp-content/uploads/2022/10/Mark_Daniel-Infineon.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=XPceVzh47Wg&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a class=”in-cell-link” href=”/verification-futures/vf2019/the-verification-challenges-in-building-massively-parallel-intelligent-processing-units-for-machine-intelligence-workloads/” target=”_blank” rel=”noopener”>The Verification Challenges in Building Massively Parallel Intelligent Processing Units for Machine Intelligence Workloads</a>
Richard Porter, GraphCore</td>
<td><a href=”/wp-content/uploads/2022/10/Rich_Porter-GraphCore.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=i6cKxM9ePQY&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a class=”in-cell-link” href=”/verification-futures/vf2019/holistic-verification-plans-include-formal-for-first-pass-success” target=”_blank” rel=”noopener”>First Pass Success Depends on Holistic Planning that Includes Formal</a>
Harry Foster, Mentor, a Siemens Company (Platinum Sponsor)</td>
<td><a href=”/wp-content/uploads/2022/10/Harry_Foster-Mentor.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=UZ1yH1pDUiA&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
</tbody>
</table>
<h3>Refreshments and Networking</h3>
<strong>Multi-Track Sessions (AM)</strong>
<table border=”1″>
<tbody>
<tr>
<td>Track #1 (AM): Safety Track</td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/verifying-human-automation-interaction-for-safety-critical-intelligent-systems/”>Verifying Human/Automation Interaction for Safety-Critical Intelligent Systems</a>
John Colley, University of Southampton</td>
<td><a href=”/wp-content/uploads/2022/10/John_Colley-Southampton_University.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=n7-f8_6Wqyk&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/the-emerging-standards-landscape-for-cav-security-safety-and-testing/”>The Emerging Standards Landscape for CAV Security, Safety and Testing</a>
Alex Price, BSI</td>
<td><a href=”/wp-content/uploads/2022/10/Alex_Price-BSI.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=omM9VG7FpOk&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/autonomous-vehicles-and-validation/”>Autonomous Vehicles and Validation</a>
Michael Ellims, Ricardo</td>
<td><a href=”/wp-content/uploads/2022/10/Michael_Ellims-Ricardo.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=9B68p5fzWsw&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>Track #2 (AM): Software Testing Track</td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/robochart-and-robosim-verified-simulation-for-robotics/”>RoboChart and RoboSim: Verified Simulation for Robotics</a>
Jim Woodcock, University of York</td>
<td><a href=”/wp-content/uploads/2022/10/Jim_Woodcock-York_University-1.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=68iQo-xNhb8&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/introducing-ubers-open-source-autonomy-visualization-system/”>Introducing Uber’s Open-Source Autonomy Visualization System</a>
Xiaoji Chen</td>
<td><a href=”/wp-content/uploads/2022/10/Xiaoji_Chen-Uber.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=hMn2qkFGJs4&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/graphicsfuzz-metamorphic-testing-for-graphics-shader-compilers”>GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers</a>
Alastair Donaldson, Google</td>
<td><a href=”/wp-content/uploads/2022/10/AlastairDonalson-Google.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=r2GHwhCbcKo&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>Track #3 (AM): Formal Verification</td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/assuring-swarms/”>Assuring Swarms</a>
Prof Colin O’Halloran, D-RisQ Ltd</td>
<td><a href=”/wp-content/uploads/2022/10/Colin_OHalloran-Drisq.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=Rd_iXheOFKc&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/making-formal-normal-integrating-fv-into-your-verification-methodology/”>Making Formal Normal: Integrating FV into your Verification Methodology</a>
Steve Holloway, Dialog Semiconductor</td>
<td><a href=”/wp-content/uploads/2022/10/Steve_Holloway-Dialog.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=rgt-2NetjYI&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/formalizing-the-risc-v-isa-in-a-set-of-systemverilog-assertions-that-can-be-proven-to-be-complete-consistent-and-free-from-gaps/”>Formalizing the RISC-V ISA in a set of SystemVerilog assertions that can be proven to be complete, consistent, and free from gaps</a>
Sergio Marchese, OneSpin</td>
<td><a href=”/wp-content/uploads/2022/10/Sergio_Marchese1-OneSpinFormalRISC-V.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=6YT7r_ay-ac&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
</tbody>
</table>
<h3>Lunch and Networking</h3>
<table border=”1″>
<tbody>
<tr>
<td><a href=”/verification-futures/vf2019/optimizing-verification-throughput-a-connected-world-of-5g-and-ai-ml/”>Optimizing Verification Throughput a Connected World of 5G and AI/ML
</a>Frank Schirrmeister, Cadence Design Systems <strong>(Platinum Sponsor)</strong></td>
<td><a href=”/wp-content/uploads/2022/10/Schirrmeister-Verification-Futures.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=6x270eb-IYk&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/autonomous-vehicles-verification-a-perspective/”>Autonomous Vehicles Verification – A Perspective</a>
Yoav Hollander, Foretellix Ltd.</td>
<td>At the request of the speaker slides will not be available</td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/portable-stimulus-driving-hybrid-virtual-platforms-and-emulation-environments”>Portable Stimulus Driving Hybrid Virtual Platforms and Emulation Environments</a>
Dave Kelf, Breker Verification Systems <strong>(Gold Sponsor)</strong></td>
<td><a href=”/wp-content/uploads/2022/10/Dave_Kelf-Brekker.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=_rAAppHEksk&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/addressing-exascale-emulation-debug-complexity/”>Addressing Exascale Emulation Debug Complexity</a>
Luca Rastello, Synopsys <b>(Gold Sponsor)</b></td>
<td><a href=”/wp-content/uploads/2022/10/Luca_Rastello-Synopsys.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=IZsLil6p-1Q&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
</tbody>
</table>
<h3>Refreshments and Networking</h3>
<strong>Multi-Track Sessions (PM)</strong>
<table border=”1″>
<tbody>
<tr>
<td>Track #1 (AM): <strong>Security</strong></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/can-we-trust-hardware-detecting-malicious-logic-and-trojans-in-ips-and-socs/”>Can We Trust Hardware? Detecting Malicious Logic and Trojans in IPs and SoCs</a>
Sergio Marchese, OneSpin <strong>(Gold Sponsor)</strong>
(Apologies for poor sound quality)</td>
<td><a href=”/wp-content/uploads/2022/10/Sergio_Marchese2-OneSpinSecurityTrust.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=Sky_QdAVCcg&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td></td>
<td></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/establishing-trustworthy-cav-systems/”>Establishing Trustworthy CAV Systems</a>
Carsten Maple, WMG, University of Warwick</td>
<td><a href=”/wp-content/uploads/2022/10/Carsten_MapleWMG_UoWPeter-Davies-Presenting.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=-F6BI_Kb6Tc&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/verification-in-the-face-of-cyber-threat/”>Verification in the Face of Cyber Threat</a>
Peter Davies, Thales UK / AESIN</td>
<td><a href=”/wp-content/uploads/2022/10/Peter_Davies-ThalesUK.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=-F6BI_Kb6Tc&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td>Track #2 (AM): <strong>Hardware Verification (FPGA and ASIC)</strong></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/using-portable-stimulus-standard-an-automotive-case-study”>Using PSS (Portable Stimulus Standard): An Automotive Case Study</a>
Balasubramanian Gopalakrishnan, T&VS Consultant ( Presenting on behalf of Infineon Technologies UK ) (Apologies for poor sound quality)</td>
<td><a href=”/wp-content/uploads/2022/10/Balsu_Infineon.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=PicLmcC_uQE&amp=&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/co-simulation-between-c-model-for-hpcs-and-an-rtl-emulator-palladium-z1/”>Co-simulation between C++ model for HPCs and an RTL emulator (Palladium z1)</a>
Luis Gutierrez, Cray
(Apologies for poor sound quality)</td>
<td><a href=”/wp-content/uploads/2022/10/Luis_Gutierrez-Cray.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=YCMm80WuYxw&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/when-is-verification-not-verification/”>When is Verification not Verification?</a>
At the request of the speaker video will not be available</td>
<td><a href=”/wp-content/uploads/2022/10/Andy_Bond-Jump_Trading-1.pdf” target=”_blank” rel=”noopener”>Slides</a>
At the request of the speaker video will not be available</td>
</tr>
<tr>
<td>Track #3 (AM): <strong>Artificial Intelligence in Verification</strong></td>
<td></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/ai-driven-testing/”>AI Driven Testing</a>
Kevin Surace, Appvance</td>
<td><a href=”/wp-content/uploads/2022/10/Kevin_Surace-Appvance.ai-compressed.pdf” target=”_blank” rel=”noopener”>Slides</a><a href=”https://www.youtube.com/watch?v=7V7cY16LKF4&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/the-stochastic-life-of-your-software-and-its-probabilistic-symbolic-execution/”>The Stochastic Life of your Software and its Probabilistic Symbolic Execution</a>
Antonio Filieri, Imperial</td>
<td>At the request of the speaker slides will not be available</td>
</tr>
<tr>
<td><a href=”/verification-futures/vf2019/towards-intelligent-testing-of-avs-in-simulation/”>Towards Intelligent Testing of AVs in Simulation</a>
Abanoub Ghobrial, Trustworthy Systems Laboratory, University of Bristol</td>
<td><a href=”/wp-content/uploads/2022/10/Abanoub_Ghobrial-Trustworthy.pdf” target=”_blank” rel=”noopener”>Slides</a>
<a href=”https://www.youtube.com/watch?v=k2g_4eYHNv8&feature=youtu.be” target=”_blank” rel=”noopener”>View</a></td>
</tr>
</tbody>
</table>
<h2>Stay Informed</h2>
Watch this space or sign-up to receive the <a href=”https://www.testandverification.com/news/newsletter/”>T&VS Newsletter</a> which includes updates on all our events.
<h2>Sponsors</h2>
VF2019 was made possible through the generosity of the following sponsors.
The secret to the success of 50 crowns casino lies in a clear alignment with real player interests. Responsible gambling tools include deposit limits, reality checks and self-exclusion. Live Baccarat appears in various variants such as Speed Baccarat or Squeeze. Special missions during holidays lend the regular game routine an additional flavour. The promo section shows current campaigns with the remaining runtime. Low-volatility slots suit players who prefer regular smaller wins. VIP players receive dedicated managers who put together individual bonus offers. Mobile data usage is minimised through optimised graphics and compression. The minimum deposit often already starts at 10 units, so casual players can also easily get started. The balanced game selection makes it easy to discover something new time and again.
