IC验证工程师高效战斗手册--验证feature文档梳理

前面我们探讨了接到验证任务后的行动以及前期如何进行高效的学习，当有了对验证对象的充分理解和学习之后，我们就可以进行验证feature（即验证的测试点）的提取了。

凡事预则立，不预则废，众所周知，验证feature文档决定验证的内容、侧重点、质量，是验证工程师最重要的文档和指导工具。

本文的侧重点不在于大而全的探讨诸如”不同类型的验证对象哪些点可以作为验证feature”等内容（以后在别的文章中有机会再讨论），而是继续遵循“高效”的主题，一起探讨如何又快又好的梳理验证测试点这个文档？怎样在验证过程中充分使用这个文档？

杰瑞IC验证给出一种答案，围绕一个口诀来作为今天探讨的线索和综述：

“先粗再细、先全再剃、不断迭代、定期反思”

1、先粗再细

对于验证feature来说什么叫粗？什么叫细？

我们举个简单的例子，如一条验证feature可以这样写：

“需要覆盖中断功能的测试。”

也可以把这一条验证feature细化成多条验证feature，这样写：

“覆盖不同中断信号使能打开、关闭测试”

“覆盖中断正常清除测试”

“覆盖延迟清除中断测试”

“覆盖不同中断来源的中断测试”
“覆盖中断有效后相关中断状态寄存器正确性检查”
“覆盖中断不同来源同时有效的优先级测试”
“覆盖多中断次数测试场景”

……

当然，还可以写的更细致：

例如上面“覆盖不同中断信号使能打开、关闭测试”可以继续分解：

“覆盖不同中断信号随机打开关闭以及不同信号间的交叉场景”