datasheet

新思科技推出回归模式加速器

2018-09-06来源: 互联网关键字:新思科技  回归模式加速器

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

 

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

 

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

 

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


关键字:新思科技  回归模式加速器

编辑:muyan 引用地址:http://www.eeworld.com.cn/IoT/2018/ic-news09064341.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。

上一篇:英特尔携手百度云,推动人工智能应用
下一篇:安森美半导体推出变革性物联网开发套件

关注eeworld公众号 快捷获取更多信息
关注eeworld公众号
快捷获取更多信息
关注eeworld服务号 享受更多官方福利
关注eeworld服务号
享受更多官方福利

推荐阅读

德赛西威联手新思科技----步入汽车电子虚拟开发新时代

德赛西威(深圳证券交易所股票代码:002920)和新思科技 (Synopsys, Inc.,纳斯达克股票市场代码:SNPS)今日联合宣布展开合作:通过使用新思科技提供的虚拟原型开发技术(Virtual Prototyping ),全面提升智能汽车的设计、研发和测试的效率。该技术为汽车行业带来了全新的方法学,重新定义智能汽车的研发流程,大幅提升研发效率。德赛西威将把该技术应用于包括智能座舱和ADAS在内的所有复杂电子系统的虚拟开发和测试。德赛西威总经理高大鹏表示,“汽车智能化对我们客户的产品品质和交付周期都提出了更高的要求,这是一个机遇和挑战并存的时代,我们必须从创新入手,为客户提供高智能、更具竞争力和安全性的汽车电子产品和服务。德
发表于 2019-04-16
德赛西威联手新思科技----步入汽车电子虚拟开发新时代

德赛西威与新思科技联手----步入汽车电子虚拟开发新时代

德赛西威(深圳证券交易所股票代码:002920)和新思科技 (Synopsys, Inc.,纳斯达克股票市场代码:SNPS)联合宣布展开合作:通过使用新思科技提供的虚拟原型开发技术(Virtual Prototyping ),全面提升智能汽车的设计、研发和测试的效率。该技术为汽车行业带来了全新的方法学,重新定义智能汽车的研发流程,大幅提升研发效率。德赛西威将把该技术应用于包括智能座舱和ADAS在内的所有复杂电子系统的虚拟开发和测试。 德赛西威总经理高大鹏表示,“汽车智能化对我们客户的产品品质和交付周期都提出了更高的要求,这是一个机遇和挑战并存的时代,我们必须从创新入手,为客户提供高智能、更具竞争力和安全性
发表于 2019-04-16
德赛西威与新思科技联手----步入汽车电子虚拟开发新时代

一平台,多引擎,新思科技全新Polaris 软件完整性平台问市

确保应用程序安全性需要多个部门协调,通常包括开发团队、DevOps团队以及安全团队。开发团队在写代码时查找并修复安全缺陷;DevOps 团队将安全检查无缝集成到 DevOps 工具链中;安全团队在产品组合中,从整体上管理应用程序安全风险。借助一个可靠的平台,各个团队间的协作将更加顺畅。 美国新思科技公司 (Synopsys, Nasdaq: SNPS)新推出的Polaris 平台通过在开发和构建/测试环境中使用相同的强大安全分析引擎,确保整个开发过程中获得一致的结果。 Polaris软件完整性平台将新思科技软件质量与安全的产品和服务的强大功能整合到一个集成解决方案中,帮助安全和开发团队更快地构建安全、优质的软件
发表于 2019-03-14
一平台,多引擎,新思科技全新Polaris 软件完整性平台问市

小广播

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2019 EEWORLD.com.cn, Inc. All rights reserved