PR: OneSpin Launches “App” for Formal Verification of Floating-Point Hardware Critical for Machine Learning and Deep Learning Chips - FirstEDA
22892
portfolio_page-template-default,single,single-portfolio_page,postid-22892,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.5.4,vc_responsive

PR: OneSpin Launches “App” for Formal Verification of Floating-Point Hardware Critical for Machine Learning and Deep Learning Chips

MUNICH, Germany and SAN JOSE, Calif. — Nov. 27, 2018 — OneSpin Solutions today launched OneSpin 360 DV Floating Point Unit (FPU) App, an application add-on to the OneSpin 360 DV Property Checker for the formal verification of floating-point hardware compliant with the IEEE 754 standard.