基于工程应用的Modelsim评估分析.pdfVIP

基于工程应用的 Modelsim 评估分析 北京空间机电研究所 潘卫军 一、前言 作为成功的第三方 EDA软件，Modelsim一直是业内公认强有力的 FPGA /ASIC验证工具。 本人在使用 Modelsim近一年的时间里，以自己的实际经历切实体会到这一点。在利用 Modelsim作为 FPGA验证工具的使用过程中，曾利用 Modelsim的强大功能解决过许多的工 程问题，并多次将 Modelsim的仿真结果与实测结果有意进行比较，发现仿真结果能比较切 实地反映了实测结果。但由于 Modelsim功能强大，本人对 Modelsim的一些工具的掌握还不 够深入，在此只能对 Modelsim做粗浅评估和分析。 二、Modelsim 的使用特点 1．创建无缝连接的联合平台 Modelsim的使用充分体现了方便简易的特点，一方面可以作为主调试界面为 FPGA验证 提供独立的调试平台。另一方面可以与众多 FPGA设计集成环境建立无缝连接的联合平台， 使 FPGA设计到 FPGA验证方便自然地过渡。 图 1 ISE中 Modelsim仿真工具的设定 以 ISE7.1为例，只需在 Preference中的 Integrated Tool中选定 Modelsim的安装路径即 可，如图 1所示。这样在 ISE中可以直接生成相应的 Testbench文件后，根据仿真需要，可 以选择不同模式的仿真，如 Behavior Mode，Post-Translate Mode，Post-Map Mode及 1 Post-PlaceRoute Mode。这种可以与 FPGA设计集成环境建立无缝连接的特性，为用户提供 了极大方便。 2． 丰富的 FPGA 验证工具 FPGA验证是一门具有丰富内涵的专业技术。随着 FPGA设计规模的不断扩大，对 FPGA 验证方法及自动化工具的要求也越来越高。作为一个验证工程师，不仅要具备 FPGA验证的 专业理论知识，而且有效地运用 FPGA验证工具进行 FPGA验证也成为验证工程师必须掌握的 专业技能。 Modelsim软件为验证工程师提供了诸多功能强大的验证工具，使验证工程师可以方便 的对设计进行有效验证。下面对 Modelsim的一些工具做一下简单总结： 支持多种验证语言，包括 VHDL，Verilog，SystemC，并支持混合编程 丰富的纠错工具，包括波形分析视窗，PSL断言及 Dataflow的信号跟踪等等工具。 代码覆盖率检查模块，对 HDL语句执行和分支情况进行报告，确保测试的完备性。 三、Modelsim 的验证实例 实例 1：利用 Modelsim 对 Xinlinx 公司 Virtex-II 产品 DCM 模块进行仿真。 DCM Sl_clk_i Sl_CLK0_o CLKIN CLK0 IBUFG OBUF CLKFB Sl_CLKFX_o CLKFX Sl_Rst_i OBUF RST LOCKED 图 2 基于 Virtex-II系列 DCM的模块设计图 如图 2所示，Sl_Clk_i为 100MHz的输入时钟，Sl_Rs