Cadence XCELIUM v23.03.001版本新特性

Cadence XCELIUM v23.03.001: 高性能数字验证引擎在Arm Ecosystem中的优化应用与增强功能

在当今快速发展的半导体行业，电子设计自动化（EDA）工具作为核心资源，对于提高设计效能与精度发挥着关键作用。Cadence设计系统公司近期推出了最新一代验证解决方案——XCELIUM v23.03.001版本，针对Arm设计生态进行了深度优化与功能强化，旨在加速验证流程，提升设计质量，并最终缩短产品上市周期。本文旨在对XCELIUM v23.03.001进行专业解析，突出其实现的系统级验证能力、优化的性能和先进的功能特性。

JasperGold® 形式验证平台

作为Cadence验证工具的核心组成部分，JasperGold平台通过实现IP和子系统验证，尤其在Arm AMBA协议的形式化验证上展现出色性能。其利用国家标准的表达式与检查器（S specifications and checkers）支持模式识别与行为一致性验证，确保逻辑设计在实现阶段的正确性，并加速设计理解与调试过程。

Xcelium® 并行逻辑仿真器

Xcelium仿真器作为Cadence portfolio中的佼佼者，通过提供经过产品验证的多核仿真环境，显著提升了SoC研发与Arm相关设计验证的效率。其支持单核与多核仿真，增量和并行构建，及动态测试重新加载，确保了验证过程的连续性和高效性。Xcelium仿真器的性能优化与多核支持，使其成为半导体与SoC设计领域不可或缺的工具。

Palladium® Z1企业级仿真平台

Palladium Z1平台的集成稳定了Xcelium仿真性能，同时借助基于Arm快速模型的Hybrid技术，将操作系统启动提速幅度提升至50倍以上，软件运行速度更快高达10倍。结合动态功耗分析技术，Palladium Z1平台能够快速估计设计的能效，这些改进明显减少了验证过程中的能源消耗，符合现代半导体设计对能效优化的需求。




Protium S1 FPGA原型平台

Protium S1平台与Palladium Z1平台、Xcelium仿真器无缝结合，通过与Arm DS5的集成，为流片前嵌入式软件调试提供了强大的支持。这一集成加速了软硬件协同调试过程，使得开发者可以更高效地评估和调整个别组件以及整个系统的行为，为最终设计的稳健实现与稳定性打下坚实基础。

vManager™ 规划与度量工具

vManager工具通过全面的度量验证机制，确保了JasperGold平台、Xcelium仿真、Palladium Z1平台以及Cadence验证IP解决方案的配套优化与协同。这一工具加速了不同层面验证工具之间的性能优化，确保了Arm系统级芯片的设计验证过程能够顺利进行，并实现设计收敛的高效目标。

Perspec™ 系统验证工具

集成面向Armv8架构设计的PSLib，Perspec工具提供了针对Arm客户端的软件驱动用例验证能力。以此工具带动的设计验证过程，效率提升了至少10倍，极大地扩展了现有验证范围的深度与广度，推动了大规模系统级验证策略的落地与实施。

Indago™ 调试平台

Indago平台在对RTL设计、验证环境和嵌入式软件调试方面展现出强大功能，特别在基于Arm CPU的软硬件协同调试方面提供了独一无二的支持。这一结果显著提升了设计者在硬件实现阶段的效率，并减少了调试与优化所需要的时间。

Cadence验证工作台和互联工作台

Cadence验证工作台和互联工作台分别专注于ArmSocrates封装Armv8 IP和VIP的集成，以及与Xcelium仿真器、Palladium Z1平台结合进行的系统级性能快速分析与验证，加速了SoC集成和UVM测试环境的搭建。

验证IP组合提供全面支持

最后但至关重要的，Cadence验证IP组合覆盖了包括Arm AMBA互联在内的关键设计与验证需求，以支持Xcelium仿真器、JasperGold平台、Palladium Z1平台以及其他高级验证工具。这一集合资源确保了Arm生态系统中广泛设计需求的满足与优化。