Siemens Digital Industries Software is expanding its IC Verification Portfolio with an agreement with London-based Azini Capital to acquire OneSpin Solutions, a provider of formal verification software that helps ensure integrated circuit (IC) integrity and enables functionally correct, safe, trustworthy and secure IC designs. Headquartered in Munich, Germany, OneSpin Solutions has developed a fast-growing business by providing a broad portfolio of formal applications for assuring IC designs operate as intended under the most adverse environmental conditions across key growth markets.
Automated apps are increasingly critical to successful formal verification flows. Formal apps complement traditional formal techniques and help democratize formal verification processes by automating and dramatically streamlining common verification tasks.
Siemens plans to add OneSpin Solutions technology to the Xcelerator portfolio as part of its suite of electronic design automation (EDA) IC verification offerings.
Siemens’ acquisition of OneSpin Solutions is expected to close in the second quarter of calendar year 2021. Terms of the transaction are not disclosed.