OneSpin Solutions

Home » Companies » OneSpin Solutions

OneSpin Solutions GmbH provides formal verification solutions for ASIC, SoC, and FPGA designs. It offers 360 MV Product Family, a formal assertion-based verification solution for RTL designs available today; and 360 Equivalence Checker, an automated verification solution to show the functional equivalence of design representations.

Main location: 

, Munich, Germany

twitter: 
OneSpinSolution
https://www.onespin.com/