一个小白的数字IC验证入门之路--简单的验证思想

如文章所叙述中，经历了 简单的验证环境搭建， 和 模块化设计 后( 这些都是我在学校接触的较少的 )，我开始跨进了这个门。
其实这些理解是历经了多个项目后慢慢总结下来，而不是经历了risc-cpu这个简单的过程就认识到，但这里先做简单叙述,便于之后我讲述时的分类。

本质
我们抛开验证方法，工具，结果分析什么的，回归到最本质而言，数字IC前端验证就是保证一份RTL代码的正确性。这个正确性是相对于spec(产品定义)而言的。我们先有一份spec, 设计工程师A根据spec进行设计，验证工程师B根据spec进行验证，这样会得出更加客观的结果。
我在同时设计和验证的过程中犯过错，因为设计和验证的思维是不太一样的，考虑的东西不是特别一样，甚至验证会考虑更多。比如某个功能，为什么设计工程师要这样设计？如果我来设计会怎么设计？
这里我只详述下验证的感悟，就是验证过程，要以spec为最理想参考，一般不要去质疑spec,实在不理解，与领导讨论，切莫简单地自我认为spec有错误。特别是对于小白而言。
流程组成
我觉得一次完整地验证过程应该包括一下几个部分：
1，对spec有完善的理解
2，制作一份完整的验证计划(testplan)
3, 验证( 看输出结果， 打印中间值， 看波形，对比黄金模型， assertion判断， 覆盖率收集等等 )
4，制作一份验证报告
其中2，4的过程是枯燥但是特别重要的。对于我而言，早期工作的时候，常常觉得2，4这些枯燥无趣，更喜欢3的代码工作，敲代码，debug, 执行.
这其实取决于个人吧，现在我认为一个好的验证工程师，应该是能制订一份完整的testplan, 做出一份详尽的验证报告的,需要缜密的思想，大局观。

这些讲述比较枯燥无趣，下次我举个小例子，讲讲我理解下的testplan, 与验证报告。

一个小白的数字IC验证入门之路–一个简单的验证例子