可扩展验证克服现有验证方法的局限性

自己创建一个激励，将其馈入执行引擎，然后分析得到的响应(见图5)，这是今天的许多工程师都会的。一般情况下，他们会将设计的某一次实现得到的波形与一个参考模型进行比较，从中寻找差异。这是一种缓慢又有些依靠运气的调试方法，因此会有许多错误遗漏。因为这样一来，我们很容易死盯住已经发现的问题，忽略了其他有问题的地方，或者意识不到我们当前采用的测试平台根本没能暴露出新的问题。

图5

所以，设计工程师必须要走出大多数现有调试方法重复、冗长和盲目的死胡同。在设计流程的晚期，等价性检验将是一种非常强大的工具。等价性检验主要用于测试一次设计实现与一个参考模型之间的差异，但它并非仅仅比较两组仿真波形，而是通过一种更加正式的方法进行比较。

最近，另有一些测试平台组件已经成熟，可以投入使用，例如测试环境生成器、预测器和检查库(checker)。有了这些测试平台组件，我们就可以自动生成测试环境，并检查相应的结果是否合法行为。这些组件中，检查库是最成熟的一种。当然，检查库也属于断言。断言分为两种，一种叫做测试依赖断言(test dependent)，一种叫做测试独立断言(test independent)。测试独立断言可以轻易插入一种现有的验证方法中，无需额外工具支持；而测试依赖断言，外加生成器，都需要对测试工具和方法进行额外改变。

基于断言的验证

如前所述，测试平台受两个相互独立的因素制约：可控性和可视性。可控性指一个测试平台通过输入激励激活设计中一个问题的能力，它与代码覆盖率标准之间关系十分紧密。正因为如此，设计人员在采用代码覆盖率标准时必须谨慎，因为该标准并未考虑验证问题的其他方面。

要实现可视性，在问题出现之后，必须保证两点：一是该问题造成的设计人员并不希望的结果一定要传输到设计的主输出，二是期望结果与非期望结果之间的差异必须被检测出来。对大多数测试平台而言，接受验证的主输出数目都很少，因此许多问题出现之后甚至都没有人注意到(见图6)。而且，在验证过程的大部分时候，许多非期望的结果在主输出中都被掩盖了，而保证将这些结果传送到主输出则可能导致测试耗时过长。

图6