专利详情

专利名称	一种微处理器验证中快速换页的装置和方法
申请号	CN200810241076.8	专利类型	发明专利
公开（公告）号	CN101441600	公开（授权）日	2009.05.27
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	王朋宇;沈海华;陈云霁
主分类号	G06F12/10(2006.01)I	IPC主分类号	G06F12/10(2006.01)I;G06F17/50(2006.01)I
专利有效期	一种微处理器验证中快速换页的装置和方法至一种微处理器验证中快速换页的装置和方法	法律状态	专利实施许可合同备案的生效、变更及注销
说明书摘要	本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。