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

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

“Cadence验证解决方案在不断改进我们管理验证项目的方法，”Teradyne工程工具战略经理Dominic Wong说，“工程规格如今已成为完成高质量验证的重要文件。此外，我们对于形式验证有坚定的信念，并相信能够将我们的规格融入到流程中，更好地应用我们现有的方法学。” 

目前，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 Office 和Cadence技术，以提供Office世界与基于工作站的工程流程之间的独特联系，促进电子产品的开发，”微软" title="微软">微软EPG高科技与电子行业全球产业管理总监Sanjay Ravi说，“通过满足多专家SoC与系统开发团队的需要，提供更可靠的企业级验证过程，这次提供的新功能清晰地展示了微软与Cadence等公司合作开发角色型生产力解决方案所发挥的威力、以及取得的成功，这些方案通过熟悉的微软高效工具就可以广泛地访问企业数据与流程。” 

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

“我们对Cadence企业验证解决方案所做的改进，将会产生深远的影响，为管理者提供他们一直在寻找的可见性，确保他们复杂的项目验证能够如期进行，”Cadence企业验证部营销主管Michal Siwinski说，“通过我们的规划与项目管理技术实现的高效率，真的可以成为能否实现验证目标的决定因素，少了它，将会让项目风险大大提高。” 

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

关于Cadence  

Cadence公司成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、设计方法和服务，来设计和验证用于消费电子产品、网络和通讯设备以及计算机系统中的尖端开云棋牌官网在线客服器件、印刷电路板和电子系统。2007年，Cadence公司全球收入约16亿美元,现拥有员工约5,100名，公司总部位于美国加州圣荷塞市，公司在世界各地均设有销售办事处、设计中心和研究设施，以服务于全球电子产业。关于公司、产品及服务的更多信息，敬请浏览公司网站 www.cadence.com。