|
发表于 2014-12-24 21:34:06
|
显示全部楼层
请教一个问题:例子7.6.2 关于uvm_reg_hw_reset_seq
我试着把reg_model.sv:line 11 把invert的初始值改为1,如下
reg_data.configure(this, 1, 0, "RW", 1, 1, 1, 1, 0);
然后把my_case0.sv:line88-91 去掉或注释掉,就是还是进行测试,如下
// uvm_resource_db#(bit)::set({"REG::",rm.invert.get_full_name(),".*"},
// "NO_REG_TESTS", 1, this);
// uvm_resource_db#(bit)::set({"REG::",rm.invert.get_full_name(),".*"},
// "NO_REG_HW_RESET_TEST", 1, this)
按理来说,case应该fail。因为dut没变,Invert的初始值仍旧是0,而reg_model的初始值已经改为1。
但是最后运行结果还是pass,没有错误出现。
请问是何原因,谢谢! |
|