怎样写Testbenches【1】-- 前言

本文是对Janick Bergeron的《Write Testbenched:Functional verification of HDL models》的翻译。在翻译过程中，因为译者水平原因和基础知识不足导致的错误，请读者参考原文。某些译者不理解的部分也会重点标注，并标注出在原书的位置。

验证的必要性

在IC设计中，随着逻辑门数和系统复杂性的指数级增长，设计工程师遇到的最大挑战是功能验证（functional verification）。一个IC系统设计中，大部分时间都用在设计验证中。像物理综合（physical synthesis）和设计重用（design reuse）这样的新的有趣的设计技术，会创造越来愈大的设计，这些设计只会加剧功能验证问题。EDA工具行业一直以来都未能意识到的真正问题是：相比于如何创建一个运行频率为600MHz的1200万门IC，如何验证它才是更大的挑战。

那么，如何才能快速准确的进行系统验证（system verification）呢?

验证的途径

快速准确的进行系统验证，有两条途径。一是使用验证工具（tool），另一为创新的验证方法（methodology）。设计工程师必须使用最适合的验证方法和良好的设计工具来缩短设计周期。但是，如果认为仅仅依靠良好的验证工具，就会产生满足市场需求、并有足够竞争力的高质量IC和系统，那就大错特错了。实际上，高质量的IC和高稳定性的系统设计的最佳决定因素是工程师如何解决问题。绝大多数工程师仍然在使用着十几年前甚至更早的方法来进行验证。如果要实现验证效率的显著提升，工程师就必须与时俱进地学习更好的验证方法，这是十分紧迫的。

本书的作者在遍历了市场上所有的关于功能验证的文本后，发现并没有成熟的文本和权威性的文档。本书的成书标志着独立于验证工具和应用程序的验证方法真正的向前走了一大步。设计工程师现在真正地拥有了参考文本，按照此参考文本，可以快速真确地验证其设计的功能。

所以，本书的目的是为了独立于验证工具之外，提出一整套的验证方法学。

验证方法学

那么，为什么要设计一种独立于任何工具的验证方法？简单来说，与工具无关的验证方法可以产生更具可预测性和适应性的流程，具有更低的实施成本，并且不依赖于任何一个EDA工具供应商的持续技术优势。我们再EDA行业不止一次地见识到，曾经的技术领导者在明天就可能落后，或者彻底失败。独立的验证方法也使得设计工程师能够利用当今最好的EDA工具，同时保留随时切换到竞争产品的强大选择能力，因为它们可能在技术或价格方面更具有优势。

毫无疑问的是，未来的系统验证，将包括更加创新方法和更强大的工具。在硬件/软件协同验证领域，仍然有许多工作要做。利用面向对象技术设计出的新型的以验证为中心的语言具有很大的前景。然而，无论未来如何发展，最好的验证方法必将独立于任何验证工具。这种观点是毋庸置疑的。在这种观点中，应用创新的方法来解决验证问题可以梦想成真。这本书是一个很有必要且美好的开端。

 

Michael Home, President & CEO
Quails Design Corporation

原文位置：《Writing Testbench:Functional verification of HDL Models》 xv-xvi

版权归原作者所有，如有侵权，请联系删除。