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

Functional verification using random testing transaction level

针对事务级和寄存器传输级(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.