• Cadence推出全新的指标驱动型验证狗万客户端方法

      设计系统公司宣布对其企业级验证解决方案进行大幅度改良,这项举措将会帮助项目与计划负责人更好地管理复杂的验证项目,从规格到闭合的整个过程都会有更高的透明度。通过这些改良,项目经理可以更为轻松地创建验证计划,提高其所管理项目指标的范围与可调整性,并独有地结合形式验证、环境模拟与验证加速指标,以便于综合验证流程管理。这些新能力可以创造出更高质量的产品、更有效率的多专家验证团队,并提高项目可预测性。狗万客户端

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

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