 |
| 在微处理器用户态随机验证中实现核心态程序验证的方法 |
| 发明专利 |
| 申请专利号：CN200610078226.9 |
| 申请日期：2006.05.12 |
| 公开公告号：CN1892616 |
| 公开公告日：2007.01.10 |
| 主分类号：G06F11/36(2006.0 |
| 分类号：G06F11/36(2006.01)I |
| 国际申请： |
| 国际公布： |
| 申请人：中国科学院计算技术研究所 |
| 地址：100080北京市海淀区中关村科学院南路6号 |
| 发明设计人：沈海华;胡伟武 |
| 内容摘要：本发明公开了一种在微处理器用户态随机验证中实现核心态程序验证的方法。该方法包括：a)在指令模版中添加异常处理相关的约束；b)对指令级随机验证产生引擎进行改进；c)在指令级处理器模拟器中加入核心态指令的执行机制，设置寄存器，在系统运行核心态指令时提供正确结果；d)在指令过滤器中加入步骤a)中所添加的异常处理相关的约束的过滤装置；e)在仿真环境中加入异常监测逻辑和控制寄存器更新逻辑；f)在仿真环境提供的存储器中预存异常处理程序。本发明具有验证全面、验证效率高的优点。 |
| 详细内容请点击全文下载... |
| 全文下载 |
详细地址：广东省广州市越秀区先烈中路100号 邮编：510070
版权所有：广东省科技图书馆(建议分辨率1024*768以上) 粤ICP备05059360号
互动邮箱：stlib@stlib.cn; zhangrui@stlib.cn
部门博客：http://diglib.blog.sohu.com/