modelsim $dumpvars不能收集断言的数据

wangyukan

1.我写了一个包含在program的断言，在tb顶层实例化，并且用$dumpvars(8,tb),将生成的vcd数据导入到verdi中进行断言分析，结果发现没有断言模块program的信号，其他的都有。请问这是为什么？2.在verdi中我用modelsim生成的vcd对断言重新进行run，结果发现有很多的断言fail,但是在modelsim中的run没有fail,全部pass,请问这是为什么？