DC的版本和formal工具的版本对应问题影响比较结果

据我所见，从DC0607包括08的版本综合出来的网表进行rtl2netlist的比较，如果用lec5.x或者fm0809都是没有问题的，其中lec由于没有svf的帮助，在进行乘法器的比较上很难。但是如果用design ware的乘法器，谁会怀疑它会出错呢?！
但是这些formal工具的版本面对DC0906综合出来的网表则问题多多，不知道DC0906是否做了什么长足的改进。但使用lec9.x或者fm0906以上的版本则立刻解决。

经验啊。