有没有大佬用过s家的vc_formal工具DPV，coverage怎么收集呢？

lkj159357 · 发表于 2025-4-2 16:11:43

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

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

x

最近学习了一下DPV的flow，有一个疑问，DPV去验证的是cmodel和rtl是否等价，但是我跑完之后这个等价怎么体现出来的呢？按理说DPV应该会遍历所有的输入，但是我没有看到有相关覆盖率的说明，这边只找到了line 的coverage，没有toggle，condition这些，我怎么知道我的验证是完备的呢？有没有大佬指教一下

lkj159357 · 发表于 2025-4-2 19:10:46

顶一下

[讨论] 有没有大佬用过s家的vc_formal工具DPV，coverage怎么收集呢？

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

浏览过的版块

站长推荐 /2