求助formality高手解决一个问题

lnrosie

使用formality遇到了一个问题，有一个retimed register比对failed，综合后的网表有很多retimed register，但只有一个没有比对通过。我查看了网表，发现这个点确实比较特殊
     SDFFQN_X3M_A12TL R_700 (.D(n173) .......);
     SDFFQN_X3M_A12TL R_536(.D(n173), .........);

     formality报告有一个点比对错误，这个点就是R_536，R_536和R_700是retimed register, 而且是replicated register，但是R_700就没有报错误。我也查看了
SVF，R_536包含在了guide_retiming中。我使用的DC版本是2012.06-SP5, Formality版本是2012.06-SP3

obome

这个问题很好啊，有人来解答吗

vistas

难度太大  没办法 帮你顶下

zhaolightlee

帮顶一下

yinchyang

建议查一下SVF文件， 这种特殊点有可能是综合的时候做了处理，为了让formality能够识别，在svf文件中有所体现。