-
公开(公告)号：CN101551749B
公开(公告)日：2012-08-22
申请号：CN200910083767.4
申请日：2009-05-11
Applicant: 中国科学院计算技术研究所
Abstract: 本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。
-
公开(公告)号：CN101515310A
公开(公告)日：2009-08-26
申请号：CN200910077761.6
申请日：2009-02-16
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及微处理器浮点单元的随机验证方法和系统，方法包括：步骤1，配置指令模板中约束规则；步骤2，按约束规则对浮点池进行初始化，并初始化内存中浮点池映像；步骤3，生成浮点操作指令，从浮点池中选择操作数；步骤4，模拟浮点操作指令的执行过程；步骤5，判断浮点操作指令是否合法，如果是，则执行步骤6，否则，取消浮点操作指令；步骤6，待验证微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配，则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制指令序列中参与运算的寄存器中的数值，提高验证效率。
-
公开(公告)号：CN101551749A
公开(公告)日：2009-10-07
申请号：CN200910083767.4
申请日：2009-05-11
Applicant: 中国科学院计算技术研究所
Abstract: 本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。
-
公开(公告)号：CN101515310B
公开(公告)日：2010-10-06
申请号：CN200910077761.6
申请日：2009-02-16
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及微处理器浮点单元的随机验证方法和系统，方法包括：步骤1，配置指令模板中约束规则；步骤2，按约束规则对浮点池进行初始化，并初始化内存中浮点池映像；步骤3，生成浮点操作指令，从浮点池中选择操作数；步骤4，模拟浮点操作指令的执行过程；步骤5，判断浮点操作指令是否合法，如果是，则执行步骤6，否则，取消浮点操作指令；步骤6，待验证微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配，则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制指令序列中参与运算的寄存器中的数值，提高验证效率。
-
-
-
Search Results
4
records
(took 0.037 seconds)
