基于事务的功能验证方法及其在设计验证中的运用.pdfVIP

2008 10 JISUANJI YU XIANDA IHUA 158 : 2008) , (杭州电子科技大学微电子 CAD研究所, 浙江 杭州 310018) :介绍了基于事务的验证方法, 把验证工作提高 一个更高的抽象层次, 减少了验证中对信号级时序细节的考虑, 更 注重于事务级行为的验证, 并可提高验证代码编写的重用性,有利于提高验证的工作效率本文主要介绍这种功能验证 方法在 UART设计验证中的运用及其测试平台的建立 : 功能验证; 事务; 测试平台 : T 311. 52 : A T ransactionbased Functional Verification M ethodology and Its Application JIANG Long, M a Qi ( IC CAD Research Center, H angzhou D ianziUn iversity, H angzhou 310018, Ch ina) Abstract: This paper introduces transactionbased verification m ethodology ( TBV) and the establishment of UART s testbench based onTBV. TBV raises the verification effort to a h igher abstract level. It mi proves the verification process by presenting infor m ation in term s of transactions and their relationsh ips, rather than signals and waveforms. Therefore it enhances the reusab ility of each com ponent in the testbench, and causes to be more effective to the function verification of RTL description. Key w ords: functionalverification; transaction; testbench 0 1 , , , , , , ASIC I SOC , , [ 1, 3] [ 2] 70% , , 1. 1 (T ransaction) (Testbench) , , (Testbench)UART , , Testbench [ 2]