
西門子數(shù)字化工業(yè)軟件近日與總部位于倫敦的 Azini Capital 簽訂了收購 OneSpin Solutions 的協(xié)議,OneSpin Solutions 是一家領(lǐng)先的形式驗證軟件供應(yīng)商,致力于幫助用戶確保集成電路(IC)的完整性,實現(xiàn)功能正確、安全、可信且可靠的 IC 設(shè)計。OneSpin Solutions 總部位于慕尼黑,業(yè)務(wù)增長十分迅速,其通過提供廣泛的形式驗證應(yīng)用程序產(chǎn)品組合,保障多個重點市場客戶的 IC 設(shè)計在嚴(yán)苛環(huán)境下依然可以正常運行。
自動化應(yīng)用程序?qū)τ诔晒?zhí)行形式驗證流程來說至關(guān)重要。形式驗證應(yīng)用程序可以自動執(zhí)行常見的驗證任務(wù),并且顯著簡化其驗證過程,為傳統(tǒng)的形式驗證技術(shù)提供了有力補充,有助于形式驗證流程的普及化。
西門子數(shù)字化工業(yè)軟件的 IC 驗證高級副總裁 Ravi Subramanian 博士表示:“隨著 OneSpin Solutions 的加入,我們現(xiàn)在可以為客戶提供先進的技術(shù)知識,領(lǐng)先的產(chǎn)品組合以及廣泛的自動化形式驗證應(yīng)用程序,能夠適用于各種關(guān)鍵型用例,包括信任和保密性、安全性、RISC-V 和 FPGA 應(yīng)用等。我們現(xiàn)有的形式驗證產(chǎn)品,再結(jié)合 OneSpin Solutions 的領(lǐng)域?qū)I(yè)知識、業(yè)界領(lǐng)先應(yīng)用程序產(chǎn)品組合以及‘應(yīng)用程序優(yōu)先’理念,可以使西門子依靠完整的驗證平臺(仿真、形式驗證、硬件仿真和原型驗證)幫助客戶提高效率并增強信心,進而實現(xiàn)更快速的驗證、自動化和 debug。”
西門子計劃將 OneSpin Solutions 技術(shù)添加到 Xcelerator? 解決方案組合之中,作為其業(yè)界領(lǐng)先的電子設(shè)計自動化(EDA)IC 驗證產(chǎn)品套件的一部分。
“OneSpin Solutions 一直致力于解決最棘手的驗證難題,以確保 IC 的完整性。我們獨有的技術(shù)和專長領(lǐng)域,推動了我們在包括 5G、汽車、數(shù)據(jù)中心、物聯(lián)網(wǎng)、航空航天等眾多行業(yè)內(nèi)實現(xiàn)了創(chuàng)記錄的增長,”O(jiān)neSpin Solutions 總裁兼首席執(zhí)行官 Raik Brinkmann 說道,“作為西門子的一部分,我們將加快技術(shù)研發(fā),為更廣泛的客戶群體提供因需制宜的解決方案,進一步鞏固領(lǐng)先的形式驗證產(chǎn)品供應(yīng)商地位。”
西門子對于 OneSpin Solutions 的收購預(yù)計將于 2021 年第二季度完成。交易條款尚未披露。
聲明:本內(nèi)容為作者獨立觀點,不代表電源網(wǎng)。本網(wǎng)站原創(chuàng)內(nèi)容,如需轉(zhuǎn)載,請注明出處;本網(wǎng)站轉(zhuǎn)載的內(nèi)容(文章、圖片、視頻)等資料版權(quán)歸原作者所有。如我們采用了您不宜公開的文章或圖片,未能及時和您確認(rèn),避免給雙方造成不必要的經(jīng)濟損失,請電郵聯(lián)系我們,以便迅速采取適當(dāng)處理措施;歡迎投稿,郵箱∶editor@netbroad.com。
利用人工智能提升車間生產(chǎn)效率 | 25-07-05 11:19 |
---|---|
西門子 NX 新增 AI 助手等多項功能 | 25-07-03 16:04 |
西門子 EDA 推新解決方案,助力簡化復(fù)雜 3D IC 的設(shè)計與分析流程 | 25-07-01 15:43 |
西門子通過生成式和代理式 AI 強化半導(dǎo)體和 PCB 設(shè)計軟件 | 25-06-24 16:08 |
西門子斬獲 2024 IDC PLM 和 CAD 領(lǐng)域 SaaS 客戶滿意度大獎 | 25-06-04 16:40 |
微信關(guān)注 | ||
![]() |
技術(shù)專題 | 更多>> | |
![]() |
技術(shù)專題之EMC |
![]() |
技術(shù)專題之PCB |