Cadence XCELIUM v23.03.002版本新特性介绍

Cadence XCELIUM v23.03.002：优化的Arm验证解决方案


引言

Cadence XCELIUM v23.03.002，作为Cadence验证工具套件中的最新版本，无疑是针对Arm生态系统设计验证的强力助威。这一版本集结了JasperGold®、Xcelium®、Palladium® Z1、Protium™ S1、vManager™，Perspec™，Indago™，以及Cadence验证工作台等各子平台的独特优势，旨在为Arm基础级芯片(System on Chip, SoC)的原型制作和大规模验证提供全面、高效的支持。通过对各种Arm相关技术和工具的深入整合，XCELIUM v23.03.002旨在满足现代集成电路设计中的高效率、性能优化、以及功耗控制的严格要求。




JasperGold® 形式验证平台优化

JasperGold® 形式验证平台在XCELIUM v23.03.002版本中得到了显著优化，不仅提升了对于Arm AMBA协议的数据库完整性，还特别针对高效能核心（L1级缓存、指令集、多处理器架构、控制逻辑）、控制单元（DMA控制器、寄存器文件、流水线化指令编码器）、PCIe接口，以及其他相关硬件组件的深度形式验证提供支持。这种全面的验证环境极大提升了IP和子系统级别的验证效率与质量，兼容广泛的Arm系列处理器和配套编程模型，以确保设计能满足多个应用场景的需求。

Xcelium® 并行逻辑仿真器加速

作为高性能Zynq原型系统的理想验证平台，Xcelium® 并行逻辑仿真器在本版本中进一步提高了多核协同仿真的速度和效率。「产品验证」层级的增强，意味着XCELIUM v23.03.002能够以更快的速度完成硬件描述语言(HDL)和系统级验证验证（SV）任务。通过利用CPU与GPU硬件加速技术，Xcelium®能够处理庞大、复杂的SoC设计，从而加快研发周期并提升验证精确度。

Palladium® Z1企业级仿真平台创新

Palladium® Z1企业级仿真平台是XCELIUM v23.03.002的核心模块之一，通过集成支持快速模型技术，不仅能显著提升Arm架构下操作系统(IO、CPU、DMA)的启动速度（高达50倍），还能将基于应用软件的运行速度加速到10倍。更重要的是，它采用了动态功耗分析技术，使得在设计阶段就能进行快速、准确的功耗预估，为工程师提供了宝贵的时间和资源优化策略。

Protium™ S1 FPGA原型平台互操作性

Protium™ S1 FPGA原型平台作为设计验证的物理实现阶段，与Palladium Z1平台紧密整合。针对Arm});