close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

DVClub Europe Q2: Artificial Intelligence in Verification

Bristol, Cambridge, Grenoble, Online | April 16

The discussion topic for the Q2 meeting of T&VS's DVClub Europe is Artificial Intelligence in Verification.VP Engineering Dominik Strasser joins the roster of experts to share his knowledge on, "Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof." 

Back

Related Links