加入收藏

当前位置:主页 > 头 条 > 环球产业网: 新思科技凭借突破性机器学习技术将形式属性验证性能提高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系统以及日益增加的上市时间压力对形式属性验证性能和吞吐量的持续创新提出了新的需求。新思科技VC Formal包含全面的正式应用程序,包括属性验证(FPV)、时序等效性检查(SEQ)、寄存器验证(FRV)、形式覆盖率分析器(FCA)、连通性检查(CC)和属性自动提取(AEP),这些为意法半导体的多种不同应用提供了更快的属性收敛。结合新思科技VCS®功能验证解决方案的VC FormalVerdi®自动调试系统的原生集成使设计和验证团队能够轻松利用形式技术,并自动对形式结果进行根本原因分析。此外,VCS强大的覆盖引擎在VC Formal中的原生集成有助于将形式分析轻松插入到现有的验证环境中。

 

新思科技验证部门Manish Pandey表示,“机器学习已经成为解决高度复杂和前沿设计验证的强大技术。我们与意法半导体等行业领导者长期合作,为先进的SoC提供全面的验证解决方案。通过这些合作,我们正在将AI技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”

 

精彩推荐

友情链接

合作伙伴

飞驰环球文化传播 宣和书画艺术研究院 宣和艺术馆 环球空中艺术馆 宣和书画商城 环球文化收藏 名人数据库 时代名人录  环球公益在线 公益在线 志愿者在线 时代艺术频道  少儿艺术频道 时代少儿网 少儿时代艺术馆 少儿人物网 青少儿艺星网 宣和斋在线 崇宣文化网 怡生健康网 怡华娱乐网 崇辉产业网 崇文经贸网 宣和网 中怡网 华亿网 文艺网 工艺网 艺术家网 陶瓷艺术网 非遗文化网 名人艺术网 海外艺术网 环球产业网 时代产业网 产业经济网 国际经贸网 环球时代人物 环球文化艺术网 环球艺术之梦网 海外文化新闻网 环球文化新闻网 今日头条艺术网 飞驰环球产业网 环球经济信息网
环球公益在线 hqgyzx.com
网站备案号:京ICP备15029623号-2