微核芯申請處理器頁表修改引起缺頁異常的驗證方法及裝置專利，解決仿真驗證瓶頸

金融界2024年12月18日消息，國家知識產權局信息顯示，北京微核芯科技有限公司申請一項名爲“處理器頁表修改引起缺頁異常的驗證方法及裝置”的專利，公開號 CN 119127546 A，申請日期爲2024年8月。

專利摘要顯示，本申請提出一種處理器頁表修改引起缺頁異常的驗證方法及裝置，涉及處理器技術領域，其中，方法包括：獲取待驗證處理器的存數指令，其中，存數指令用於修改待驗證處理器的頁表；對存數指令進行寫跟蹤，以確定頁表的修改結果；基於存數指令，對頁表的修改結果進行模擬，得到模擬結果；將修改結果和模擬結果進行對比，得到驗證結果。解決了仿真驗證中模擬器由於缺乏處理器微結構信息，無法依靠模擬器直接驗證處理器行爲的瓶頸，能夠跟蹤處理器對頁表更新的同步情況，通過模擬器實現對處理器的同步驗證。

本文源自：金融界

作者：情報員