Cadence低功耗方法学锦囊
简化低功耗技术的采用，并优化其使用率。用完整的前端到后端的方法学、最佳范例、清单与参考流程消除风险。
了解更多 »
Cadence Incisive 验证锦囊
自动化与简化对于可重用的先进验证技术的采用，提高效率与可预测性。使用互动式方法，采用集成的Incisive工具流程，传授指标导向型验证方法学。
了解更多 »
Incisive Desktop Manager
Incisive Enterprise Manager
从系统级到门级执行多语言覆盖驱动型功能验证、分析与调试。测试向量自动生成。
了解更多 »
Incisive Enterprise Simulator
从规划到闭合的验证引导与自动化。包括SystemVerilog与功能覆盖能力。
了解更多 »
Incisive Enterprise Specman Elite Testbench
自动进行测试向量的生成与重用，提高模块、芯片与系统验证的产量和质量。
了解更多 »
Incisive Formal Verifier
在测试向量可用前，在RTL模块设计的调试与断言式验证中执行形式分析，加快设计合拢。
了解更多 »
Incisive Verification IP
支持高级测试向量、高阶测试向量的事务型加速，形式、仿真与加速型模块级验证的断言式VIP，以及模拟与电路内验证。面向类型广泛的复杂协议提供（PCI Express、AMBA、USB、OCP、Ethernet等），对应OVM，并支持多种IEEE标准语言。
了解更多 »
Incisive Xtreme series
提供Incisive仿真器的易用性、精确性、可控性与可视性，通过仿真与加速之间的即时热交换提供内置的加速与模拟功能。促进子系统与SoC的仿真加速与模拟。
了解更多 »
Open Verification Methodology
用标准库与可靠方法学促进真正的SystemVerilog互用性，简化即插即用型验证IP的开发与使用。
了解更多 »