沈阳沈河区网站建设,西安网站制作公司怎么选,智加设计公司,重庆主城推广网站建设一、概述 在文中#xff0c;我们将练习使用多个库。在实际的项目开发过程中#xff0c;我们可能有多个库来组织设计#xff0c;从第三方源代码访问IP#xff0c;或者在仿真之间共享公共部分。我们将通过创建一个包含计数器设计单元的资源库来开始本文。接下来#xff0c;我…一、概述 在文中我们将练习使用多个库。在实际的项目开发过程中我们可能有多个库来组织设计从第三方源代码访问IP或者在仿真之间共享公共部分。我们将通过创建一个包含计数器设计单元的资源库来开始本文。接下来我们将创建一个项目并将测试台编译到其中。最后我们将链接到包含计数器的库然后运行模拟。 二、设计文件及tb
2.1 设计文件 counter.v
// Copyright 1991-2014 Mentor Graphics Corporation
//
// All Rights Reserved.
//
// THIS WORK CONTAINS TRADE SECRET AND PROPRIETARY INFORMATION WHICH IS THE PROPERTY OF
// MENTOR GRAPHICS CORPORATION OR ITS LICENSORS AND IS SUBJECT TO LICENSE TERMS.
// timescale 1ns / 1ns
module counter (count, clk, reset);
output [7:0] count;
input clk, reset;reg [7:0] count;
parameter tpd_reset_to_count 3;
parameter tpd_clk_to_count 2;function [7:0] increment;
input [7:0] val;
reg [3:0] i;
reg carry;beginincrement val;carry 1b1;/* * Exit this loop when carry zero, OR all bits processed */ for (i 4b0; ((carry 4b1) (i 7)); i i 4b1)beginincrement[i] val[i] ^ carry;carry val[i] carry;endend
endfunctionalways (posedge clk or posedge reset)if (reset)count #tpd_reset_to_count 8h00;elsecount #tpd_clk_to_count increment(count);
/*****************************************************************
Use the following block to make the design synthesizable.
always (posedge clk or posedge reset)if (reset)count 8h00;elsecount count 8h01;
******************************************************************/
endmodule
2.2 仿真文件 tcounter.v
//
// Copyright 1991-2014 Mentor Graphics Corporation
//
// All Rights Reserved.
//
// THIS WORK CONTAINS TRADE SECRET AND PROPRIETARY INFORMATION WHICH IS THE PROPERTY OF
// MENTOR GRAPHICS CORPORATION OR ITS LICENSORS AND IS SUBJECT TO LICENSE TERMS.
// timescale 1ns / 1ns
module test_counter;reg clk, reset;
wire [7:0] count;counter dut (count, clk, reset);initial // Clock generatorbeginclk 0;forever #10 clk !clk;endinitial // Test stimulusbeginreset 0;#5 reset 1;#4 reset 0;endinitial$monitor($stime,, reset,, clk,,, count); endmodule
三、创建资源库Creating the Resource Library 在创建资源库之前请确保安装目录中的modelsim.ini是“只读”。这将防止将资源库永久映射到modelsim.ini文件中。
3.1 为资源库创建一个目录 创建一个名为 resource_library 的新目录把counter.v文件复制到这个目录下。
3.2 为 test bench 创建一个目录 创建一个名为 testbench 的新目录该目录用来保存test bench和项目文件。把 tcounter.v 复制到这个目录下。 在本文中我们创建了两个目录以模拟从第三方接收资源库的情况。如前所述我们将链接到第一个目录中的资源库。
3.3 打开modelsim 并把目录设置到 resource_library。
3.4 创建资源库 选择 File New Library 设置如下 单击“确定”后ModelSim将为库创建一个目录在库窗口中列出它并修改modelsim.ini文件以将来记录这个新库。 3.5 将 counter.v 编译到资源库中 点击编译按键 从库的列表中选择parts_lib库 选择counter.v文件进行编译选中后点击compile完成后点击Done。 3.6 将目录切换到testcounter
四、创建项目Creating the Project 现在我们将创建一个包含有 tcounter.v 的项目 1、创建项目File New Project项目名称设置为counter请确保选择了“Copy Library Mappings”。将使用默认的modelsim.ini文件点击OK。 2、 把 test bench 加载到项目中点击 Add Existing File 添加后结果如下 3、编译test bench
五、没有链接库的情况 Loading Without Linking Libraries 要想实现本文的最终目标我们需要链接到自己创建的资源库我们会在后面的部分实现这一目标但是现在我们先来试一下不链接到库的情况。这里我们以verilog的情况为例展开。 我们通过 vpot 命令进行优化
vopt acc test_counter -o testcounter_opt 得到了如下的结果显示counter模块未定义。 我们输入 quit -sim 以退出仿真。
六、链接到资源库Linking to the Resource Library 链接到资源库需要你在调用仿真器时指定一个“搜索库”。
1、在主界面点击仿真按键 2、单击工作库旁边的“”图标选择test_cecter选择不优化 3、选择libraries点击add browse找到part_libs目录进行添加结果如下 4、点击OK。最终结果如下 至此我们就可以正常进行仿真分析了。
