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 FREE to attend and attracted over 420 participants. The conference program included 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.
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.
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
Presentation Slides Now Available, see below.
Conference Program | Thursday June 13
Arrival: Refreshments and Networking – Breakfast Sponsored by Graphcore Ltd
| Welcome to VF2019
Mike Bartley, Test and Verification Solutions Ltd |
|
| Keynote Speaker
Verification and Validation Challenges for Connected and Autonomous Vehicles Tim Edwards, Horiba Mira Ltd |
Slides View |
| 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. |
|
| Verification of Unmanned Aerial Vehicle Systems
Steve Wright, University of the West of England |
Slides View |
| The complexity of verification in Automotive is increasing with ISO26262, ISO21434 and ADAS systems. What can we do to reduce this challenge?
Mark Daniel, Infineon |
Slides View |
| The Verification Challenges in Building Massively Parallel Intelligent Processing Units for Machine Intelligence Workloads
Richard Porter, GraphCore |
Slides View |
| First Pass Success Depends on Holistic Planning that Includes Formal
Harry Foster, Mentor, a Siemens Company (Platinum Sponsor) |
Slides View |
Refreshments and Networking
Multi-Track Sessions (AM)
Lunch and Networking
| Optimizing Verification Throughput a Connected World of 5G and AI/ML Frank Schirrmeister, Cadence Design Systems (Platinum Sponsor) |
Slides View |
| Autonomous Vehicles Verification – A Perspective
Yoav Hollander, Foretellix Ltd. |
At the request of the speaker slides will not be available |
| Portable Stimulus Driving Hybrid Virtual Platforms and Emulation Environments
Dave Kelf, Breker Verification Systems (Gold Sponsor) |
Slides View |
| Addressing Exascale Emulation Debug Complexity
Luca Rastello, Synopsys (Gold Sponsor) |
Slides View |
Refreshments and Networking
Multi-Track Sessions (PM)
| Track #1 (AM): Security | |
| Can We Trust Hardware? Detecting Malicious Logic and Trojans in IPs and SoCs
Sergio Marchese, OneSpin (Gold Sponsor) (Apologies for poor sound quality) |
Slides View |
| Establishing Trustworthy CAV Systems
Carsten Maple, WMG, University of Warwick |
Slides View |
| Verification in the Face of Cyber Threat
Peter Davies, Thales UK / AESIN |
Slides View |
| Track #2 (AM): Hardware Verification (FPGA and ASIC) | |
| Using PSS (Portable Stimulus Standard): An Automotive Case Study
Balasubramanian Gopalakrishnan, T&VS Consultant ( Presenting on behalf of Infineon Technologies UK ) (Apologies for poor sound quality) |
Slides View |
| Co-simulation between C++ model for HPCs and an RTL emulator (Palladium z1)
Luis Gutierrez, Cray (Apologies for poor sound quality) |
Slides View |
| When is Verification not Verification?
At the request of the speaker video will not be available |
Slides
At the request of the speaker video will not be available |
| Track #3 (AM): Artificial Intelligence in Verification | |
| AI Driven Testing
Kevin Surace, Appvance |
SlidesView |
| The Stochastic Life of your Software and its Probabilistic Symbolic Execution
Antonio Filieri, Imperial |
At the request of the speaker slides will not be available |
| Towards Intelligent Testing of AVs in Simulation
Abanoub Ghobrial, Trustworthy Systems Laboratory, University of Bristol |
Slides View |
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.
