基于事务的功能验证方法.docVIP

基于事务的功能验证方法 　　摘 要：功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次，减少了验证中对信号级时序细节的考虑，更注重于事务级行为的验证，并可提高验证代码编写的重用性，有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。 　　关键词：功能验证；事务；测试平台；IC设计 　　中图分类号：TN710 文献标识码：B 　　文章编号：1004-373X(2008)06-001-03 　　Transaction-based Functional Verification Methodology 　　JIANG Long，MA Qi 　　(IC CAD Research Center，Hangzhou Dianzi University，Hangzhou，310018，China) Abstract：Functional verification is an important bottleneck in millions gates IC design.Transaction-Based Verification methodology (TBV) and the establishment of testbench based on TBV，which raises the verification effort to a higher abstract level.It improves the verification processed by presenting information in terms of transactions and their relationships，rather than signals and waveforms.Therefore，it enhances the reusability of each component in the testbench，and causes to be more effective to the function verification of RTL description. 　　Keywords：functional verification；transaction；testbench；IC design 　　 　　基金项目：浙江省重大科技攻关项目资助(2004C17002) 　　 　　1 引 言 　　 　　随着集成电路复杂度进一步加大，验证变得非常困难。比如，在规模达到数百万门ASIC、复用IP核的SoC设计中，验证至少占据70%以上的设计工作量[1]。估计验证所花的时间将随设计规模呈平方增长，验证工作的增长速率将超过摩尔定律。因此，如何采用有效的验证工具和技术是业界越来越关心的一个问题。 　　本文介绍一种基于事务的验证方法，可以在一个较高的抽象层次上进行功能验证，从而加速测试平台(Testbench)的开发。并以一个FIFO设计为例，介绍了这种验证方法中Testbench的架构、事务验证模型的组织和构建，在较高抽象层次的调用，以及在仿真软件工具环境下相关运行程序。 　　 　　2 基于事务的验证方法 　　 　　一个有效的验证测试集，应该有尽可能高的覆盖率，具有自检功能以避免手工确定期望值，在仿真中很容易确定设计的错误，很方便分析覆盖率确定这个测试集的质量[2]。基于事务的验证方法有助于构建这样的测试集。 　　 　　2.1 事务的概念 　　事务(transaction)是指测试平台(Testbench)和被验证设计之间通过设计的特定接口进行的高层次数据或控制信号的传输。简单的事务可以是对存储单元的一次读或写，复杂的事务可以是数据通行中的一次报文传输[2]。事务的概念把Testbench分为2个层次： 　　(1) 顶层的测试，是建立在事务级的抽象层，形态上表现为多个事务的组合序列，不需要考虑各个事务中所需处理的信号级时序细节； 　　(2) 底层的事务，具体负责处理的信号级时序细节，由于信号级时序是针对被验证设计的特定接口而言的，所以被验证设计的不同接口具有不同的事务。 　　通过这种抽象，事务的概念把验证上升到一个比较高的抽象层次[2]，用户可以少注重信号级时序细节，更多考虑事务级上的验证行为，提高验证的工作效率。 　　 　　2.2 基于事务的验证方法的基本组成元素 　　基于事务的验证平台主要是由3个部分组成[2]，如?┩?1所示。 　　(1) 测试(tests)。他是定义验证所需事务的一段程序(事务的组合序列)，可以用HDL或是C/C++来描述。对于测试的编写，不需要了解详细的设计接口的协议，只需确定采用那些事务来产生激励、