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 了？