Questa 2026.1 更新：回归性能与调试能力增强

Questa仿真验证平台深度解析：从功能特性到选型实践 一、Questa产品概述 Questa是Siemens EDA（原Mentor Graphics）旗下的一款高性能HDL仿真与验证平台，作为Questa验证平台的核心仿真引擎，它支持从...

Questa AFV提供真正的混合语言验证功能Questa AFV是以混合语言流程 (mixed language flow) 为目标的单核心验证解决方案，它同时支持SystemVerilog、VHDL、PSL和SystemC，使设计人员能...

Questa仿真 Questa先进的仿真器结合了高性能和大容量的仿真技术，采用统一的先进调试功能对工业界标准的语言进行更完整的支持。Questa先进的仿真器是Questa验证平台的核心仿真与验证引擎，它支持TLM到晶体管级的抽象，其包括了三...

JasperGold 形式化验证平台由 C/C++ 与 RTL 两级形式化验证应用构成，融合智能证明、形式化签核与可视化调试能力，可与 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发布Xcelium 26.03，Spectre AMS Designer新增GPU加速支持，并允许模拟在模拟断言触发时停止。

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

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 25.09，Spectre AMS Designer（原 Virtuoso AMS Designer）25.09MAIN 随该版本推出，新增 Spectre X 分布式处理（XDP）支持、动态修改模拟求...

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

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）作为配套软件开发套件随平台软件线同步更...