Skip to main content

Verification Futures 2019

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

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.

Close Menu