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

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

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

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

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

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

來源：西門子數(shù)字化工業(yè)軟件