Modelsim的仿真之路（激励文件“逆”生成）

前序

对于激励文件，我常用的是直接手写，最初学这个的时候，好像是用的Quartus里的那个Modelsim-Altera的工具去弄了下图形化编辑去制作约束，现在讲到这ModelSim了，也就再捡点来折腾下，还是有点学习价值，毕竟编辑的约束就真的很“直观”了。

~Show Time~

编译文件

其他的就不多回忆了，直接开正题吧，一如既往，把待用的文件准备好，这次就只需要一个counter.v的文件，然后把ModelSim的当前路径切换到你文件所放的路径，接着在脚本窗口敲：

vlib work

再把文件编译一下：

vlog counter.v

在菜单栏里 Simulate => Start Simulation，弹出来的窗口把文件选好准备进仿真界面；

产生激励信号

在仿真的界面，选中Objects的窗口里的clk，右键如下操作：

出来的界面，就是设置类型，然后就是开始和结束的时间，精度都是ns，根据自己情况改，我就默认Next下去

这个窗口就是让你配时钟参数,占空比、周期之类的，初始值写个0进去

接着就在Wave的界面出现一个带“Edit”还有红色标记的clk信号

时钟有了，就再加个复位信号

操作与上类似，类型就选个常数

把变量值写个0

结束后，就有复位信号出现了

因为这个文件的功能比较简单，所以有这两个信号就够用了，接着演示下怎么图形化的去编辑波形，从而得到自己想要的激励形式；

编辑激励信号

因为代码是使用的高电平复位，所以先让复位工作起来，再停止复位，就相当于在现在的0常量里头加一个高电平脉冲，先鼠标点下Wave的界面，然后工具栏里的这个Edit Mode的图标就会生效

把模式切换到编辑模式，选中reset，右键后的Wave Editor就可以看到Inset Pulse的功能

出现的设置项，就是要保持多长时间，已经开始插入脉冲的时刻；

reset就发生对应的变化

如果添加的不对，就可以选择好添加脉冲的边沿时刻，然后再工具栏找到“Delete Edge”的图标（右键Wave Editor里也是一样），点一下，出现的窗口是需要删除的边沿时刻，确定后就会把这个对应的时刻后边的整个边沿连续的部分，都删除（删除了记得再插回去哈，接着往下演）

如果复位时间感觉不够，就再补个拉伸的操作，把边沿扩长，比如在150ns的时刻，从后向前补50ns（就相当于高电平在前面的50ns）

然后就可以看到效果了，在边沿拉升到了100ns处

如果要往后面补，就选后边沿，从前往后补

编辑上就是这样根据自己情况去插入或者删除多余的状态，然后再过一下，把时钟的信号随便打乱几拍（乱操作哈，别当成实际应用了.....）

约束就假装编辑好了，然后可以准备“逆”生成一个激励文件了~

激励文件生成

开始导出对应的文件

选择Verilog形式的激励文件（也搞个ECVD File），1000ns后结束激励，选好存储的路径，文件名也设置好就可以OK

在对应的路径就能有这两个文件了

这时候再将Obejcets里的count变量添加到Wave窗口，并运行1000ns仿真，发现数据出来了~

退出仿真

Testbench测试

准备用刚刚导出的激励文件来进行仿真测试，先把它编译到工作库里

vlog export_tb.v

然后运行仿真

把信号添加到Wave里作观察，并运行1000ns的仿真

add wave * run 1000ns

可以看到仿真按激励进行~

退出仿真

EVCD测试

接着演示下VCD文件的使用，直接启动counter的仿真，然后先点下Wave界面，把这个EVCD的导入形式激活

再把EVCD导进来，编辑的信号就又出来了，再把count的变量也加到Wave里，并运行1000ns

run 1000ns

补个EVCD的使用，如果EVCD里的信号没有和对应的代码变量名对应起来，可以自己手动去把它进行映射，比如，clk

在窗口里选择要映射的信号，OK后就映射好了

结束

这种可视化编辑，然后再产生出激励文件的形式大概就这样了，还不会咋写激励文件的可以这样尝试折腾折腾，说不定就突然很有“灵感”了~