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

strayedcat · 发表于 2009-4-14 16:32:26

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

0in checkware monitor 模块例化时，没有接的端口它会怎么处理？如： .areset( ) ，为什么不报连接错或未连接？
即使例化时所有端口不连接好像都不会报错，不知道它是怎么处理的，请各位高手回答一下，谢谢！！！、

还有，run后没有Error,可是Checkers Covered 和Checkers Evaluated都是 0（0%），是什么问题啊？连接问题吗？

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

strayedcat · 发表于 2009-4-14 17:23:37

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

strayedcat · 发表于 2009-4-15 17:06:32

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

cuihai_123 · 发表于 2009-4-16 10:20:23

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

cuihai_123 · 发表于 2009-4-20 10:19:46

没人理？高手哪？

cuihai_123 · 发表于 2009-4-22 10:03:40

继续寻找大侠

dongdong214 · 发表于 2011-12-15 10:08:14

同问！

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

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1