OneSpin Solutions

EDA vendor OneSpin provides software tools that allow engineers to create reliable, bug-free digital integrated circuits.

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. The company provides gap-free verification of configurable IP, tool-supported code reviews, reverse engineering of legacy code, and analysis of corner-case behavior, as well as gap-free verification of peripherals, processors, and sub-systems. It also offers product and methodology training, project coaching, project verification services. The company serves semiconductor and electronic system companies that target automotive, computer, consumer, industrial, and telecommunications applications. It has operations in North America, Europe, and Japan. OneSpin Solutions GmbH was founded in 2005 and is based in Munich, Germany.