加入收藏

当前位置:主页 > 公益资讯 > 环球产业网: 新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍

环球产业网: 新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍

来源:环球公益在线 | 发表日期:2018-09-11

导读:VC Formal 回归模式加速器实现更快的形式收敛 新思科技( Synopsys, Inc. ,纳斯达克股票市场代码: SNPS )宣布,推出一种基于人工智能( AI )的最新形式验证应用,即回归模式加速器。作为新思科技 VC Formal 解决方案的组成部分, VC Formal 采用最先进的

VC Formal回归模式加速器实现更快的形式收敛

 

新思科技(Synopsys, Inc.,纳斯达克股票市场代码: SNPS)宣布,推出一种基于人工智能(AI)的最新形式验证应用,即回归模式加速器。作为新思科技VC Formal®解决方案的组成部分,VC Formal采用最先进的机器学习算法,将设计和验证周期中的性能验证速度提高10倍。除了显著的性能提升,使用此应用还可加速形式属性验证,以便后续运行实现更好的形式收敛。回归模式加速器应用还能够在每日回归测试时显著节省计算资源,以验证复杂的芯片系统(SoC)设计,从而在过去无法实现的情况下运行形式验证。

环球产业网: 新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍

 

意法半导体研发设计经理David Vincenzoni表示,“作为领先的集成设备制造商,意法半导体致力于提供创新的解决方案,推动智能驾驶和物联网(包括智能工业)的最新技术发展,因此,设计人员需要能够提供最佳性能、易用性和高质量结果的形式验证解决方案。新思科技新推出的VC Formal回归模式加速器应用能够稳定地提供数量级的性能优化,同时改进了我们设计模块上最复杂的System Verilog Assertions其他不确定属性的收敛。”

 

日益复杂的SoC系统以及日益增加的上市时间压力对形式属性验证性能和吞吐量的持续创新提出了新的需求。