| 发明名称 | 一种微处理器验证中快速换页的装置和方法 | ||
| 摘要 | 本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。 | ||
| 申请公布号 | CN101441600A | 申请公布日期 | 2009.05.27 |
| 申请号 | CN200810241076.8 | 申请日期 | 2008.12.25 |
| 申请人 | 中国科学院计算技术研究所 | 发明人 | 王朋宇;沈海华;陈云霁 |
| 分类号 | G06F12/10(2006.01)I;G06F17/50(2006.01)I | 主分类号 | G06F12/10(2006.01)I |
| 代理机构 | 北京律诚同业知识产权代理有限公司 | 代理人 | 祁建国;梁 挥 |
| 主权项 | 1. 一种微处理器验证中快速换页的装置，其特征在于，包括：随机指令控制模块，被验证的微处理器以及内存模块；随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令并执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。 | ||
| 地址 | 100080北京市海淀区中关村科学院南路6号 | ||