MUNICH, Germany, April 09, 2019 (GLOBE NEWSWIRE) — OneSpin Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will present its formal verification expertise through presentations, a poster session and an exhibit at DVClub Europe Q2 and DVCon China.
Dominik Strasser, OneSpin’s vice president of engineering, will offer “Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof” during the DVClub Europe Q2 Meeting on Artificial Intelligence in Verification Tuesday, April 16, at 12:25 p.m. BST. Strasser will outline how OneSpin leveraged formal verification data accumulated over close to 20 years to deliver next-generation automatic proof optimization strategies to a mix of formal users. The event is free of charge either in person at facilities in Bristol and Cambridge, U.K., and Grenoble France or online. Registration information is available at: https://bit.ly/2TY7DMp