微处理器浮点单元的随机验证方法及系统

摘要

本发明涉及微处理器浮点单元的随机验证方法和系统，方法包括：步骤1，配置指令模板中约束规则；步骤2，按约束规则对浮点池进行初始化，并初始化内存中浮点池映像；步骤3，生成浮点操作指令，从浮点池中选择操作数；步骤4，模拟浮点操作指令的执行过程；步骤5，判断浮点操作指令是否合法，如果是，则执行步骤6，否则，取消浮点操作指令；步骤6，待验证微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配，则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制指令序列中参与运算的寄存器中的数值，提高验证效率。

主权项

1.一种微处理器浮点单元的随机验证方法，其特征在于，包括：步骤1，依据指令库中浮点操作指令类型配置指令模板，所述指令模板包括用于规范生成的浮点操作指令类型及其出现概率，浮点操作指令数目，以及浮点操作数的类型和各类型的出现概率的约束规则；步骤2，按所述约束规则对作为操作数来源的浮点池进行初始化，用所述浮点池的初始化值初始化内存中浮点池映像；步骤3，根据所述约束规则生成浮点操作指令，并从所述浮点池中选择操作数；步骤4，模拟所述浮点操作指令的执行过程；步骤5，根据所述模拟的执行结果判断所述浮点操作指令是否合法，如果合法，则执行步骤6，如果不合法，则取消所述浮点操作指令；步骤6，待验证微处理器按所述操作数在所述浮点池映像中对应映像的地址从所述浮点池映像中取得被选择的操作数对应的映像，所述待验证微处理器的浮点单元以所述映像为操作数执行所述浮点操作指令；比较所述待验证微处理器的浮点单元的执行结果和所述模拟的执行结果，如果两者不匹配，则确定所述待验证微处理器的浮点单元存在缺陷，如果两者匹配并且已验证的浮点操作指令的条数未达到所述约束规则中的浮点操作指令数目，则执行步骤3。