formality问题请教

雨打溪风 · 发表于 2011-3-29 15:34:09

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

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

x

在做形式验证中有一个命令如下：

set verification_set_undriven_signals 0:X

这句命令的具体含义是什么？
user guide中的解释是：treats undriven pins and nets in the reference design as "0", and those in the implementation design as "X" 。该怎么解释？？

为什么加了这个设置命令之后，一些原先Verify fail的最后都pass 了？

icfbicfb · 发表于 2011-3-29 16:23:15

undriven_pins/nets 本来就没什么意义，所以就不要干扰FM了，就是这个意思，

yueluofenghen · 发表于 2011-3-29 16:24:48

楼上正解

rencj1979 · 发表于 2011-4-15 17:18:41

顶顶顶顶

kangxiao · 发表于 2011-5-3 15:35:28

学习了，。。

雨打溪风 · 发表于 2011-5-3 17:09:53

有谁能给出正确答案？？

orwell · 发表于 2011-9-6 21:26:12

useful command for me to try with formality, thanks

[讨论] formality问题请教

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

相关帖子

站长推荐 /1