xcelium是cadence的仿真工具，原型是incisive，对标synopsys的VCS

Cadence验证套件针对Arm 设计进行了优化：

JasperGold® 形式验证平台：实现IP和子系统验证，包括Arm AMBA® 协议的形式化验证Xcelium® 并行逻辑仿真器：提供经过产品验证的多核仿真器，加速SoC研发和其余Arm的设计验证Palladium® Z1企业级仿真平台：包括基于Arm 快速模型（Fast Model）集成的Hybrid技术，操作系统启动最快提升50倍，基于应用软件的软件运行速度最快提升10倍，并利用动态功耗分析技术实现功耗快速预估Protium™ S1 FPGA原型平台：与Palladium Z1企业级仿真平台集成使用，并可与Arm DS-5集成来进行流片前嵌入式软件的调试vManager™规划与度量工具：为JasperGold平台、Xcelium仿真、Palladium Z1平台和Cadence VIP解决方案提供度量验证，实现Arm系统级芯片的验证收敛Perspec™ 系统验证工具：结合面向Armv8架构设计的PSLib，提供软件驱动的用例验证，较传统验证激励开发效率最高提升10倍Indago™ 调试平台：可对RTL设计、验证环境和嵌入式软件进行调试， 并支持基于Arm CPU的软硬件协同调试Cadence验证工作台：与Arm Socrates™封装 Armv8 IP和VIP相结合，实现快速的SoC集成和UVM测试环境的搭建

(资料图片)

Cadence互联工作台：可与Xcelium仿真器、Palladium Z1平台和Cadence验证IP同时使用，对基于Arm CoreLink™ 互联IP的系统进行快速的性能分析与验证验证IP组合：实现包括Arm AMBA互联在内的IP和SoC验证，支持Xcelium仿真器、JasperGold平台和Palladium Z1平台

产品：Cadence XCELIUM

版本：（XCELIUMMAIN）基本版

支持的体系结构：x86_64

网站主页：

支持的语言：英语

系统要求：Linux*

尺寸： Gb

、

链接：/s/139x84R-RCsdlCsLe5DzKJg 

提取码：ud05 

--来自百度网盘超级会员V6的分享