首页 > 科技浪潮 > 内容

西门子收购 OneSpin Solutions，进一步扩大 IC 验证产品组合

发布于：2024-06-06 编辑：匿名来源：网络

· 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 的收购预计将于今年第二季度完成。

西门子收购 OneSpin Solutions，进一步扩大 IC 验证产品组合

站长声明

标签：

上一篇：AMD收购Xilinx获股东批准

下一篇：林氏集团即将主办全球最具国际化的创新挑战赛，旨在激发年轻人对STEM的兴趣，并提出应对气候变化的未来解决方案

Realme GT大师探索版体验：骁龙870旗舰2899元起，大师打造

在电影界，大师（师父）有着自己的稀有属性，大多出现在武侠世界中电影中的故事背景。每年上映的武侠动作片数以万计，但如果你去豆瓣搜索，你会发现有几部电影敢于在片名中使用“师父”二字，并直接引用大师的意思（师父也）指教授）。的。在现实世界中，大师同样罕见，但

06-21
黑石创始人表示，在A股上市一定能够获得更好的直接融资

“未来，我肯定希望看到黑石集团在中国交易所上市。 ”全球最大私募股权投资基金黑石集团的掌门人、首席执行官苏世民此前曾说过这样的话。　　即使黑石集团真希望在中国上市，短期内显然也是无望的。目前，中国国际板尚无明确推出时间表。　　上交所研究院认为，未来十年

06-18
搜狗AI合成主播走出国门，向世界证明了中国的AI

随着搜狗AI合成主播技术的升级，在完成两个版本迭代后，近期再次因其“跨界”而受到海外市场的高度关注。语言”海外扩张，成为传媒行业海外明星产品。人工智能技术创新登陆国际市场。搜狗近日正式宣布与阿布扎比媒体集团达成合作，将推出全球首个阿拉伯语AI合成主播。对于

06-18
汇聚创新资源，促进产业与人才融合，“第五届遂昌县人才科技峰会”成功举办！

本次峰会由中共遂昌县委人才科技领导小组与阿里云共同主办。峰会以“家园遂昌，智造未来”为主题，“智创遂昌”Create@阿里巴巴众神活动为产业创新大赛，结合遂昌资源禀赋和产业发展需求，聚焦双轨“智能制造+数字经济”。其中，智能制造赛道重点关注金属制品及装备制造、新

06-18
为了庆祝巴赫334岁生日，谷歌推出了AI音乐“巴赫涂鸦”

任何对西方音乐史稍有了解的人都会知道巴赫。巴赫的全名是约翰塞巴斯蒂安巴赫，英文名字是约翰塞巴斯蒂安巴赫。 3月21日至7月28日出生，出生于音乐世家。作曲家，德国巴洛克时期最杰出的人物，被誉为“西方现代音乐之父”。巴赫创作了很多音乐作品，他的20个孩子中很多人也

06-18
2021年“绿色诺贝尔奖”揭晓，6位普通人获奖

现实世界里，有一群人，没有披风、铠甲、盾牌，没有超能力，却又被称为“英雄” ”。一年一度的高盛环境奖就是奖励这样一群环保界的“草根英雄”。该奖项由已故慈善家、理查德戈德曼夫妇于2001年创立，平均每人奖金高达15万美元，也是世界上最慷慨的环保奖项。因此，戈德曼

06-21
“股神”巴菲特青睐Groupon，亲自宣读IPO文件

北京时间7月9日凌晨，据美国商业网站ChicagoBusiness.com报道，“股神”沃伦巴菲特（沃伦巴菲特）将宣读IPO文件团购网站Groupon（首次公开募股）申请文件。　　Groupon是美国最大的团购网站。它拥有雇员，并在 100 多个城市开展业务。该公司于6月初提交了IPO申请，计划融资

06-17
佳源科技：2020年亏损近2亿元，同比下降超40%

今年佳源科技实现营业收入12.02亿元，同比下降16.86%；利润总额2.1亿元，同比下降44.70%；实现归属于母公司所有者的净利润1.85亿元，同比下降43.80%；扣除非经常性损益后归属于母公司所有者的净利润1.63亿元，同比下降48.04%。听，中小企业反馈平台。倾听用户需求，倾听创业

06-18
投资世界24小时 -王兴悄悄做LP，微软或以高达300亿美元收购TikTok，腾讯牵头洽谈虎牙斗鱼合并

延长阅读时间：2020年8月6日星期四重要新闻王兴悄悄做LP王兴的LP领地一直鲜为人知。投资界（ID：pedaily）获悉，王兴投资了一家风险投资机构——XVC。天眼查显示，王兴出现在宁波梅山保税港区轴心投资合伙企业（有限合伙）的股东名单中，持股比例为1.6%，而前者是知名创投机

06-17
海南证监局：支持“专精新板”健康发展，积极对接北交所发展机遇

9月2日，海南证监局局长李钢在《关于贯彻落实金融支持海南全面深化改革开放意见的实施方案》发布会：“下一步，我局将推动有关部门、市县政府、重点产业园区加快建立健全企业上市后备资源库，配合有关部门遴选优质企业在重点行业进行精准扶持和培育，支持海南股权交易中心“专

06-18
深度剖析商业保险与移动健康的中国式联姻

当前，随着国民对健康的重视，医疗健康保险的需求与日俱增。与此同时，外资保险公司也更加看好中国的巨大潜力，尝试通过多种渠道进入中国市场。事实是，更早之前，瑞士再保险和美国WellPoint相继成立医疗第三方管理公司（TPA）进入中国健康保险领域。在国外，保险公司和健

06-17
纺织辅料B2B辅布司获数千万元A轮融资，松鹤资本领投

据投资界3月20日消息，辅布司获得数千万元A轮融资，松鹤资本领投，其次是和才基金、万宏纺织投。本轮融资后，孔夫子将加大软硬件产品研发投入，增强市场拓展和供应能力。福建辅布司纺织有限公司于今年8月成立。是一家自营纺织配件批发交易平台。早期以花边尾货起家，现已

06-18