怎么解决Conformal做RTL和netlist的形式验证时综合优化的电路也会报不相等？

用Conformal做RTL和netlist的形式验证，对比结果有很多报不等的是DC综合被优化掉的，conformal没有识别出来这种优化，请问需要设置什么可以解决这个问题？