Skip to main content

Artificial Intelligence in Verification

DVClub Europe Meeting – April 2019

Event at a Glance

Tuesday 16th April, 2019

11:30 – 14:00 BST

FREE to attend In-Person or Online

Join DVClub Europe

To receive updates on future meetings please subscribe to the DVClub Newsletter.

Can we improve verification with AI and Machine Learning?

Tool providers have continually improved the performance, capacity, and memory footprint parameters of functional verification engines over the past decade. Today, although the core anchors are still formal verification, simulation, emulation, and FPGA-based prototyping, a new frontier focusing on the verification fabric itself aims to make better use of these engines including planning, allocation, and metrics tracking.

At the same time, artificial intelligence (AI), big data, and machine learning are top of mind for every design team asking, ‘How do we make verification even more efficient given that all the core engines have improved and continue to improve; what’s the next level? When am I done verifying?

From an Original Article by Ann Steffora Mutschler, executive editor at Semiconductor Engineering.

In this DVClub Europe meeting we look to examine the current state of AI in Verification and see how the emerging tools and methodologies fit into our existing tool matrix and how they can applied to solve some of the current challenges in hardware and software verification.

dvclub logo

Agenda (BST):

Time Session Description           Slides              Videos
11.30 BST Arrival and Networking
12.00 BST Welcome and Introduction

Mike Bartley, Senior Vice President – VLSI Design, Tessolve

12.05 BST Deep Learning for Verification Engineers

John Aynsley, Co-Founder and Technical Fellow, Doulos Ltd

       Download       View
12.35 BST Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof

Dominik Strasser, VP Engineering, OneSpin Solutions

       Download       View
13.05 BST Closing Remarks
13.10 BST Networking

About DVClub

The principal goal of each DVCLUB meeting is to have fun while helping build the European verification community through regular educational and networking events. Attendance at DVClub Europe meetings is free and is open to all non-service provider semiconductor professionals. Each meeting addresses a specific issue faced by the design and verification community and whatever your speciality provides an excellent opportunity for updating knowledge as well as share experiences, insights and issues with other members of the verification community.


DVCLUB Europe is made possible through the generosity of our sponsors.

Close Menu