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

这正是断言这一工具功能如此强大的原因之一。断言的一些好处有助于实现可视性 (见图7)。首先，断言能够确定造成问题的主要原因，而不是次要的原因，因而简化并加速了调试过程。这是因为断言可以分布在整个设计中，生成虚拟主输出，这些主输出又会自动检查好的行为和坏的行为。因此，测试平台无需将这些出错的结果送到真正的主输出，这就简化了测试平台的开发。另外，采用断言之后，大量原本会被忽略的数据都能得到验证。

图7

断言还可以进行数据检查，从而提高测试平台的效率。一旦一个断言设计好并插入设计中之后，它就一直保持运行。

而且，许多时候，断言还会检查那些并非测试主因的部分，因此会发现一些意料之外的问题。例如，在模块验证阶段插入的断言在整个集成阶段直到系统级验证阶段都一直在履行其检查功能，因此能够提高验证覆盖率。

最后，断言还能拓展测试的宽度。工程师往往会发现，与没有采用断言的情况相比，采用了基于断言的验证技术后，早期的缺陷检测率要高得多。这种效果抵消了编写与放置断言所需花费的开销，即3%的时间开销和10%的运行时开销。

根据采用了断言技术的公司报告，其设计中的很大一部分缺陷都是断言发现的，而且他们的调试时间也缩短了多达80%。断言既可以嵌入设计中去，也可以独立于设计定义，放在设计中多个不同的点上。至于是内置还是外置则部分取决于是谁在编写这些断言，是设计师还是独立的验证工程师。当断言嵌入到设计内时，它们的作用主要是验证规范的实现。

当断言独立于设计开发时，它们主要用于证实一个规范的解释，或者有时用于证实该定义本身。因为嵌入的断言实际上就是可执行的注释，只要能放置注释的地方都可以放置这类断言。此类断言的优点是让注释更有价值，因为它们可以主动完成一些任务。此处所说的注释包括描述预期行为、设计师所作的假设，或对预期用途所做约束的注释。通过提供各种有关设计的预期行为和原设计师目的的信息，此类注释为设计的重用提供了很好的支持。所有第三方IP都至少应包含有关接口和用途的断言。

目前，断言面临的主要问题是如何对其进行仿真，但我们能做的还不只这些。断言是建立在更为基础的特性之上，而特性则可用于断言、功能覆盖率指标、正式检查库和伪随机激励生成的约束产生器。软仿真器和格式分析工具都可以采用特性，静态和动态验证技术由此可以开始融合到一种方法中。随着该领域标准的发展，采用特性的工具在今后几年内有望取得快速发展。