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

EDAStar

reference model用高级语言来实现，高级语言的正确性比较高。

vtesong

无法保证，错误都是试出来的

qsh123_123

1、抽象层级的不一样。不要小看TLM这3个字母的力量。DUT的RTL实现某个功能，是跟时序强相关的（大多用时序电路实现），而验证的Reference Model大多是基于transaction level实现的，时序强相关的部分已经经过monitor/driver这类BFM逐渐解耦了，所以验证基于TLM实现的reference model的TLM实现过程起码可以排除掉时序对功能造成的出错（而时序检查可以用assertion+STA+setup/hold的方式检查），只关注功能实现本身是否出现逻辑错误。所以，假如对同样一份spec，验证基于TLM抽象写出来的reference model跟设计基于RTL写出来的功能都一致（验证只对spec进行理解，不对RTL实现过程进行理解），可以认为他们对spec的理解是match保持一致的；两者不一致的时候，则其中一方必然出错（至于哪一方出错，就需要定位/排查/debug了），当然也有可能是spec描述出现不够精确导致歧义性。理论上，两者同时出现同样的错误的可能性比较低，但低不代表可完全排除，所以需要不断的随机迭代和回归，这涉及到验证空间的大小问题了。这也是为何覆盖率驱动的验证流程更有利的原因，你可以直观地通过功能覆盖率看到验证空间在逐渐毕竟验证对spec的功能解读，而通过代码覆盖率看到RTL设计对spec的功能实现的作用结果，两者结合在一起来保证验证空间的充分程度。

EDAStar

qsh123_123 发表于 2023-3-7 11:30
1、抽象层级的不一样。不要小看TLM这3个字母的力量。DUT的RTL实现某个功能，是跟时序强相关的（大多用时序 ...

非常感谢