如何保证验证平台的正确性

EDAStar · 发表于 2021-10-29 14:39:45

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

x

是软件就有bug，我们用证验证平台来对DUT做验证，那谁又来保证证验证平台的正确性呢？
reference model的正确性如何保证呢？

wkp1992101 · 发表于 2021-10-29 14:44:53

反复迭代吧

luojh19960316 · 发表于 2021-10-29 15:31:58

多家验证平台交叉验证吧

水风山月 · 发表于 2021-10-29 17:03:38

直接看reference model 软件仿真的效果，要做很多功能性的testcase，也要看代码覆盖率

kang.kang · 发表于 2021-10-30 09:56:51

套娃了吗不是

liuyu1002 · 发表于 2021-10-31 21:17:06

哈哈哈，如何保证尺子是准确的？

li5panlong · 发表于 2021-11-4 11:45:33

验证与设计背靠背实现。
当你们两个都正确，或者都错且错到一起。pass。
任何一个错且没错到一起，fail。
因此验证代码的正确性靠流程（背靠背）和设计代码来保证。
验证的完备性靠覆盖率和评审(经验)来保证。

EDAStar · 发表于 2021-11-4 15:16:29

li5panlong 发表于 2021-11-4 11:45
验证与设计背靠背实现。
当你们两个都正确，或者都错且错到一起。pass。
任何一个错且没错到一起，fail。

Thanks！学习了

zhangdeshuai · 发表于 2021-11-12 12:18:59

是个好问题，我刚入职的时候也一直在纠结这个问题。后来想想，没有万无一失的方法，不用纠结太多。更多时候验证只是提供了一个观察bug的机会，过滤掉很多合法的场景。当rtl和参考模型不一致的时候我们才会去关注具体情景，可能是rtl问题，也可能是参考模型问题。验证永无止境。

EDAStar · 发表于 2021-11-12 16:34:27

zhangdeshuai 发表于 2021-11-12 12:18
是个好问题，我刚入职的时候也一直在纠结这个问题。后来想想，没有万无一失的方法，不用纠结太多。更多时候 ...

多谢

[原创] 如何保证验证平台的正确性