基于事务的功能验证方法

Transaction-based Functional Verification Methodology

功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。

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.