买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉华东师范大学申请的专利一种针对RISC-V物理内存保护机制的实现及验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119621610B 。

龙图腾网通过国家知识产权局官网在2025-11-04发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411518551.7，技术领域涉及：G06F12/14；该发明授权一种针对RISC-V物理内存保护机制的实现及验证方法是由张昱;郭建;王鑫设计研发完成，并于2024-10-29向国家知识产权局提交的专利申请。

本一种针对RISC-V物理内存保护机制的实现及验证方法在说明书摘要公布了：本发明公开了一种针对RISC‑V物理内存保护机制的实现方法，所述方法包括以下步骤：根据RISC‑VISA规范，分析物理内存保护机制模块结构、模块的输入和输出，依据文档要求设计模块框架，然后使用SystemVerilog语言对模块进行实现；依据ISA规范，对PMP模块进行性质分析，并将分析所得到的性质进行分类，同时对这些性质使用形式化语言描述；基于已经实现的物理内存保护模块，结合所提取出的性质，使用基于断言的形式化验证工具Symbiyosys，对性质进行形式化验证，整合验证结果以确保RISC‑V物理内存保护机制的正确性。

本发明授权一种针对RISC-V物理内存保护机制的实现及验证方法在权利要求书中公布了：1.一种针对RISC-V物理内存保护机制的实现方法，其特征在于，包括以下步骤： 步骤一：根据RISC-VISA文档规范中PMP模块的功能和要求，确定PMP模块的基本功能和信息； 步骤二：根据步骤一中的信息，设计PMP模块的整体结构和接口，确定模块内部的状态、控制信号和数据路径，构建模块框架，使用SystemVerilog语言对PMP模块进行实现； 步骤三：依据RISC-VISA文档规范，对PMP模块进行性质分析，将分析得到的性质进行分类，并基于性质提取PMP抽象断言； 所述步骤三中PMP模块性质的分类，包括：未配置PMP寄存器组时允许所有内存访问、配置PMP寄存器组时所需满足的性质、内存访问时所需满足的性质和所实现的PMP模块内部需要满足的性质；其中， 所述未配置PMP寄存器组时允许所有内存访问包括：在没有对PMP寄存器组配置时，PMP不进行内存保护，此时允许所有PMP寄存器访问； 所述配置PMP寄存器组时所需满足的性质包括：在非M模式下不允许进行寄存器组的修改、在要被修改的寄存器组处于锁定状态下时不允许寄存器组的修改、在要被修改的寄存器组的下一个寄存器组处于锁定状态，且寻址模式为TOR时，对该寄存器组的地址寄存器进行的修改不被允许； 所述内存访问时所需满足的性质包括：内存访问的首地址和终止地址均位于同一个寄存器组内、内存访问的地址区间没有被所匹配的寄存器组更高优先级的寄存器组所覆盖、SU模式下，内存访问请求要与寄存器组的权限模式XWR相匹配、M模式下，若寄存器组未锁定，无需进行权限检查；若寄存器组已锁定，则需要进行权限检查、若内存访问未匹配到任何寄存器组，在M模式下允许此次访问；在SU模式下拒绝此次访问； 所述所实现的PMP模块内部需要满足的性质包括：所实现的模块内部的寄存器组之间的逻辑关系需要得到满足； 步骤四：基于实现的PMP模块进行仿真执行； 步骤五：基于通过仿真验证的PMP模块，结合抽象断言，构建基于断言的物理内存保护机制模块； 所述步骤五包括以下步骤： 步骤H1：对于每个性质，生成一条与之对应的断言分别添加到所实现的物理内存保护模块中，生成断言模块； 步骤H2：对于所有性质，整合一组断言以覆盖全部性质，并添加到所实现的物理内存保护模块中，生成整合模块。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华东师范大学，其通讯地址为：200241 上海市闵行区东川路500号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。