|
西門(mén)子數字化工業(yè)軟件近日與總部位于倫敦的 Azini Capital 簽訂了收購 OneSpin Solutions 的協(xié)議，OneSpin Solutions 是一家領(lǐng)先的形式驗證軟件供應商，致力于幫助用戶(hù)確保集成電路（IC）的完整性，實(shí)現功能正確、安全、可信且可靠的 IC 設計。OneSpin Solutions 總部位于慕尼黑，業(yè)務(wù)增長(cháng)十分迅速，其通過(guò)提供廣泛的形式驗證應用程序產(chǎn)品組合，保障多個(gè)重點(diǎn)市場(chǎng)客戶(hù)的 IC 設計在嚴苛環(huán)境下依然可以正常運行。 自動(dòng)化應用程序對于成功執行形式驗證流程來(lái)說(shuō)至關(guān)重要。形式驗證應用程序可以自動(dòng)執行常見(jiàn)的驗證任務(wù)，并且顯著(zhù)簡(jiǎn)化其驗證過(guò)程，為傳統的形式驗證技術(shù)提供了有力補充，有助于形式驗證流程的普及化。 西門(mén)子數字化工業(yè)軟件的 IC 驗證高級副總裁 Ravi Subramanian 博士表示：“隨著(zhù) OneSpin Solutions 的加入，我們現在可以為客戶(hù)提供先進(jìn)的技術(shù)知識，領(lǐng)先的產(chǎn)品組合以及廣泛的自動(dòng)化形式驗證應用程序，能夠適用于各種關(guān)鍵型用例，包括信任和保密性、安全性、RISC-V 和 FPGA 應用等。我們現有的形式驗證產(chǎn)品，再結合 OneSpin Solutions 的領(lǐng)域專(zhuān)業(yè)知識、業(yè)界領(lǐng)先應用程序產(chǎn)品組合以及‘應用程序優(yōu)先’理念，可以使西門(mén)子依靠完整的驗證平臺（仿真、形式驗證、硬件仿真和原型驗證）幫助客戶(hù)提高效率并增強信心，進(jìn)而實(shí)現更快速的驗證、自動(dòng)化和 debug�！� 西門(mén)子計劃將 OneSpin Solutions 技術(shù)添加到 Xcelerator™ 解決方案組合之中，作為其業(yè)界領(lǐng)先的電子設計自動(dòng)化（EDA）IC 驗證產(chǎn)品套件的一部分。 “OneSpin Solutions 一直致力于解決最棘手的驗證難題，以確保 IC 的完整性。我們獨有的技術(shù)和專(zhuān)長(cháng)領(lǐng)域，推動(dòng)了我們在包括 5G、汽車(chē)、數據中心、物聯(lián)網(wǎng)、航空航天等眾多行業(yè)內實(shí)現了創(chuàng )記錄的增長(cháng)，”OneSpin Solutions 總裁兼首席執行官 Raik Brinkmann 說(shuō)道，“作為西門(mén)子的一部分，我們將加快技術(shù)研發(fā)，為更廣泛的客戶(hù)群體提供因需制宜的解決方案，進(jìn)一步鞏固領(lǐng)先的形式驗證產(chǎn)品供應商地位�！� 西門(mén)子對于 OneSpin Solutions 的收購預計將于 2021 年第二季度完成。交易條款尚未披露。 |
