ModelSim

ModelSim(モデルシム)は、米国メンター・グラフィックス社開発・販売のハードウェア記述言語用のシミュレータである。ハードウェア記述言語はVerilog (SystemVerilog)、VHDL、SystemCに対応し(コンパイル可能)、デバッグ環境でもある。
FPGA.
FPGA用には、以下のエディションもある。