随机测试程序生成方法和系统以及设计验证方法

摘要

本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。

主权项

1.一种用于微处理器的指令级功能验证的随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)用小桶间的相容度计算小桶的计数函数，其中：根据公式生成桶bucket_p中的小桶bucket_pi的初始计数函数其中1≤p≤桶个数，1≤i≤桶bucket_p中小桶个数t，X_p是所述桶bucket_p中的随机变量，N_l是分到所述小桶bucket_pi的计数函数或约束条件，1≤l≤小桶bucket_pi中的计数函数和约束条件个数；根据${\rho }_i=\underset{j\ne i}{\overset{t}{\Pi }}\frac{{\Sigma }_{s\in S_{\mathrm{pj}}}\min (N_j^{p^{*}}\left(s\right),1)}{\left|S_{\mathrm{pj}}\right|}$估算在所述小桶bucket_pi中对变量X_p取不同值时所述小桶bucket_pi与所述桶bucket_p中其它小桶bucket_pj的相容度ρ_i，其中1≤j≤小桶个数t，S_pj为所述小桶bucket_pj中除X_p外的随机变量集合，s表示S_pj中的变量，表示小桶bucket_pj的计数函数；根据计算所述小桶bucket_pi的计数函数并把所述计数函数分到S_pi中序号数最大的随机变量对应的小桶中；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。