ModelSim

ModelSim 是明導國際^[1]提供的多語言 HDL 仿真環境，用於仿真諸如VHDL。Verilog和SystemC之類的硬體描述語言，並包含一個內置的 C 調試器。^[2]ModelSim可以單獨使用，也可以與Intel Quartus Prime、Xilinx ISE或Xilinx Vivado等軟體結合使用。^[3]仿真的執行可以使用圖形用戶界面（GUI）或自動腳本。^[4]

版本

Mentor HDL 仿真產品提供了多個版本，例如 ModelSim PE 和 Questa Sim。

Questa Sim 提供高性能和高級調試功能，而 ModelSim PE 是面向愛好者和學生的入門級模擬器。^[1]Questa Sim 用於數百萬邏輯閘的大型設計中，並在32位和64位的 Microsoft Windows 和 Linux 上受支持。

通過 Link for ModelSim，ModelSim 也可以與 MATLAB/Simulink 一起使用。^[5][6]Link for ModelSim 是 Simulink 和 ModelSim 之間的快速雙向協同仿真接口。對於此類設計，MATLAB 提供了一個數值仿真工具箱，而 ModelSim 提供了用於驗證設計的硬體實現和時序特性的工具。

語言支持

ModelSim 使用統一的內核來仿真所有受支持的語言，調試嵌入式 C 代碼的方法與 VHDL 或 Verilog 相同。^[1]

ModelSim 和 Questa Sim 產品支持以下語言的仿真，驗證和調試：^[1]

• VHDL
• Verilog
• Verilog 2001
• SystemVerilog
• PSL
• SystemC