我想使用某个芯片的verilog行为模型对自己编写的控制模块进行测试，但是不知道怎么使用，还有就是怎么可以看到起存储器某一个存储单元里存的值是多少