Digital Circuit Functional Verification(七)

测试费用(THE COST OF VERIFICATION )

• 测试是一个看似永远都不会结束的过程。
• 测试的目的是保证一个设计不出错，但任何人都不能证明设计完全没错。
• 测试只能证明有错，而不能证明无错，多花点时间，总能找到错误的。
问题是：
a)  错误是否严重到值得花时间去寻找的地步？
b)  在测试上花的时间越多，在一定时间内能找到的错误就越少。
c)  到了后来，就几乎没有错误了。
d)  最后，花的时间越来越多，找出的错误越来越少，甚至找不出错误了。

功能测试判断
类似统计假设检验。检验的假设条件是：设计是否能正确实现其功
能？答案可以是“是” 或“否” ，但两种答案都有可能出错。
两种错误答案分别是II型错误和I型错误

什么时候才算测试完？
了解测试过程的大致进度，尽管不可能精确知道，但由此
可以推算出完成整个工作需要多长时间。