Xcelium 26.03发布：混合信号仿真加入GPU加速与断言停止控制

Cadence Incisive（IES/irun）作为数字验证仿真平台，自 2017 年起由第三代多核引擎 Xcelium（xrun）官方承接，Cadence 提供从 Incisive 到 Xcelium 的迁移路径。

Xcelium以多语言逻辑仿真、并行编译、多核回归、混合信号、低功耗、机器学习与功能安全应用组成芯片验证平台。

Xcelium Logic Simulator 提供业界领先的核心引擎性能，支持多种硬件描述语言与验证方法学，并通过机器学习、多核与分布式等应用组合，帮助设计团队尽早达成验证收敛。

西门子官方发布 Questa Simulation & Debug Updates 2026.1，Questta 2026.1 带来更快的回归性能、新的调试可见性功能与覆盖率收敛增强，以应对日益复杂的 UVM/SystemVeril...

JasperGold（现官方名称为 Jasper Formal Verification Platform）由 C/C++ 与 RTL 两级形式化验证应用构成，融合智能证明、形式化签核、可视化调试与 AI 辅助能力，可与 Cadence 验...

Cadence Emulation Development Kit（EDK）面向 Palladium 与 Protium 平台，提供系统级建模、虚拟与物理接口预配置、SpeedBridge 适配及安全的远程访问能力，支撑 pre-silic...

Questa CDC 是西门子 EDA 面向多时钟域芯片设计的自动化跨时钟域（CDC）验证工具，自动生成并分析断言，识别跨时钟域同步错误。

Questa CodeLink 是西门子 EDA 的嵌入式软件硬件匹配验证工具，可在仿真、硬件仿真与企业原型环境中调试嵌入式软件，并提供离线回放、处理器中立适配与软硬件数据关联能力。

Questa CoverCheck 是西门子 EDA 的自动化形式化代码覆盖率检查工具，帮助验证团队更快实现代码覆盖率收敛，定位仿真中仍未覆盖的代码。

Questa Formal 是西门子 EDA 基于断言的形式验证工具，通过穷举验证设计行为，无需完整仿真激励即可完成属性检查，帮助在早期发现难以触发的功能缺陷。

Veloce 是西门子 EDA 的硬件辅助验证与确认系统（Veloce CS），提供 Veloce Strato CS 硬件仿真与 Veloce proFPGA CS 原型验证能力，覆盖首片流片前的完整系统验证。

随着半导体工艺持续推进到 3nm 及以下节点，芯片硬件安全的挑战已从逻辑漏洞扩展到物理层侧信道攻击。Ansys RedHawk-SC Security 从 RTL 到最终版图系统性检测硬件侧信道漏洞，覆盖功耗噪声、功耗轨迹、电磁辐射与热分布...

Cadence 发布 Spectre AMS Designer 26.03MAIN，随 XCELIUM 26.03 提供 GPU 加速支持（Spectre X GPU 引擎）与基于 Tcl stop 命令的 Spectre 模拟断言停止仿真...

Spectre AMS Designer 是 Cadence 面向模拟与混合信号（AMS）系统级验证的混合信号仿真器，集成 Xcelium 逻辑仿真与 Virtuoso 模拟环境，支持多语言建模与 GPU 加速仿真。

Cadence 将混合信号仿真工具 Virtuoso AMS Designer 更名为 Spectre AMS Designer，自 XCELIUM 25.09 起官方发布与产品资料均采用新名称。

Cadence 发布 XCELIUM 25.09，Spectre AMS Designer（原 Virtuoso AMS Designer）25.09MAIN 随该版本推出，新增 Spectre X 分布式处理（XDP）支持、动态修改模拟求...

Cadence 发布 CONFORMAL 25.1，并推出集成 AI/ML 的 Conformal AI Studio 新方案，覆盖逻辑等价性检查（LEC）、自动化 ECO 与低功耗静态签核，目标将 SoC 设计师效率提升达 10 倍。

西门子 EDA 的 HDL 仿真工具 ModelSim 已推进至 2025.2（V2025.2），2025 版本线由官方安全公告（SSA-637914 等）佐证，V2025.1/V2025.2 为修复版本，同时作为 Questa One S...

Cadence 于 2024 年 4 月发布新一代 Palladium Z3 企业级仿真平台与 Protium X3 FPGA 原型验证平台，Emulation Development Kit（EDK）作为配套软件开发套件随平台软件线同步更...

西门子 EDA HDL 仿真器 ModelSim 发布 2024.2（官方 GUI 参考手册版本），支持 VHDL/Verilog/SystemVerilog 与主流 FPGA 厂商工具集成。