西门子收购OneSpin Solutions，进一步扩展业界领先的IC验证产品组合

• 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多年来始终以创新的技术、卓越的解决方案和产品坚持不懈地对中国的发展提供全面支持。

相关文章