在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 2880|回复: 6

求教:关于0in的问题,请教各路高手

[复制链接]
发表于 2009-4-14 16:32:26 | 显示全部楼层 |阅读模式

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

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

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

还有,run后没有Error,可是Checkers Covered 和Checkers Evaluated都是 0(0%),是什么问题啊?连接问题吗?


小弟初学,往各位高手指点,先谢谢了!!!
 楼主| 发表于 2009-4-14 17:23:37 | 显示全部楼层
自己先顶起来,希望有用过0in cw_monitor的高手指点一下
 楼主| 发表于 2009-4-15 17:06:32 | 显示全部楼层
为什么没人回答一下啊??
难道没有人用过0in cw monitor吗?
还是我的问题太简单了,高手不愿意回答?
发表于 2009-4-16 10:20:23 | 显示全部楼层
我也有相似的问题,用checkerware monitor做formal验证,我找不到流程document或者example,请大侠指教。谢谢!
email:  cuihai_123@163.com
发表于 2009-4-20 10:19:46 | 显示全部楼层
没人理?高手哪?
发表于 2009-4-22 10:03:40 | 显示全部楼层
继续寻找大侠
发表于 2011-12-15 10:08:14 | 显示全部楼层
同问!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-12-19 09:04 , Processed in 0.018573 second(s), 6 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表