Siemens buys formal start-up OneSpin

Siemens Digital Industries Software has acquired formal verification specialist OneSpin Solutions.

The Munich-based company has been one of the highest profile EDA start-ups in recent years, specializing in formal apps that are intended to analyze the correctness, functional safety, trustworthiness, and security of designs.

OneSpin has made significant inroads in the fast-evolving automotive IC market, particularly around the ISO 26262 functional safety standard. It has been one of the early movers in creating a design infrastructure for the open-source RISC-V processor. The company has also made inroads into using machine learning to focus the use of formal algorithms during verification runs.

OneSpin’s apps and other research will be incorporated within the Siemens EDA Xcelerator verification and digital twin platform. The OneSpin app portfolio will also boost the company’s competitiveness with the Jasper range of formal apps offered by Cadence Design Systems.

The deal is expected to close during the current quarter. Terms were not disclosed.

In a statement, Ravi Subramanian, senior vice president for IC Verification at Siemens, said: “With the addition of OneSpin Solutions, we can now offer our customers industry-leading know-how, exceptional products and a broad portfolio of automated formal apps for key use-cases, including trust and security, safety, RISC-V and FPGA applications.

“The unique combination of Siemens’ existing formal products, together with OneSpin Solutions’ domain expertise, outstanding app portfolio and ‘apps-first’ mindset, can enable Siemens to provide customers with increased efficiency and confidence across the complete verification platform (simulation, formal, emulation and prototyping), leading to faster verification, automation and debug.”