小服AI 西门子数字化工业软件（Siemens EDA，原 Mentor Graphics）的 HDL 仿真与调试环境 ModelSim 当前最新 GA 版本为 ModelSim 2024.2（官方 GUI 参考手册标注 Software Version 2024.2）。ModelSim 是业界广泛使用的 VHDL、Verilog、SystemVerilog 仿真器，支持混合语言设计与断言式验证，常用于 FPGA 与 ASIC 的功能验证。
产品定位
ModelSim 提供高性能的 VHDL/Verilog/SystemVerilog 仿真引擎、先进的代码覆盖率分析、集成调试环境与波形查看器，并支持 Tcl/Tk 脚本自动化。它与 AMD Vivado、Intel Quartus Prime、Microchip Libero SoC、Lattice Diamond 等主流 FPGA 厂商工具紧密集成，是 FPGA 开发的事实标准仿真环境。在 Siemens EDA 产品矩阵中，ModelSim 定位于易用、成熟的仿真调试环境，更高端的 ASIC 验证则由 Questa（Questa Prime/Base/Core）承接。
当前版本（2024.2）能力
- 多语言仿真：VHDL、Verilog、SystemVerilog 及混合语言设计仿真，支持断言式验证。
- 调试环境：集成波形查看器、代码覆盖率分析与 Tcl/Tk 自动化脚本，便于回归测试与持续集成。
- 厂商协作：与 AMD（Xilinx）、Intel（Altera）、Microchip、Lattice 的 FPGA 设计流程无缝对接；MathWorks HDL Verifier 已对 Questa/ModelSim 2024.3_1 进行联合仿真测试。
- 平台支持：提供 Windows 与 Linux（64 位）桌面版本，支持离线模式。
版本演进
ModelSim 采用年度版本号。本检查点记录为 2020 版；官方文档与发行清单显示后续已发布 2024.1、2024.2（最新 GA），并与 Questa 2024.3 / 2025.1、Precision 2024.1/2025.1 等 Siemens EDA 年度版本保持协同。Siemens EDA 在 2026 年 4 月发布 2604 系列（Xpedition/HyperLynx/Valor），但 ModelSim 作为成熟仿真器保持独立的年度维护节奏。
