formality问题请教

在做形式验证中有一个命令如下：
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 了?

      翻译为将参考网表（原网表）中未被驱动的引脚和节点逻辑值视为0，而将实现（比如布局布线或综合后）网表中的相应引脚和节点的逻辑值视为x，所以一些节点逻辑值可以得到确定，应该会解决一些fail。我是这么理解的。