久久久91-久久久91精品国产一区二区-久久久91精品国产一区二区三区-久久久999国产精品-久久久999久久久精品

• OneSpin Solutions為西門子帶來功能強大的IC完整性驗證解決方案和卓越的技術知識，以及廣泛的自動化形式驗證應用組合。

• 此次收購進一步擴展了西門子的IC驗證產品組合，幫助客戶提高效率，從而充滿信心地應對快速變化的應用領域。 

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

自動化應用程序對于成功執行形式驗證流程來說至關重要。形式驗證應用程序可以自動執行常見的驗證任務，并且顯著簡化其驗證過程，為傳統的形式驗證技術提供了有力補充，有助于形式驗證流程的普及化。 

西門子數字化工業軟件的IC驗證高級副總裁Ravi Subramanian博士表示：“隨著OneSpin Solutions的加入，我們現在可以為客戶提供先進的技術知識，領先的產品組合以及廣泛的自動化形式驗證應用程序，能夠適用于各種關鍵型用例，包括信任和保密性、安全性、RISC-V和FPGA應用等。我們現有的形式驗證產品，再結合OneSpin Solutions的領域專業知識、業界領先應用程序產品組合以及‘應用程序優先’理念，可以使西門子依靠完整的驗證平臺（仿真、形式驗證、硬件仿真和原型驗證）幫助客戶提高效率并增強信心，進而實現更快速的驗證、自動化和debug。” 

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

“OneSpin Solutions一直致力于解決最棘手的驗證難題，以確保IC的完整性。我們獨有的技術和專長領域，推動了我們在包括5G、汽車、數據中心、物聯網、航空航天等眾多行業內實現了創記錄的增長，”OneSpin Solutions總裁兼首席執行官Raik Brinkmann說道，“作為西門子的一部分，我們將加快技術研發，為更廣泛的客戶群體提供因需制宜的解決方案，進一步鞏固領先的形式驗證產品供應商地位。” 

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

西門子數字化工業軟件致力于推動數字化企業轉型，實現滿足未來需求的工程、制造和電子設計。西門子 Xcelerator 解決方案組合可幫助各類規模的企業創建并充分利用數字化雙胞胎，為機構帶來全新的洞察、機遇和自動化水平，促進創新。

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

關于西門子在中國：

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