西門子數字化工業軟件近日與總部位于倫敦的 Azini Capital 簽訂了收購 OneSpin Solutions 的協議，OneSpin Solutions 是一家領先的形式驗證軟件供應商，致力于幫助用戶確保集成電路（IC）的完整性，實現功能正確、安全、可信且可靠的 IC 設計。OneSpin Solutions 總部位于慕尼黑，業務增長十分迅速，其通過提供廣泛的形式驗證應用程序產品組合，保障多個重點市場客戶的 IC 設計在嚴苛環境下依然可以正常運行。

自動化應用程序對于成功執行形式驗證流程來說至關重要。形式驗證應用程序可以自動執行常見的驗證任務，并且顯著簡化其驗證過程，為傳統的形式驗證技術提供了有力補充，有助于形式驗證流程的普及化。

西門子數字化工業軟件的 IC 驗證高級副總裁 Ravi Subramanian 博士表示：“隨著 OneSpin Solutions 的加入，我們現在可以為客戶提供先進的技術知識，領先的產品組合以及廣泛的自動化形式驗證應用程序，能夠適用于各種關鍵型用例，包括信任和保密性、安全性、RISC-V 和 FPGA 應用等。我們現有的形式驗證產品，再結合 OneSpin Solutions 的領域專業知識、業界領先應用程序產品組合以及‘應用程序優先’理念，可以使西門子依靠完整的驗證平臺（仿真、形式驗證、硬件仿真和原型驗證）幫助客戶提高效率并增強信心，進而實現更快速的驗證、自動化和 debug。”

西門子計劃將 OneSpin Solutions 技術添加到 Xcelerator? 解決方案組合之中，作為其業界領先的電子設計自動化（EDA）IC 驗證產品套件的一部分。

“OneSpin Solutions 一直致力于解決最棘手的驗證難題，以確保 IC 的完整性。我們獨有的技術和專長領域，推動了我們在包括 5G、汽車、數據中心、物聯網、航空航天等眾多行業內實現了創記錄的增長，”OneSpin Solutions 總裁兼首席執行官 Raik Brinkmann 說道，“作為西門子的一部分，我們將加快技術研發，為更廣泛的客戶群體提供因需制宜的解決方案，進一步鞏固領先的形式驗證產品供應商地位。”

西門子對于 OneSpin Solutions 的收購預計將于 2021 年第二季度完成。交易條款尚未披露。