• 　　OneSpin Solutions為西門子帶來功能強大的IC完整性驗證解決方案和卓越的技術知識
  ，以及廣泛的自動化形式驗證應用組合。
• 　　此次收購進一步擴展了西門子的IC驗證產品組合，幫助客戶提高效率
  ，從而充滿信心地應對快速變化的應用領域。

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

　　zidonghuayingyongchengxuduiyuchenggongzhixingxingshiyanzhengliuchenglaishuozhiguanzhongyao。xingshiyanzhengyingyongchengxukeyizidongzhixingchangjiandeyanzhengrenwu，bingqiexianzhujianhuaqiyanzhengguocheng，weichuantongdexingshiyanzhengjishutigongleyoulibuchong，youzhuyuxingshiyanzhengliuchengdepujihua。

　　西門子數字化工業軟件的 IC 驗證高級副總裁 Ravi Subramanian 博士表示：“隨著 OneSpin Solutions 的de加jia入ru
，我wo們men現xian在zai可ke以yi為wei客ke戶hu提ti供gong先xian進jin的de技ji術shu知zhi識shi，領ling先xian的de產chan品pin組zu合he以yi及ji廣guang泛fan的de自zi動dong化hua形xing式shi驗yan證zheng應ying用yong程cheng序xu
，能neng夠gou適shi用yong於yu各ge種zhong關guan鍵jian型xing用yong例li，包bao括kuo信xin任ren和he保bao密mi性xing、安全性、RISC-V 和 FPGA 應用等。我們現有的形式驗證產品

，再結合 OneSpin Solutions 的領域專業知識、業界領先應用程序產品組合以及‘應用程序優先’理念，可以使西門子依靠完整的驗證平台（仿真、形式驗證、硬件仿真和原型驗證）幫助客戶提高效率並增強信心，進而實現更快速的驗證、自動化和 debug。”

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

　　“OneSpin Solutions一直致力於解決最棘手的驗證難題，以確保IC的完整性。我們獨有的技術和專長領域，推動了我們在包括5G
、汽車、數據中心
、物聯網、航空航天等眾多行業內實現了創記錄的增長
，”OneSpin Solutions 總裁兼首席執行官 Raik Brinkmann 說道，“作(zuo)為(wei)西(xi)門(men)子(zi)的(de)一(yi)部(bu)分(fen)，我(wo)們(men)將(jiang)加(jia)快(kuai)技(ji)術(shu)研(yan)發(fa)，為(wei)更(geng)廣(guang)泛(fan)的(de)客(ke)戶(hu)群(qun)體(ti)提(ti)供(gong)因(yin)需(xu)製(zhi)宜(yi)的(de)解(jie)決(jue)方(fang)案(an)
，進(jin)一(yi)步(bu)鞏(gong)固(gu)領(ling)先(xian)的(de)形(xing)式(shi)驗(yan)證(zheng)產(chan)品(pin)供(gong)應(ying)商(shang)地(di)位(wei)。”

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