产品说明：

面向ARM技术的Cadence Functional Verification Kit (功能验证套件)为设计团队在验证基于ARM处理器的设计过程中提供低风险的验证闭合途径。软件覆盖了从架构验证到软/硬件系统验证的验证流程，并都能与与Cadence经过验证的Incisive Plan-to-Closure方法学紧密结合，从而使诸如无线以及个人数字娱乐等领域的设计者在验证流程中获得更高的团队生产力和设计品质，以及更好的可预测性。

Cadence的软件套件包括在Cadence Incisive平台之上专为基于ARM处理器设计而量身定做的模块、芯片、系统级的流程和验证方法学，Cadence应用咨询服务，用以演示这些方法学的基于ARM926处理器的参考设计以及一整套经过ARM技术认证的AMBA验证IP(VIP)。此VIP包括可复用的验证计划，AMBA兼容指标、先进的测试环境、形式和加速的协议断言、加速的事件转换器、周期精度的ARM处理器模型和ARM硬件仿真用的LogicTiles。

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兼容。