formality验证DFT后网表问题

kyaaaa · 发表于 2024-2-29 11:32:07

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

想问下（1）验证DFT后网表，是把它与DC后网表对比吗？这样是不是不用加svf文件？
（2）我做了postDC网表和postDFT网表的Netlist2Netlist 结果FAILED了，我本来给postDFT设了TEST_MODE为0，但是对比结果里postDC的TEST_MODE是1，我就注释掉了。想问下是要把postDC的TEST_MODE设为0吗？还是我下面设的有问题或者不全呢？

登录/注册后可看大图

postDC和postDFT的top都有这些pin：想问下一般设哪些dft signals为0呢？

登录/注册后可看大图

kyaaaa · 发表于 2024-3-1 09:32:48

还想问下RTL，postDC网表，postDFT网表都有dft信号，在对比RTL2DFT 和 DC2DFT 的时候，是不用设disable dft还是implementation设还是 reference和implementation都要设呢？

kyaaaa · 发表于 2024-3-4 10:23:27

顶顶 RTL2postDFT Netlist对比时，两个都有dft signals，请问是要两者都要设dft signal吗？postDFT的mbist ijtag也要设0吗？

kyaaaa · 发表于 2024-3-7 17:23:14

已解决。

把Ref和Impl的顶层的TRSTN，SCAN_ENABLE，TEST_MODE port set_constant 0
Impl（postDFT Netlist）：参照dft的constant files，把TWENA类似的pin set_constant 0

[求助] formality验证DFT后网表问题

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2