LEC learning18: verification_force_upf_supplies_on

对有upf 的block 综合后，进行formality 验证的过程中，设置variable：verification_force_upf_supplies_on

去控制formality 是否验证所有可能的upf power states，

或者所有upf 电源都为supply on 的状态。

当变量设置为true 时，formality 会验证Upf design 所有state， forced into an "on" state。formality 会disable 所有upf 中power state table 的supplies 信息，并将constant valuse 应用在supply nets 上，强制他们为 ”on“ state。从pattern list 中我们可以看到supply ports 和supply nets 被constant 为1 的情况。

重要是这种情况不能完全验证upf design，完全验证upf pst ，需要将其设为false。

当为false时，formality 会验证定义在upf中的所有可能的power states，这是一个完整的design lower power 验证，确保所有合法的power state组合被验证到。