formality 形式验证时遇到的问题 请高手指点

hitten

你综合时候直接做了dft，出来的网表已经是插链的？
如果是这样，那就要设置一些dft的管脚了，另外差没插链，看看网表中寄存器的si端是否连接，有连接就是插链，没插链的连接0
如果你只是综合的网表和rtl比对出现这种情况：
1.综合工具版本和formality版本是否匹配
2，是否读入了svf
3，确认rtl和网表版本是否一致
4，确认你读入了memory的库文件，没有读入仿真文件
5，确认你的memory是否需要设置user_match
因为rtl到综合的网表基本不需要设置什么东东，所以暂时想到这些，楼主自己确认一下吧

edayz

不知道楼主的问题解决了没有，如果解决了，能否讲讲插入扫描链后的网表要怎样才能和rtl code做formality？也请各位大侠发表一下各自的作法！谢谢！

高瞻forever

谁有相关资料吗？