VCS可以验证FPGA RAMB的INIT初值吗？谢谢

ramb.v -->ISE map--> ISE netgen--->产生ramb_sim.v
ramb.v的INIT不全为零，vcs可以验证ramb_sim.v的INIT正确吗?
我是把xilinx含有RAMB的仿真库添加进VCS compile，并且库中的RAMB也是有INIT的，但是vcs结果好像对INIT不敏感，即使我把INIT值改成别的，vcs也是正确的
向各楼求助，如果vcs的确对RAMB的INIT初值不敏感，还有什么办法可以验证的，谢谢！