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