事务级随机测试功能验证方法  

Functional verification using random testing transaction level

作　　者：杨王君 曹阳[1,2] 王敏[3] 马秦生[1] 

机构地区：[1]武汉大学电子信息学院,湖北武汉430010 [2]武汉大学软件工程国家重点实验室,湖北武汉430079 [3]通信指挥学院二系,湖北武汉430010

出　　处：《华中科技大学学报（自然科学版）》2010年第1期73-76,共4页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金：国家高技术研究发展计划重大专项资助项目(2002AA1Z1490);高等学校博士学科点专项科研基金资助项目(20040486049);华为技术有限公司高校合作研究基金资助项目

摘　　要：针对事务级和寄存器传输级(RTL)功能验证效率低的问题,提出了采用随机测试在片上系统(SoC)事务级进行功能验证的方法,用对比评估法论证了该方法的有效性.采用高级建模语言构建事务级的测试平台,并采用多种随机化机制生成测试向量.有效性评估结果表明,划分测试仅在错误区包含某个或几个子域的特殊情况下优于随机测试的验证效果,而随机测试则可能在更一般的情况下优于划分测试的验证效果.实验证明该方法具有较高的功能覆盖率和较低的测试成本.In view of the lower efficiency of the functional verification for the register transfer level verification and the transaction level verification, a functional verification method based on the random testing for the transaction level of the system-on-chip was proposed. The testing validity of this method was evaluated theoretically by the comparison approach. The testbench was designed using advanced modeling language. The testcases were generated using many approaches of randomization. The evaluation result indicates that the efficiency of the partition testing is better than that of the randora testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicated that the proposed method has a good performance in functional coverage and the cost of testing.

关 键 词：超大规模集成电路 功能验证 随机过程 测试平台 事务级 

分 类 号：TN407[电子电信—微电子学与固体电子学]