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

wys093

回复 1# 雨打溪风


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