一种微处理器验证中快速换页的装置和方法

摘要

本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。

主权项

一种微处理器验证中快速换页的装置，其特征在于，包括：随机指令控制模块，被验证的微处理器以及内存模块；随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合转换旁视缓冲TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令并执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据，以及仅包含一条ERET指令的缺页例外处理程序；随机指令控制模块包括：存储模块、指令及数据写入控制模块、例外信号接收处理模块和页表生成及配置模块；存储模块，用于存储验证微处理器的指令和数据，以及指令和数据的虚页号；页表生成及配置模块，用于为存储在存储模块中的虚页号分配物理页号，生成页表；当发生缺页例外时，将虚页号、物理页号以及缺页例外信号组合成符合转换旁视缓冲TLB格式的数据，随机写入被验证的微处理器的内部转换旁视缓冲TLB；指令及数据写入控制模块，用于根据页表生成及配置模块生成的页表，将验证微处理器的指令和数据写入内存模块；所述例外信号接收处理模块，用于接收并处理被验证的微处理器发送来的缺页例外信号，并将得到的虚页号发送到页表生成及配置模块。