请教formality 读SVF文件的一个问题

在用DC综合后的网表和DFT之后的网表做FM时，FM看结果出了一些没有比对的点，其它都比对通过了，但是LOG文件中报出了读DC产生的的SVF文件有Error.
Unknowen guide_merge_option '-type'
Error: formality_svf/svf.txt (Line:31789)Originally from../svf/xx.svfParse error
有人遇见过，这个到底是什么原因呢，是DC和FM的版本问题吗?

已解决，确实是版本的问题，FM的版本不能比DC的低。