fm形式验证的unmatched问题

钟意 · 发表于 2022-11-24 16:32:23

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

x

这是跑完fm之后的结果，有很多的latch显示unmatched
然后还有一些failing port，本来r是0，i变成了1

钟意 · 发表于 2022-11-24 16:33:27

这是另一张图

彼得潘多拉皮条 · 发表于 2022-11-25 09:30:39

ref AND in1需要再往前追追，是不是流程中做了inv去除的操作之类的？

钟意 · 发表于 2022-11-29 11:47:41

彼得潘多拉皮条发表于 2022-11-25 09:30
ref AND in1需要再往前追追，是不是流程中做了inv去除的操作之类的？

追了，现在就是只剩俩个port对应不上，源头是dft test端口，我设置了guide_dont_verify_scan 指定了这两个output ports，但是还是会检查，这种情况可以设置dont't verify,现在rtl代码还没有插入dft scan chain

wisywyx · 发表于 2022-11-29 18:00:42

latch match 不到是正常的吧，因为reference里面本来就没有

钟意 · 发表于 2022-11-30 15:59:42

自顶，有大佬知道这个问题吗？帮忙解答下，谢谢

钟意 · 发表于 2022-11-30 16:44:28

顶顶

[求助] fm形式验证的unmatched问题