为什么验证的参考模型比RTL的错误更少？

验证团队经常说参考模型就是Golden，设计模块跟它对不上,那就是设计的问题。

参考模型也是人写的代码,设计模块也是人写的代码,凭什么你写的就是对的,我写的就该怀疑?参考模型并没有什么魔法能保证绝对正确。它和设计模块一样,都可能有bug,都可能理解偏了需求。

那为什么验证体系还要把参考模型当成”黄金标准”?

答案是:没法保证绝对正确,但可以做到相对正确。

关键在于参考模型的写法和设计完全不一样。