assertion的波形在verdi中无法显示

数模混合

各位大佬求帮助！   我写了assertion,并bind到了dut上。在bench的top中加了$fsdbDumpSVA()   
但跑出的fsdb中，verdi中无法看到断言的箭头波形，想把断言信号拉出来会显示是未知信号。请问有大佬知道原因吗？看起来像是$fsdbDumpSVA()没生效，没dump出来断言的波形

module top();

initial begin
$fsdbDumpfile("./wave");
$fsdbDumpSVA();

end

endmodule

数模混合

问题已解，需要在开verdi时增加-assertdebug