求教：关于0in的问题，请教各路高手

0in checkware monitor 模块例化时，没有接的端口它会怎么处理?如： .areset( ) ，为什么不报连接错或未连接?
即使例化时所有端口不连接好像都不会报错，不知道它是怎么处理的，请各位高手回答一下，谢谢！、
还有，run后没有Error,可是Checkers Covered 和Checkers Evaluated都是 0（0%），是什么问题啊?连接问题吗?

小弟初学，往各位高手指点，先谢谢了！

自己先顶起来，希望有用过0in cw_monitor的高手指点一下

为什么没人回答一下啊?
难道没有人用过0in cw monitor吗?
还是我的问题太简单了，高手不愿意回答?

我也有相似的问题，用checkerware monitor做formal验证，我找不到流程document或者example，请大侠指教。谢谢！
email：cuihai_123@163.com

没人理?高手哪?

继续寻找大侠

同问！