混凝土搅拌站厂家
免费服务热线

Free service

hotline

010-00000000
混凝土搅拌站厂家
热门搜索:
行业资讯
当前位置:首页 > 行业资讯

Cadence推出IEV带来形式分析与仿真引擎双重动力

发布时间:2020-07-21 18:26:34 阅读: 来源:混凝土搅拌站厂家

全球电子设计创新领先企业Cadence设计系统公司今天在CDNLive! Silicon Valley上推出了Cadence Incisive Enterprise Verifier (IEV)。它是一个整合式验证解决方案,可通过形式分析和仿真引擎的双重作用,带来独特和全新的功能。 IEV可帮助设计和验证工程师发现深藏的边角情形(corner-case)bug,能测试到单独使用形式或仿真引擎漏掉的隐蔽的覆盖点。 IEV通过更快建立设计和更快发现bug,可提高生产效率;通过产生更多指标提高可预测性,可促进验证闭合;并通过找出设计中的更多bug,可改善品质。

本文引用地址:内整合了仿真与形式功能,使工程师们能以新的方式利用断言。 形式分析中使用的相同断言可自动地由仿真引擎使用,以便为设计生成新的激励。 此外,IEV能在形式和仿真引擎间自动来回切换,既能利用仿真的快速设计探索,又能利用形式分析的验证彻底性。 设计和验证工程师从断言中获得了更高的收益,采用也变得更容易,因为IEV能在一个熟悉的仿真环境中提供强大的形式分析。 (点此观看IEV产品公告视频。)

“基于多语言方法,我们在标准验证流程中既使用形式分析也使用testbench仿真,”意法半导体MMS微控制器部门验证经理Mirella Negro Marcigaglia表示。 “Incisive Enterprise Verifier将这些技术综合,加速了我们在以前开发过程非常靠后的阶段才执行的那些任务,从而缩短了我们的项目验证时间。”

IEV可以在项目早期获得testbench之前检测到更多的bug和执行更多的覆盖指标。 IEV将仿真与形式紧密整合,提供的功能远超市场上现有的那些“混合”产品。 其特有的特性有:更容易的安装、针对大多数用户的自动操作、针对专家级用户的精细控制、断言调试功能等。 IEV还具有对验证规划的支持、服务器群(server farm)上的回归操作、多核性能改进、对回归运行上收集的指标的合并等。 IEV与Incisive Enterprise Manager无缝连接,可在各大型项目间达到指标驱动的验证。

“在今天的设计上进行彻底、高效的验证的难度,正随着设计本身的尺寸和复杂度的增长而同步增大,”Cadence企业验证产品营销总监Tom Anderson表示。 “对于任何希望推动他们验证项目的企业,Incisive Enterprise Verifier都应该能够引起他们的兴趣。 这一全新产品扩大了基于断言验证的范围,能找出更多bug,推动设计更快地朝验证闭合前进。”

我们将在周四在CDNLive! Silicon Valley大会的用户宣讲会上详细介绍Incisive Enterprise Verifier。

海口双眼皮修复

兰州牙齿矫正价格

海口面部填充价格

西安面部填充价格