ModelSim 仿真流程简要

标签：files   时间   速度   val   existing   length   标签页   窗口   cal   

1.    ModelSim简介

    ModelSim分几种不同的版本：SE、PE和OEM，其中集成在 Actel(爱特公司)、Altera (阿尔特拉)、Xilinx(赛灵思)以及Lattice(莱迪思)等FPGA厂商设计工具中的均是其OEM版本，SE版本为最高级版本。ModelSim仿真分为功能仿真,门级仿真,时序仿真

    ◆  功能仿真(前仿真,代码仿真)

         主旨在于验证电路的功能是否符合设计要求，其特点是不考虑电路门延迟与线延迟，主要是验证电路与理想情况是否一致。可综合FPGA代码是用RTL级代码语言描述的，其输入为RTL级代码与Testbench.在设计的最初阶段发现问题，可节省大量的精力。

    ◆  门级仿真和时序列仿真  (后仿真)

     使用综合软件综合后生成的门级网表进行仿真，不加入时延文件的仿真就是门级仿真.可以检验综合后的功能是否满足功能要求，其速度比功能仿真要慢,比时序仿真要快。

    ◆  在门级仿真的基础上加入时延文件(.sdf)的仿真就是时序仿真， 比较真实地反映了逻辑的时延与功能.综合考虑电路的路径延迟与门延迟的影响，验证电路能否在一定时序条件下满足设计构想的过程，是否存在时序违规。

2.    ModelSim仿真的基本步骤

    首次运行modelsim时，先建立一个工作库，一般将这个工作库命名为work。后面建立的仿真工程（project）一般都是在这个work下面工作的。在用户界面模式下，点 File->New->Library，选择 a new library and a logical mapping to it，如下图所示（ModelSim SE 10），

    1）建立工程，启动ModelSim，选择菜单“File New Poject”，会打开“Creat Project”对话框，在“Creat Projec”t对话框中填写“Project Name”为“Test”，然后在“Project Location”栏中选择Project文件的存储目录，保留“Default Library Name”的设置为work，在弹出的对话框中选择Add Existing File，添加已经写好的源文件及测试文件（如果没有，可选择Create New File 进行创建）。

    2） 在工作区中的Project标签页中可以看到新加入的文件，单击右键，选取“Compile Compile All”命令对加入的文件进行编译

    3） 文件编译完后，用鼠标点击“Library”标签栏。在标签栏中用鼠标点击work库前面的“+”，展开work库，就会看到编译好的设计单元，点击测试文件选择仿真。

    4） 调出窗口（View -> Structure，View ->  object，View -> Wave），在object 窗口添加观察变量，运行仿真，在Wave中查看波形。

    5） 在Run_Length中选择单步运行时间；鼠标在黄线不同端，按住Ctrl，移动滑轮可调整观察波形时间

3.    ModelSim断点仿真

    1） 选择View > Files打开文件窗口，单击sim前的+，双击block.v打开源文件

   2） 滑动到21行，在行标的右侧单击。一个红色的球出现在行标的右边表示已经设置了一个断点（此断点可进行使能或移除）。

    3） 点击Run-All 运行，可见程序执行到断点处

4.    命令行执行

  force指令

    指令格式：force item_name value time,value time（item_name为端口信号或内部信号，支持通配符号，但只能匹配一个；value不能默认，time，可选项，支持时间单元）

force din 10#40000000    //从当前时刻起给din赋值10进制40000000；
force bus 10#F @100ns    //在100ns时刻给bus赋值10进制F；
force clr 0              //在当前仿真时间强制clr到0
force clr 1 100          //经历100个默认时间单元延迟后为clr赋值1；
force clr 1,0 100        //表示clr赋值1后，经历100个默认时间单元延迟后为clr赋值为0；

  force-repeat指令
    指令格式：force 开始时间 开始电平值，结束电平值 忽略时间（即0电平保持时间） -repeat 周期

force clk 0 0,1 20 -repeat 100  //表示强制clk从0时间单元开始，起始电平为0，结束电平为1，0电平保持时间为20个默认时间单元，周期为100个默认时间单元，占空比为80%

  force-cancel指令
    指令格式:force-cancel period（执行period周期时间后取消force命令）

force clk 0 0,1 30 -repeat 60-cancel 1000  //强制clk从0时间单元开始，到1000时间单元结束；

  run指令
    指令格式：run timesteps time_unit（timesteps时间步长，time_unit时间单元，可以是ps、ns等）

run 10          //表示运行10个默认时间单元；
run 200ns       //表示运行200ns；
run -all        //表示运行全过程；
run -continue   //表示继续运行

本例代码

 1 `timescale 1ns / 1ps
 2 module block(
 3     input clk_i,
 4     input rst_n_i,
 5     output reg [4:0]result_o
 6 );
 7     reg [3:0]A;
 8     reg [3:0]B;
 9     reg [4:0]C;
10 
11     always @(posedge clk_i)
12         if(!rst_n_i)
13             begin
14             #2   A = 4‘d4;
15             #0.2 B = 4‘d12;
16             #0.2 C = 5‘d0;
17             #0.2 result_o = 5‘d0;
18             end 
19         else  
20             begin
21             #2   C = A + B;
22             #0.2 result_o = (C >> 1);
23             end
24 endmodule

block.v

 1 `timescale 1ns / 1ps  //仿真时间单位/时间精度
 2 module unblock
 3 (
 4     input clk_i,
 5     input rst_n_i,
 6     output reg [4:0]result_o
 7 );
 8     reg [3:0]A;
 9     reg [3:0]B;
10     reg [4:0]C;
11     always @(posedge clk_i )
12         if(!rst_n_i)
13             begin
14             #2 
15             A <= 4‘d4;
16             B <= 4‘d12;
17             C <= 5‘d0;
18             result_o = 5‘d0;
19             end 
20     else  
21         begin
22         #2 
23         C <= A + B;
24         result_o <= (C >> 1);
25         end 
26 endmodule

unblock.v

 1 `timescale 1ns / 1ps
 2 module tb_test();
 3     reg clk_i;
 4     reg rst_n_i;
 5     wire[4:0]result1_o,result2_o;
 6     unblock unblcok_inst
 7     (
 8         .clk_i(clk_i),
 9         .rst_n_i(rst_n_i),
10         .result_o(result1_o)
11     );
12  
13     block blcok_inst
14     (
15         .clk_i(clk_i),
16         .rst_n_i(rst_n_i),
17         .result_o(result2_o)
18     );
19     
20     initial 
21         begin
22         clk_i =0;
23         rst_n_i =0;
24         #22 
25         rst_n_i =1;
26         end
27 
28     always #5 clk_i = ~clk_i;   
29 endmodule

tb_test.v

ModelSim 仿真流程简要

标签：files   时间   速度   val   existing   length   标签页   窗口   cal   

原文地址：http://www.cnblogs.com/yunfung/p/6829936.html