We are pleased to invite you to the upcoming AIDA4Edge webinar “Simulation-Based and Formal Verification of Digital Logic Designs,” presented by Prof. Michele Favalli from the University of Ferrara.

Join us on September 14 and learn more about simulation-based and formal methods for digital logic verification.

Webinar access: https://teams.microsoft.com/meet/328065684041808?p=OE1AfrQpYD5grWuKca