Cadence推出全新的指标驱动型验证方法学和解决方案

人们通常采用的融合驱动型验证（CDV）方法学，如开放式验证方法学（OVM）和e 复用方法学（eRM），已经提高了验证团队的质量与效率。然而，要创建一个实用的验证计划，在CDV流程中应用基于断言的验证（ABV）和形式验证，并且应对越来越大的数据量，在这些方面依然存在诸多挑战。Cadence现在提供了一种全新的指标驱动型验证（MDV）方法学和解决方案，对CDV进行拓展，以解决这些问题。

目前，Incisive? Enterprise Manager加入了一种新型的验证规划器，旨在辅助MDV验证计划的创建，直接或者交互式地附上Microsoft Word ?或者Adobe? PDF格式的规范。Incisive Formal Verifier的整合将指标进行扩展，加入了断言与核验，补充了Incisive Enterprise Simulator、Incisive Xtreme III与Incisive Palladium的指标，实现了统一的验证指标。Incisive Verification IP对应MDV，可适用标准协议的方法学。结合可升级的SQL数据库，可处理验证指标的爆炸性增长，并且在Incisive形式、测试环境模拟与加速技术中提供开放指标管理和分析。

这些创新可以更好地降低风险，将要求清楚地记录在可执行的规范中，贯穿硬件与嵌入式软件。他们以Microsoft Word或PDF格式为可执行的计划提供了项目要求的相关性，可以对变更进行管理与跟踪，同时将数百种规格变化造成的连锁反应相关的验证成本最小化。

Cadence 的企业验证技术将是CDNLive!硅谷一系列会议的主题, CDNLive!是Cadence的用户大会于今天在圣荷塞 Convention Center 和 Marriott Hotel开始举办.

详情见：www.cadence.com。