公开(公告)号：CN101551749B

公开(公告)日：2012-08-22

申请号：CN200910083767.4

申请日：2009-05-11

Applicant: 中国科学院计算技术研究所

Inventor： 王玲 ,  沈海华 ,  李潮激

IPC: G06F9/44 ,  G06F17/50

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

公开(公告)号：CN101551749A

公开(公告)日：2009-10-07

申请号：CN200910083767.4

申请日：2009-05-11

Applicant: 中国科学院计算技术研究所

Inventor： 王玲 ,  沈海华 ,  李潮激

IPC: G06F9/44 ,  G06F17/50

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