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.