VCS 视频教程笔记第四课

最新推荐文章于 2025-04-09 14:15:04 发布

qq_38453556

最新推荐文章于 2025-04-09 14:15:04 发布

阅读量781

点赞数

分类专栏： VCS

本文链接：https://blog.youkuaiyun.com/qq_38453556/article/details/103250213

版权

本文介绍了如何调试模拟不匹配，特别是针对竞争冒险现象。通过使用+race选项、$vcdplusdeltacycleon、vcddiff和vcat工具进行分析。还探讨了不同仿真工具、版本以及RTL与门级仿真之间的差异。提出了避免竞争的策略，并强调了同步模块中的编码规范，如避免多驱动源，正确使用非阻塞和阻塞语句。文章通过示例电路说明了代码微小变化可能带来的仿真与综合结果的巨大差异。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

第四课

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.人为