国产91九色_日本68xxxx_欧美高清另类自拍视频在线看_欧美人禽_99久久婷婷国产综合精品青牛牛_亚洲射情

• 　　OneSpin Solutions為西門子帶來(lái)功能強(qiáng)大的IC完整性驗(yàn)證解決方案和卓越的技術(shù)知識(shí)，以及廣泛的自動(dòng)化形式驗(yàn)證應(yīng)用組合。
• 　　此次收購(gòu)進(jìn)一步擴(kuò)展了西門子的IC驗(yàn)證產(chǎn)品組合，幫助客戶提高效率，從而充滿信心地應(yīng)對(duì)快速變化的應(yīng)用領(lǐng)域。

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

　　自動(dòng)化應(yīng)用程序?qū)τ诔晒?zhí)行形式驗(yàn)證流程來(lái)說(shuō)至關(guān)重要。形式驗(yàn)證應(yīng)用程序可以自動(dòng)執(zhí)行常見的驗(yàn)證任務(wù)，并且顯著簡(jiǎn)化其驗(yàn)證過(guò)程，為傳統(tǒng)的形式驗(yàn)證技術(shù)提供了有力補(bǔ)充，有助于形式驗(yàn)證流程的普及化。

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

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

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

　　西門子對(duì)于OneSpin Solutions的收購(gòu)預(yù)計(jì)將于2021年第二季度完成。交易條款尚未披露。