【摘要】 本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。 【专利类型】发明授权 【申请人】中国科学院计算技术研究所 【申请人类型】科研单位 【申请人地址】100080 北京市海淀区中关村科学院南路6号 【申请人地区】中国 【申请人城市】北京市 【申请人区县】海淀区 【申请号】CN200810241076.8 【申请日】2008-12-25 【申请年份】2008 【公开公告号】CN101441600B 【公开公告日】2010-12-08 【公开公告年份】2010 【授权公告号】CN101441600B 【授权公告日】2010-12-08 【授权公告年份】2010.0 【IPC分类号】G06F12/10; G06F17/50; G06F12/126 【发明人】王朋宇; 沈海华; 陈云霁 【主权项内容】一种微处理器验证中快速换页的装置，其特征在于，包括：随机指令控制模块，被验证的微处理器以及内存模块；随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合转换旁视缓冲TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令并执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据，以及仅包含一条ERET指令的缺页例外处理程序；随机指令控制模块包括：存储模块、指令及数据写入控制模块、例外信号接收处理模块和页表生成及配置模块；存储模块，用于存储验证微处理器的指令和数据，以及指令和数据的虚页号；页表生成及配置模块，用于为存储在存储模块中的虚页号分配物理页号，生成页表；当发生缺页例外时，将虚页号、物理页号以及缺页例外信号组合成符合转换旁视缓冲TLB格式的数据，随机写入被验证的微处理器的内部转换旁视缓冲TLB；指令及数据写入控制模块，用于根据页表生成及配置模块生成的页表，将验证微处理器的指令和数据写入内存模块；所述例外信号接收处理模块，用于接收并处理被验证的微处理器发送来的缺页例外信号，并将得到的虚页号发送到页表生成及配置模块。 【当前权利人】龙芯中科技术股份有限公司 【当前专利权人地址】北京市海淀区中关村环保科技示范园龙芯产业园2号楼 【统一社会信用代码】12100000400012342E 【家族被引证次数】6
