专利详情

专利名称	微处理器浮点单元的随机验证方法及系统
申请号	CN200910077761.6	专利类型	发明专利
公开（公告）号	CN101515310	公开（授权）日	2009.08.26
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	郭崎;沈海华;王玲
主分类号	G06F17/50(2006.01)I	IPC主分类号	G06F17/50(2006.01)I;G06F7/57(2006.01)I;G06F9/302(2006.01)I
专利有效期	微处理器浮点单元的随机验证方法及系统至微处理器浮点单元的随机验证方法及系统	法律状态	专利实施许可合同备案的生效、变更及注销
说明书摘要	本发明涉及微处理器浮点单元的随机验证方法和系统，方法包括：步骤 1，配置指令模板中约束规则；步骤2，按约束规则对浮点池进行初始化，并初始化内存中浮点池映像；步骤3，生成浮点操作指令，从浮点池中选择操作数；步骤4，模拟浮点操作指令的执行过程；步骤5，判断浮点操作指令是否合法，如果是，则执行步骤6，否则，取消浮点操作指令；步骤6，待验证微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配，则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制指令序列中参与运算的寄存器中的数值，提高验证效率。