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
- 查
- 论
- 编
- Verilog
- VHDL
- AMS
- VITAL(英语:VHDL-VITAL)
- SystemVerilog
- SystemC
- Altera硬體描述語言(英语:Altera Hardware Description Language)
- Handel-C
- 屬性規範語言(英语:Property Specification Language)
- 統一電源格式(英语:Unified Power Format)
- PALASM
- 高階布林表達式語言(英语:Advanced Boolean Expression Language)
- 可程式化陣列邏輯(CUPL)
- OpenVera
- C to HDL(英语:C to HDL)
- Flow to HDL(英语:Flow to HDL)
- MyHDL(英语:MyHDL)
- JHDL
- ELLA (程式語言)(英语:ELLA (programming language))
- Accellera(英语:Accellera)
- Actel(英语:Actel)
- Achronix(英语:Achronix)
- AMD
- Aldec(英语:Aldec)
- Atmel
- 終止式(Cadence)
- 赛普拉斯半导体
- Duolog(英语:Duolog)
- Forte設計系統(英语:Forte Design Systems)
- 英特尔
- Lattice半導體(英语:Lattice Semiconductor)
- 國家半導體
- 明導國際
- Microsemi(英语:Microsemi)
- 西格尼蒂克
- 新思科技
- Magma設計自動化(英语:Magma Design Automation)
- Virage邏輯(英语:Virage Logic)
- 德州仪器
- Tabula (company)(英语:Tabula (company))
- 赛灵思
硬件 |
| ||||
---|---|---|---|---|---|
軟件 |
| ||||
IP |
|