<
>

2021新闻稿

2021年4月19日

西门子通过收购ONESPIN解决方案来扩展行业领先的IC验证组合

西门子数码行业软件已与基于伦敦的Azini Capital签署了协议,以获得ONESPIN解决方案,是一家正式验证软件的领先提供商,有助于确保集成电路(IC)完整性,并实现功能正确,安全,可靠和安全的IC设计。由于提供了广泛的正式应用程序(“APPS”),ANESPIN SOLUST解决方案在慕尼黑开发了强大的快速增长业务,以确保IC设计按主要增长市场中最不利的环境条件下的IC设计运作。
 
自动化应用对成功的正式验证流程越来越重要。正式的应用程序补充传统的形式技术,通过自动化和显着简化公共验证任务,帮助民主化正式验证流程。
 
“随着OSESPIN解决方案的增加,我们现在可以为客户提供业界领先的专业知识,特殊产品和广泛的自动化正式应用程序,包括钥匙用例,包括信任和安全,安全,RISC-V和FPGA应用程序,“西门子数字工业软件,普利副副总裁罗维·亚马拉曼,博士说。 “西门子现有的正式产品的独特组合,一起与签到解决方案的域专业知识,优秀的应用程序组合和”应用程序 - 首先“心态,可以使西门子能够为客户提供更高的效率和完整验证平台的信心(模拟,正式,仿真和原型化),导致更快的验证,自动化和调试。“
 
西门子计划为Xcelerator投资组合添加OneSpin解决方案技术,作为其行业领先的电子设计自动化套件(EDA)IC验证产品的一部分。
 
“ONESPIN解决方案一直致力于解决最困难的验证挑战,以确保IC完整性。我们的独特技术和焦点推动了许多领域的创纪录增长,包括5G,汽车,数据中心,物联网和航空航天/防御,“ONESPIN解决方案总裁兼首席执行官Raik Brinkmann说。 “成为西门子的一部分,允许我们加速技术开发,并将我们的急需解决方案提供给更广泛的用户基础,其目标是成为市场领先的正式验证提供商。”
 
西门子的收购预计在日历年的第二季度将近于2021年的第二季度。交易条款未披露。