fomality运行速度很慢

各位大神，小妹遇到一个数字后端问题，使用fomality时单个模块运行很快比较完成；整个系统进行比较时非常慢；一天都没出结果；一直停留在Status: Matching… ；读入的库，.svf文件都成功了，顶层设置也成功了；比较的文件是rtl和DC的文件；求大神指点一下

自己顶一下；求大神赶紧飘过啊