后仿negative timing check did not converge

高乐

求助各位大佬，我现在用vivado吐出来的网表和sdf文件在VCS里面做后仿，但是sdf中存在negative timing，提示我要打开+neg_tchk，所以我添加了+neg_tchk和-negdelay两个命令，同时我看有的人建议添加+overlap我也加了。反标的过程没有error和warnings，但是反标完成后，还有Warning-[NTCDNC] Negative Timing Check Did Not Converge，详情见图片，好像pt可以产生非负的sdf文件，但是vivado的write_sdf命令里面没有这个选项，不知道这个问题应该如何解决。

lyc2009

楼主，请问问题解决了吗？