第四课
Debugging simulation mismatches
if (data == 3)是判断语句,而误写成 if(data = 3)就会先把值赋给data,再判断data是否为3,因此判断语句永远为真。
用(3 == data)可以避免误操作,只要少一个等号就会报错。
- 本章学习内容
- 使用+race选项对竞争冒险现象生成报告 e.g.对一个数据同时进行读和写
- 使用$vcdplusdeltacycleon(并不是特别常用)定位产生竞争冒险的代码
- 使用vcddiff和vcat对vpd文件进行比较(其实生成的文件并不方便查看,更多的是直接用两个波形文件进行对比)
- Causes of simulation mismatches
- 不同的仿真工具仿出来的结果不一样
- 不同版本的仿真器结果不一样
- RTL级和门级电路仿真结果不一样——代码不完善或者综合过程中出现了问题
- Races
下面是竞争的一个例子:
module race;
reg a;
initial begin
a = 0; #10 a = 1;
end
initial begin
#10 if(a) $display("May not print"); //读写操作发生了竞争,每个仿真器的结果可能不一样
end
endmodule
解决方法:1.人为