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
参考资料
- ^ 1.0 1.1 1.2 1.3 Handbook of Digital Techniques for High-Speed Design （页面存档备份，存于互联网档案馆）, Pearson Education India, 01-Sep-2007
- ^ Reconfigurable Embedded Control Systems （页面存档备份，存于互联网档案馆）, Idea Group Inc (IGI), 30-Nov-2010
- ^ Digital Hardware Design （页面存档备份，存于互联网档案馆）, Laxmi Publications, Ltd., 01-Sep-2008
- ^ Synthesizable VHDL Design for FPGAs （页面存档备份，存于互联网档案馆）, Springer Science & Business Media, 21-Oct-2013
- ^ Industrial Control Technology （页面存档备份，存于互联网档案馆）, William Andrew, 12-Aug-2008
- ^ Recent Advances in Modeling and Simulation Tools for Communication Networks and Services （页面存档备份，存于互联网档案馆）, Springer Science & Business Media, 20-Sep-2007
参见
- Altera Quartus
- Icarus Verilog
- HDL模拟器列表（英语：List of HDL simulators）
- NCSim
- Verilator
- Xilinx ISE
- Xilinx Vivado
| |||||||||||||||||||||||||||||||||||||||||||
