LEC learning12: Failing PDCut, set_dont_cut

1. 在对power aware block 进行formality 测试的时候， tool 会自动推断出一些PDCuts ，当这些points 出现failing 的时候，建议使用set_dont_cut 这个命令。

set_dont_cut 指定一个object 不作为cutpoint。该command指定一个hierarchical pin 或者net 不作为cutpoint.

formality tool 不会在user specified dont_cut points 上插入自动cutpoints。set_dont_cut 会覆盖set_cut_point命令。

如果自动inserted cutpoints(type PDCut) 导致了failing points ，请使用set_dont_cut 这个命令。

例如：fm_shell(setup) > set_dont_cut $ref/block/pin

2. set_cutpoint指定一个hierarchical pin 或net 作为hard cutpoint

[-primary_input]  指定cutpoint 作为一个primary input。constraints 不经过cutpoint 传递,并且将其constrained 0 或1去验证。

对于出现的PDCut failing points ，不可以随便设置set_dont_verify，但可以设置set_dont_cut