• OneSpin Solutions為西門(mén)子帶來(lái)功能強大的IC完整性驗證解決方案和卓越的技術(shù)知識，以及廣泛的自動(dòng)化形式驗證應用組合。

• 此次收購進(jìn)一步擴展了西門(mén)子的IC驗證產(chǎn)品組合，幫助客戶(hù)提高效率，從而充滿(mǎn)信心地應對快速變化的應用領(lǐng)域。 

西門(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?！?span style="text-indent: 2em;"> 

西門(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)品供應商地位?！?span style="text-indent: 2em;"> 

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

西門(mén)子數字化工業(yè)軟件致力于推動(dòng)數字化企業(yè)轉型，實(shí)現滿(mǎn)足未來(lái)需求的工程、制造和電子設計。西門(mén)子 Xcelerator 解決方案組合可幫助各類(lèi)規模的企業(yè)創(chuàng )建并充分利用數字化雙胞胎，為機構帶來(lái)全新的洞察、機遇和自動(dòng)化水平，促進(jìn)創(chuàng )新。

西門(mén)子數字化工業(yè)集團（DI）是自動(dòng)化和數字化領(lǐng)域的創(chuàng )新領(lǐng)袖。數字化工業(yè)集團與合作伙伴和客戶(hù)一起，推動(dòng)過(guò)程與離散行業(yè)的數字化轉型。通過(guò)數字化企業(yè)業(yè)務(wù)，數字化工業(yè)集團為各類(lèi)規模的企業(yè)提供可以集成在整個(gè)價(jià)值鏈的端到端產(chǎn)品、解決方案和服務(wù)，并實(shí)現數字化。針對各行業(yè)的不同需求，數字化工業(yè)集團不斷優(yōu)化其獨特的業(yè)務(wù)組合，幫助客戶(hù)提升生產(chǎn)效率和靈活性。數字化工業(yè)集團持續創(chuàng )新，將前沿科技不斷融入產(chǎn)品系列。西門(mén)子數字化工業(yè)集團總部在德國紐倫堡，在全球擁有大約7.6萬(wàn)名員工。 

關(guān)于西門(mén)子在中國：

西門(mén)子股份公司（總部位于柏林和慕尼黑）是全球領(lǐng)先的技術(shù)企業(yè)，成立170余年來(lái)，始終以卓越的工程技術(shù)、不懈的創(chuàng )新追求、優(yōu)良的品質(zhì)、出眾的可靠性及廣泛的國際性在業(yè)界獨樹(shù)一幟。西門(mén)子業(yè)務(wù)遍及全球，專(zhuān)注于服務(wù)樓宇和分布式能源系統的智能基礎設施，以及針對過(guò)程工業(yè)和制造業(yè)的自動(dòng)化和數字化等領(lǐng)域。西門(mén)子致力于促進(jìn)數字化世界和物理世界的融合，讓廣大客戶(hù)乃至全社會(huì )受益。通過(guò)其交通業(yè)務(wù)，西門(mén)子正幫助塑造全球客運和貨運服務(wù)市場(chǎng)。西門(mén)子交通業(yè)務(wù)是軌道和道路交通領(lǐng)域領(lǐng)先的智能交通解決方案供應商。憑借在上市公司西門(mén)子醫療的多數股權，西門(mén)子也是醫療科技和數字化醫療服務(wù)領(lǐng)域全球領(lǐng)先的供應商。此外，西門(mén)子持有西門(mén)子能源的少數股權，西門(mén)子能源是全球輸電和發(fā)電領(lǐng)域的領(lǐng)軍企業(yè)，自2020年9月28日起在證券交易所上市。西門(mén)子自1872年進(jìn)入中國，140多年來(lái)始終以創(chuàng )新的技術(shù)、卓越的解決方案和產(chǎn)品堅持不懈地對中國的發(fā)展提供全面支持。