本文源自:金融界
金融界2024年12月18日消息，国家知识产权局信息显示，北京微核芯科技有限公司申请一项名为“处理器页表修改引起缺页异常的验证方法及装置”的专利，公开号 CN 119127546 A，申请日期为2024年8月。
专利摘要显示，本申请提出一种处理器页表修改引起缺页异常的验证方法及装置，涉及处理器技术领域，其中，方法包括：获取待验证处理器的存数指令，其中，存数指令用于修改待验证处理器的页表；对存数指令进行写跟踪，以确定页表的修改结果；基于存数指令，对页表的修改结果进行模拟，得到模拟结果；将修改结果和模拟结果进行对比，得到验证结果。解决了仿真验证中模拟器由于缺乏处理器微结构信息，无法依靠模拟器直接验证处理器行为的瓶颈，能够跟踪处理器对页表更新的同步情况，通过模拟器实现对处理器的同步验证。
