杂七杂八 验证电路

验证电路

  • 先firrtl -i , 生成verilog文件
  • 然后书写harness代码(.cpp文件),用于验证你的电路
  • 然后执行以下命令,其中Decoder_Sim.cpp换成你写的.cpp验证文件,Decoder.v换成你的verilog文件,VDecoder换成你的模块,前面加个V。
verilator --cc Decoder.v --exe Decoder_Sim.cpp --trace 
make -j -C ./obj_dir -f VDecoder.mk VDecoder 
./obj_dir/VDecoder
  • 执行之后在根目录生成 .vcd后缀文件
  • 然后可以通过 gtkwave 查看这个.vcd后缀的波形图
  • YEAH!结束!

harness文件

  • 书写方法照着 别人的例子抄
  • 里面的使用变量名称可以在相应的 .v后缀文件中(verilog)看到
  • #include"VDecoder.h"
    • 当我看到这个,我还以为我要写一个头文件
    • 然后我意识到,可能他过程中会生成
    • 所以就是#include"Vxxx.h"这个形式,抄上去
    • ok!解决!

GTKWAVE

  • 一开始会显示 could not initialize gtk is display env var/xhost set
  • 然后我意识到,可能是我没有图形界面的原因
  • 安装图形界面 解决!
posted @ 2020-05-18 22:47  xxxuanei  阅读(162)  评论(0编辑  收藏  举报