如何找出代码中的冗余逻辑

多个IP模块，如何快速找到可优化的冗余逻辑?看代码不大现实，改动还可能影响功能；
是否让综合工具report?DC or RC可行么?命令是?
或者让rule checking工具来做?icc?是什么rule?
谢谢大家先。

Formal ABV检查Dead Code