| 专利名称 | 微处理器浮点单元的随机验证方法及系统 | 申请号 | 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，待验证 微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器 浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配， 则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制 指令序列中参与运算的寄存器中的数值，提高验证效率。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障