驗證計畫(二)

验证的层次

验证可以在多種层次上进行
在考虑验证计划时，首要的问题是确定验证任务的粒度层次。一个设计可能由多个层次组
成，
有些具有物理划分，例如，印制电路板、FPGA、ASIC。
还有一些具有逻辑划分，例如，综合后的单元，可重用的元件或子系统。


验证的每个层次都对一个特定的应用或目的是最适合的。与传统的设计过
程相比，在物理层次上的单元级验证结束和系统级验证开始的时候，带有可重用元件的设计的
特性发生了转变。可重用设计并没有减少验证的必要性，而是单元与系统之间的边界由物理边
界转变为逻辑边界。

在决定不同粒度的层次时要考虑到折中
较小的划分比较容易验证，因为它们提供了更大的可控性和可观测性，建立感兴趣的条件
和状态组合，也比较容易观察结果是否与期望的相同。在更大的划分下，只有它包含的小划分
的组合体才被验证，但以牺牲可控性和可观测性为代价。

在一个给定的粒度层次下进行验证需要稳定的接口

由于验证的实现需要耗费巨大的精力，所以任何待验证的划分都应该有稳定的接口和预期

的功能。如果接口不断变动，或者在功能上总是从一种划分变为另一种划分，那么测试平台也
需要不断改变而整个验证过程却没有什么进展。一旦确定了将要验证的特定划分，它们的接口
和总体功能也应该尽早确定，而且要尽可能不做改动。最理想的情况是，每个被验证的划分有

它自己的规范文档，或者至少在规范文档中有它专属的一部分。