invites you to the very best

Online Verification Meetup

September 22nd 2020

Israel 5pm | CET 4pm | GMT 3pm
US ET 10am | Central 9am | PT 7am

About this event

At Veriest, we believe in knowledge sharing. This is why we organize a series of on-line meetups attended by design & verification professionals from 15 different countries. So far, we hosted experts from Intel, ST Microelectronics, Texas Instruments, Axis Communications and other great companies.

We’re now inviting you to join our next event, with an interesting  keynote about Safety in Deep Learning devices and an award-winning  technical presentation about formal verification of deadlock cases.

Looking forward to having  you!

On-line Event

Link to meetup will be sent upon registration

Speakers and Agenda

Moshe Zalcberg

CEO, Veriest

Keynote presentation

Jyotika Athavale

Principal Engineer, Intel US; IEEE Senior Member

Functional Safety and Soft Error Rate Modeling for Deep Learning Applications

Technical presentation

Laurent Arditi

Sr. Principal Engineer, Arm France

Easy Deadlock Verification and Debug with Advanced Formal

* Best Paper award at DAC’2020



Total event duration 1:15 hr

Save your place!


all rights reserved ©2020

We are sorry you couldn't attend our International   On-line Verification Meetup

To access the meetup's materials

Professional Training