Article: OneSpin Highlights Formal Verification’s Advantages at DVClub Europe, DVCon China - FirstEDA
22982
portfolio_page-template-default,single,single-portfolio_page,postid-22982,ajax_fade,page_not_loaded,,qode-child-theme-ver-1.0.0,qode-theme-ver-14.5,qode-theme-bridge,wpb-js-composer js-comp-ver-5.7,vc_responsive

Article: OneSpin Highlights Formal Verification’s Advantages at DVClub Europe, DVCon China

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