专利详情

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