formality pr后网表的问题

kyaaaa · 发表于 2024-2-6 11:16:20

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

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

x

请问一个设计的RTL和综合网表 formality验证成功了，综合网表和pr后网表验证Inconclusive，报了60个Aborted( Hard, too complex to solve），都是multi_16b32b_pipe6/unm_comb_d0_reg[14]~multi_16b32b_pipe6/unm_comb_d0_reg[33]，14以前的和33以后的都passing了，请问该如何解决呢？

nirvana_pear · 发表于 2024-2-6 13:35:16

set compare rule试一下

ethanethan2021 · 发表于 2024-2-6 15:12:25

可以set_dont_verify 绕过

kyaaaa · 发表于 2024-2-6 16:43:23

ethanethan2021 发表于 2024-2-6 15:12
可以set_dont_verify 绕过

谢谢！怎么确保Ref和Impl是一致的呢？只看标红的这个连线的值可以吗？这样看它俩一致
Ref：

登录/注册后可看大图

Impl：

登录/注册后可看大图

[求助] formality pr后网表的问题

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

站长推荐 /2