We’re sorry you missed the

Online Verification Meetup

About this event

At our third international On-line meetup on September 22nd ,  over 100 people from 21 countries logged-in to listen to expert speakers.

We’d love to have you joining us in future meetups. If you would like to be notified about next events and access the last meetup materials, please fill-in the form.

The meetup program was

Keynote presentation

Jyotika Athavale

Functional Safety and Soft Error Rate Modeling for Deep Learning Applications

Compliance to FuSa metrics and SER requirements pose challenges for safety critical systems. This talk will focus on soft error rate modeling for functional safety, with a focus on product vulnerability factors for AI and Deep Learning applications. It will describe different considerations and approaches for derating, based on workloads, and will highlight methodologies to architect and design for transient reliability and safety in the context of artificial intelligence.

Technical presentation

Laurent Arditi

Easy Deadlock Verification and Debug with Advanced Formal

* Best Paper award at DAC’2020

Deadlock bugs are the scariest bugs, and the most difficult to find.
Formal verification techniques have clear advantages over simulation-based verification techniques for finding deadlock bugs, but the traditional formal methods used in industry are difficult to apply and debug.
This presentation shows how a new formal-tool feature substantially simplifies the application of formal verification to detect deadlocks.
We applied this technique to the verification of various units in a high-performance CPU design currently under development. It allowed us to more efficiently find RTL bugs, and formal testbench bugs; and, it made the debugging task shorter and less tedious.

Please fill-in to access the materials:

all rights reserved ©2020