探真科技获联想之星数千万元Pre-A轮投资
06-17
· OneSpin Solutions 为西门子带来了强大的 IC 完整性验证解决方案和卓越的技术知识，以及广泛的自动化形式验证应用程序组合； · 此次收购进一步扩大了西门子的IC验证产品组合，帮助客户提高效率并充满信心地应对快速变化的应用领域；西门子数字工业软件近期与伦敦 Azini Capital 签署协议，收购领先的形式化验证软件提供商 OneSpin Solutions，致力于帮助用户确保集成电路 (IC) 的完整性，实现功能正确、安全、值得信赖和可靠的 IC设计。
OneSpin Solutions 总部位于慕尼黑，是一家快速发展的企业，提供广泛的形式验证应用程序组合，以确保 IC 设计在多个关键市场的客户的恶劣环境中继续正常运行。
自动化应用程序对于成功执行形式验证过程至关重要。
形式化验证应用可以自动执行常见的验证任务，并显着简化验证过程，为传统形式化验证技术提供了有力的补充，有助于形式化验证过程的普及。
西门子数字工业软件 IC 验证高级副总裁 Ravi Subramanian 表示：“通过 OneSpin 解决方案的加入，我们现在可以为客户提供先进的技术知识、领先的产品组合以及广泛的自动化形式验证应用程序，可以 各种关键用例，包括信任和机密性、安全性、RISC-V 和 FPGA 应用。
我们现有的形式验证产品与 OneSpin Solutions 的领域专业知识、行业领先的应用程序组合和“应用程序”相结合。
“优先”理念使得西门子能够依靠完整的验证平台（仿真、形式验证、硬件仿真和原型验证）帮助客户提高效率、增强信心，从而实现更快的验证、自动化和调试。
“西门子计划使用 OneSpin Solutions 技术。
将其添加到 Xcelerator? 解决方案组合中，作为其行业领先的电子设计自动化 (EDA) IC 验证产品套件的一部分。
“OneSpin Solutions 一直在解决最严峻的验证挑战，以确保 IC 完整性。
我们独特的技术和专业领域推动了 5G、汽车、数据中心、物联网、航空航天等广泛行业的创纪录增长。
”OneSpin Solutions 总裁兼首席执行官 Raik Brinkmann 说道。
作为西门子的一部分，我们将加快技术研发，为更广泛的客户群提供定制化解决方案，进一步巩固我们作为形式化验证产品领先供应商的地位。
“西门子对 OneSpin Solutions 的收购预计将于今年第二季度完成。
版权声明：本文内容由互联网用户自发贡献，本站不拥有所有权，不承担相关法律责任。如果发现本站有涉嫌抄袭的内容，欢迎发送邮件 举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。
标签：
相关文章
06-17
06-17
06-06
06-17
06-18
06-17
最新文章
英特尔收购芯片制造商eASIC，进一步减少对CPU的依赖
西门子携手现代汽车、起亚公司，共同推动交通运输行业数字化转型
行业领导者制定 Open Eye MSA 来帮助实现高速光连接应用
三星电子和 NAVER 合作
意法半导体和 Leti 合作开发 GaN-on-Si 功率转换技术
青岛将大力发展高世代TFT-LCD和Micro LED项目
长电科技参加IMAPS器件封装大会
三星正式发布Exynos 990旗舰处理器