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

字符大小: 【】 【(默认)】 【

 

新思科技(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技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”

上市时间

包含回归模式加速器的VC Formal2018.09版本计划于2018年9月上市。

技术特刊

减小隔离式同步栅极驱动器的尺寸并降低复杂性带同步整流功能的隔离式DC-DC转换器的传统设计方法是使用光耦合器或脉冲变压器进行隔离,并将其与一个栅极驱动器IC结合在一起。
选择适合医疗器械应用的磁性元件多年来,可植入医疗器械变得越来越小。更小的器械可提高患者舒适度,植入时对人体的损伤也小。同时,更小的器械可降低手术的侵入性和复杂性,既方便医生操作,也
软件模拟+硬件仿真=验证成功如果您还没有注意到现在是SoC时代(虽然并非总是如此),不妨回想一下个人计算时代,许多实例都证明这个时代已快速衰落,成为历史。曾几何时,使用计算机意味着坐

热门研讨会

  • 在线研讨会:TI Type-C产品及应用 演讲人:李东咸, 张乃千 时间:2016年10月
    主办单位:21ic中国电子网 《今日电子》杂志
  • 在线研讨会:最大负载:脉冲功率的误区 演讲人:彭煜歆 时间:2016年12月
    主办单位:21ic中国电子网 《今日电子》杂志
  • 在线研讨会:面向量产的富士通全虚拟仪表解决方案 演讲人:杜复旦 时间:2015年12月
    主办单位:21ic中国电子网 《今日电子》杂志

站内搜索

相关文章

友情链接:幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇-  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇  幸运飞艇