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

本文小结

现有的验证方法需要设计人员从两个方面着手进行改善。首先，我们应采用在各种设计复杂度之间可扩展的验证工具，其次，我们应该采用多级设计抽象。与现有方法相比，可扩展的验证方法能够让工程师更好更快地在同样长的一个时间段内进行更多同样的工作，同时，它也使验证工具的用户界面更加友好化，允许在设计验证中加入更多向量。一个有效的系统验证策略首先必须假设被验证系统就是一个完整的系统，其中包含的不只有数字硬件。换句话说，一套好的验证方案必须同时考虑到系统中的模拟部分、软件、RTOS以及它们所处的环境，并将这些考虑综合起来形成一套统一的方案。此外，面向验证的设计技术也使设计者创建的验证组件能够更有效地重用。同时，系统结构和设计模块之间的接口能够更早得到验证—在创建的时候而不是在设计末期。由于采用新的方法后，规范解释的验证比过去早了很多，因此可以保证模块验证不会白做。

如今，新的测试平台组件已经开始被验证方法采用。例如，断言(assertion)的采用就可能对验证的质量和速度产生巨大影响，还有许多更新的测试平台组件也开始日益出现。所有这些新组件的目的都将是为达到或控制某种验证特性。这向我们展示了芯片验证的将来，一个已经开始变得无限光明的将来。这种自动化的基于特性的验证方法将推动验证性能向前发展，从而缩小设计中存在的验证鸿沟(verification gap)。

事实上，这种设计方法在十多年前就已经让人们受益匪浅，可扩展验证，涵盖了本文所讨论的各方面的可扩展性，已经开始被人们采用，而且这种验证方法最终将彻底改变人们看待和处理验证中所遇问题的方法。

作者：

Brian Bailey

首席技术专家

设计验证和测试部

Mentor Graphics