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

而所谓设计复杂度增加，则指一块单独的芯片上包含的组件种类增多，不同种类组件的数量也变多。这里所说的组件包括高性能CPU、多个千兆I/O、嵌入式RAM、系统时钟管理组件、模拟混合信号、嵌入式软件和专用数字信号处理器(DSP)。随着这些组件的种类和数量增加，对芯片的整体功能和性能而言，各组件之间的接口就变得越发重要。此外，片上软件和模拟器件也越来越频繁地出现在芯片中，这又进一步提升了系统的复杂度，同时对传统的验证方法提出了挑战。

首先，数字设计工程师们必须面对一些他们并不熟悉的模拟设计方面的问题。其次，许多硬件设计都要求固件或低级软件就绪而且可以工作后才能验证RTL的功能。这就要求固件设计师必须在硬件设计中扮演重要角色，仔细协调软、硬件之间的相互关系。

这就是说，我们必须改变设计方法。用一句老话说，要么做得更好，要么就换种方法来做。想做得更好就必须研究现有方法所采用的工具及其效率，而换种方法来做则必须改变方法以获得更高的效率。这两种方式之间不存在谁对谁错，但更有效的方式则是随着时间推移，将二者中的一些元素结合起来，并在恰当的时刻应用到我们的验证方法中去。

要改进现有方法，首先必须研究各种工具本身，以及它们之间的相互关系。为此，我们需要能够涵盖以下验证域的工具：软仿真、硬仿真、硬件、软件，以及模拟和数字域 。此外，这些工具还必须支持所有标准和新兴的设计语言，包括VHDL、Verilog、 PSL、 C、 SystemC，以及最新的SystemVerilog。在某种程度上说，这就是我们所说的可扩展验证(Scalable Verification )。

改变现有方法意味着研究设计过程本身，并在设计的更早期开始进行验证，包括创建系统级测试平台、建立事务级模型，以及保证在系统接口创建时(而不是在设计末期)就能对其进行检查。要做到这些，需要有能够涵盖各个抽象级以及系统各个域(例如软件和硬件)的工具。