Cadence设计系统有限公司（www.cadence.com）和ARM（www.arm.com）7月3日发布了面向ARM技术的Cadence Functional Verification Kit（功能验证锦囊），为设计团队在验证基于ARM处理器的设计过程中提供低风险的验证闭合途径。 这一“锦囊”覆盖了从架构验证到软/硬件系统验证的验证流程，并都能与与Cadence经过验证的Incisive Plan-to-Closure方法学紧密结合，从而使诸如无线以及个人数字娱乐等领域的设计者在验证流程中获得更高的团队生产力和设计品质，以及更好的可预测性。
    ARM营销执行副总监Mike Inglis表示：“ARM和Cadence不断为我们共同的客户提供有价值的解决方案。双方在这一“锦囊”上的合作，采用了Cadence Plan-to-Closure方法学和经过ARM技术认证的AMBA验证IP，再次印证了我们为加速基于业界领先的ARM处理器设计的验证闭合所作的承诺。”
    Cadence的这一“锦囊”包括在Cadence Incisive平台之上专为基于ARM处理器设计而量身定做的模块、芯片、系统级的流程和验证方法学，Cadence应用咨询服务，用以演示这些方法学的基于ARM926处理器的参考设计以及一整套经过ARM 技术认证的AMBA验证IP（VIP）。此VIP包括可复用的验证计划，AMBA兼容指标、先进的测试环境、 形式和加速的协议断言、加速的事件转换器、周期精度的ARM处理器模型和ARM硬件仿真用的LogicTiles。
    “NeoMagic的MiMagic Application Processor系列能够在极低功耗的情况下为手持设备提供强大的多媒体性能。随着我们给基于ARM处理器的SoC设计添加更多功能并提升性能，我们所面临的验证挑战大大增加。”NeoMagic的VLSI设计与技术副总监Dr. Sudhir Chandratreya指出，“我们的团队在采用Cadence验证自动化解决方案来验证我们的SoC设计方面一直很成功。ARM和Cadence此次合作推出ARM功能验证锦囊用以简化AMBA兼容和验证闭合的实现是一个广受欢迎的重要举措。”
    AMBA方法学是Cadence锦囊的一个组成部分，也是广泛采用的、开放的SoC内部互连规范。Cadence基于AMBA方法学的Incisive验证IP（VIP）已经获得了ARM的AMBA 3 AXI Assured certification和AMBA 2 AHB compliance证书。这确保VIP正确地执行这些规范以及ARM eXtensible Verification Component(XVC)模拟界面。此外，Cadence的AXI和AHB可执行验证计划(vPlan)被证明可以为客户提供AMBA兼容。
    Cadence执行副总裁兼验证部门总经理Moshe Gavrielov表示：“面向ARM的Cadence功能验证锦囊能够帮助设计团队更从容地应对基于ARM处理器的复杂设计中的验证挑战。现在设计和验证团队终于拥有了一套基于成熟方法学的强大技术套件，从而能够更快地设计出高质量的硅片。”
    面向ARM技术的Cadence功能验证锦囊进一步强化了Cadence通过“锦囊”应对复杂电子设计挑战的战略。更多关于Cadence的ARM功能验证锦囊的信息，敬请浏览公司网站http://www.cadence.com/products/kits。    （完）