formal的问题

各位大侠：
我现在遇到的问题是：
用不插DFT的网表和插入DFT后的网表对比时，设置scan_mode为0能过，设置scan_mode为1或者不设置就过不了。
用RTL和插入DFT后的网表对比时，不用设置scan_mode就能过。
都已加入了相应的svf文件。
我想请问：（1）上述问题是否正常?为什么?
（2）在对比DFT时，一定要设置scan_mode吗?
谢谢大家帮忙！

同求解答，只知道scan_mode为0的时候是funciton模式

如果RTL没有插入dft电路，又什么case都没有设置的话，我觉得肯定是有问题的

你本身就是比较功能模式啊，综合出来的网表又没有dft电路，你和dft之后的网表比，怎么比的过?设置为0就是对的