LEC learning14:verification_insert_upf_isolation_cutpoints

在formality 验证中，对带有Upf的block 进行验证时，设置变量verification_insert_upf_isolation_cutpoints 为true 时, the tool inserts cutpoints at isolated UPF power domain boundaries。

在power domain boundaries 上inserts cutpoints 可以改善verification time 和消除由X 传播导致simulation-only 的故障。但是在一些case 下可能导致假的差异，比如当boundary optimization 发生在across an isolation cell 上时。

1. Improves verification performance by reducing verification complexity •

2. Prevents X from escaping a power off domain into a power on domain

– Reduces failures due to X propagation differences