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的分享

關鍵詞：