[求助]在插完DFT后，Formality比对netlist和HDL不通过

orphan

verify有问题吗

skjeon78

thanks a lot

mindy_xj

不知道你的问题解决没？我之前也遇到过类似的问题，解决两周后，发现和“.svf”有关，你可以直接用代码与插入扫描链后的网表比对，必须加上“.svf”文件。另外如果还有问题，就是插入扫描链后的网表逻辑存在问题，我之前进行仿真测试时，没有插入扫描链的网表可以仿真通过，插入扫描链后的网表却不能通过，如果你也存在这个问题，那说明综合脚本有问题。