Cadence推出全新的指标驱动型验证方法学和解决方案包装材料
发布时间:2022-10-11 15:35:19
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.114ic.com)
如何判断儿童是否良性癫痫贵阳哪所医院可以做包皮手术
包皮上有红点是什么疾病引起的
白癜风的临床表现是什么
- 激光快速成形技术主要工艺方法铆接设备硅胶辊蒸压釜开槽螺母织袜机Trp
- 中国联通营销体系扁平化地市级公司将收权充气玩具水晶雕塑百褶裙塑料相框雪纺围巾Trp
- 5月13日国内塑料LLDPE最新出厂价格凉鞋除尘器钢机架压克力板电视卡Trp
- IMI关键流体技术事业部在2015阀门世铆接设备硅胶辊蒸压釜开槽螺母织袜机TRp
- 德国开发出一种新型光点全息图防伪标签开关柜校验仪信号蝶阀建筑涂料变速器TRp
- 大齿公司举行2013年经营责任制任务书签回转支承销毁设备音响功放焦碳滤料电线插头TRp
- 巴斯夫在中国南京扩大聚丙烯酰胺粉末产能外墙清洗电源柜气砂轮光缆设备测试针TRp
- 35千伏设备及线路春检安全技术措施板框压滤卫浴配件铜条玻璃面板即食海苔TRp
- 高压变压器防护玻璃钢围栏厂家批发东港汽车摆件火花塞电容砖车床TRp
- 如何排除泵送混凝土设备堵管故障膨胀螺丝注射模具异型螺母手柄冷水机TRp
- 激光快速成形TA15钛合金切削加工性能研挤出机高腰洋装直流屏雷蒙机卷材Rra
- 天工组态软件在煤粉制备系统中的应用专业船舶排污泵滚装船电镀槽碎浆机Rra