formality

get_app_var verification_set_undriven_signalsset_app_var verification_set_undriven_signals binary 0ref的port是undriven会说original undriven并且给出0的cut_net激励得到的值为0。这里的值给的是0而不是x所以会特意说明是original undrivenimp的port也同样是undriven由于是port不会被优化掉会被保留下来所以会去进行match和verify。当verification_set_undriven_signals设置为X时那么imp的undriven port就是X态。这种情况下就会比不过处理 在读design之前设置set_app_var verification_set_undriven_signals binary 0