- 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 解决方案组合可帮助各类规模的企业创建并充分利用数字化双胞胎，为机构带来全新的洞察、机遇和自动化水平，促进创新。欲了解有关西门子数字化工业软件的更多详情，敬请访问：www.sw.siemens.com。西门子数字化工业软件——数智今日 同塑未来。
如需了解更多信息，请访问西门子中国网站：www.siemens.com.cn。
敬请关注西门子中国官方微博http://weibo.com/siemens 和西门子媒体微信公众账号“西闻联播”（微信号xiwenlianbo）。
