| 专利名称 | 在微处理器用户态随机验证中实现核心态程序验证的方法 | 申请号 | CN200610078226.9 | 专利类型 | 发明专利 | 公开（公告）号 | CN1892616 | 公开（授权）日 | 2007.01.10 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 沈海华;胡伟武 | 主分类号 | G06F11/36(2006.01) | IPC主分类号 | G06F11/36(2006.01) | 专利有效期 | 在微处理器用户态随机验证中实现核心态程序验证的方法 至在微处理器用户态随机验证中实现核心态程序验证的方法 | 法律状态 | 专利实施许可合同备案的生效、变更及注销 | 说明书摘要 | 本发明公开了一种在微处理器用户态随机验证 中实现核心态程序验证的方法。该方法包括：a)在指令模版中 添加异常处理相关的约束；b)对指令级随机验证产生引擎进行 改进；c)在指令级处理器模拟器中加入核心态指令的执行机制， 设置寄存器，在系统运行核心态指令时提供正确结果；d)在指 令过滤器中加入步骤a)中所添加的异常处理相关的约束的过 滤装置；e)在仿真环境中加入异常监测逻辑和控制寄存器更新 逻辑；f)在仿真环境提供的存储器中预存异常处理程序。本发 明具有验证全面、验证效率高的优点。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障