ModelSim

ModelSim — многоязыковая среда компании Siemens^[1] (ранее разработанная Mentor Graphics^[2]) для моделирования языков описания оборудования, таких как VHDL, Verilog и SystemC, и включает в себя встроенный отладчик C^[3][2]. ModelSim можно использовать независимо или совместно с Intel Quartus Prime, PSIM^[4], Xilinx ISE или Xilinx Vivado^[5] Моделирование выполняется с помощью графического интерфейса пользователя (GUI) или автоматически с помощью скриптов^[6].

Продукты моделирования Mentor HDL предлагаются в нескольких редакциях, например ModelSim PE и Questa Sim.

Questa Sim предлагает высокопроизводительные и расширенные возможности отладки, в то время как ModelSim PE является симулятором начального уровня для непрофессионалов и студентов. ^[2] Questa Sim используется в крупных проектах, в составе которых используются миллионы логических элементов и поддерживается в Microsoft Windows и Linux в 32- и 64-битных архитектурах. ^[2]

ModelSim также можно использовать с MATLAB/Simulink с помощью Link for ModelSim^[7][8]. Link for ModelSim — это быстрый двунаправленный интерфейс для совместного моделирования между Simulink и ModelSim^[8][7]. Для таких проектов MATLAB предоставляет набор инструментов для численного моделирования, а ModelSim — инструменты для проверки аппаратной реализации и временных характеристик проекта^[8].

ModelSim использует единое ядро для моделирования всех поддерживаемых языков, а метод отладки встроенного кода C такой же, как у VHDL или Verilog^[2].

Продукты ModelSim и Questa Sim позволяют выполнять моделирование, проверку и отладку для следующих языков^[2]:

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

• Intel Quartus Prime
• Icarus Verilog
• List of HDL simulators
• NCSim
• Verilator
• Xilinx ISE
• Xilinx Vivado

mentor.com/products/fpga/verification-simulation/modelsim/ — официальный сайт ModelSim