Questa CDC 跨时钟域验证工具功能说明

西门子官方发布 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 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发布Xcelium 26.03，Spectre AMS Designer新增GPU加速支持，并允许模拟在模拟断言触发时停止。

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

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 厂商工具集成。

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

SIMATIC WinCC 产品线包含 WinCC Unified、WinCC V8、WinCC 开放架构以及 PM 与高级插件，覆盖从机器级 HMI 到分布式 SCADA 的可视化与归档需求。