xcelium是cadence的仿真工具，原型是incisive，對標synopsys的VCS

Cadence驗證套件針對Arm 設計進行了優(yōu)化：

JasperGold? 形式驗證平臺：實現(xiàn)IP和子系統(tǒng)驗證，包括Arm AMBA? 協(xié)議的形式化驗證
Xcelium? 并行邏輯仿真器：提供經(jīng)過產(chǎn)品驗證的多核仿真器，加速SoC研發(fā)和其余Arm的設計驗證
Palladium? Z1企業(yè)級仿真平臺：包括基于Arm 快速模型（Fast Model）集成的Hybrid技術，操作系統(tǒng)啟動最快提升50倍，基于應用軟件的軟件運行速度最快提升10倍，并利用動態(tài)功耗分析技術實現(xiàn)功耗快速預估
Protium? S1 FPGA原型平臺：與Palladium Z1企業(yè)級仿真平臺集成使用，并可與Arm DS-5集成來進行流片前嵌入式軟件的調(diào)試
vManager?規(guī)劃與度量工具：為JasperGold平臺、Xcelium仿真、Palladium Z1平臺和Cadence VIP解決方案提供度量驗證，實現(xiàn)Arm系統(tǒng)級芯片的驗證收斂
Perspec? 系統(tǒng)驗證工具：結合面向Armv8架構設計的PSLib，提供軟件驅(qū)動的用例驗證，較傳統(tǒng)驗證激勵開發(fā)效率最高提升10倍
Indago? 調(diào)試平臺：可對RTL設計、驗證環(huán)境和嵌入式軟件進行調(diào)試， 并支持基于Arm CPU的軟硬件協(xié)同調(diào)試
Cadence驗證工作臺：與Arm Socrates?封裝 Armv8 IP和VIP相結合，實現(xiàn)快速的SoC集成和UVM測試環(huán)境的搭建

Cadence互聯(lián)工作臺：可與Xcelium仿真器、Palladium Z1平臺和Cadence驗證IP同時使用，對基于Arm CoreLink? 互聯(lián)IP的系統(tǒng)進行快速的性能分析與驗證
驗證IP組合：實現(xiàn)包括Arm AMBA互聯(lián)在內(nèi)的IP和SoC驗證，支持Xcelium仿真器、JasperGold平臺和Palladium Z1平臺

產(chǎn)品：Cadence XCELIUM

版本：23.03.x（XCELIUMMAIN）基本版

支持的體系結構：x86_64

網(wǎng)站主頁：http://www.cadence.com

支持的語言：英語

系統(tǒng)要求：Linux*

尺寸：6.8 Gb

23.03.002、23.03.001

鏈接：https://pan.baidu.com/s/139x84R-RCsdlCsLe5DzKJg?

提取碼：ud05?

--來自百度網(wǎng)盤超級會員V6的分享