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.