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

龙图腾网获悉广东赛昉科技有限公司申请的专利RISCV指令集中LRSC指令的验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114237997B 。

龙图腾网通过国家知识产权局官网在2026-02-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111541832.0，技术领域涉及：G06F11/22；该发明授权RISCV指令集中LRSC指令的验证方法及系统是由沈秀红设计研发完成，并于2021-12-16向国家知识产权局提交的专利申请。

本RISCV指令集中LRSC指令的验证方法及系统在说明书摘要公布了：本发明涉及处理器技术领域，具体涉及一种RISCV指令集中LRSC指令的验证方法及系统，包括单核信号采集器，多核信号采集器，LR指令队列，SC指令队列，单核控制器，多核控制器，本地监测器，全局监测器，内存模型和比较器；本发明支持LRSC指令，若LRSC指令的地址属性是可缓存的，则抢锁的相关操作在本地监测器维护，每个核都有自己独立的本地监测器，核与核之间通过数据一致性的操作来进行抢锁操作。若LRSC指令的地址属性是不可缓存的，则抢锁的相关操作在全局监测器维护，全局监测器只有一个，监测所有核的LRSC访问，并返回访问结果。通过本验证方法，能有效且准确地判断DUT抢锁操作是否准确，并适用于所有RISCV架构的处理器验证。

本发明授权RISCV指令集中LRSC指令的验证方法及系统在权利要求书中公布了：1.一种RISCV指令集中LRSC指令的验证方法，其特征在于，包括以下步骤： S1初始化，监测DUT指令发射信息，判断指令类型，将该指令存入相应指令队列； S2监测DUT中指令的执行情况，将执行信息同步更新至相应的指令队列； S3判断指令是否为可缓存地址属性，若是则进一步判断指令是否获得数据，进而进行执行指令；若否则进入S5； S4监测DUT中SC指令是否提交，若提交，进而进行比较DUTSC指令的结果数据和检查器中SC指令的结果数据，或报错； S5监测DUT中总线互联上的读传输，并进一步的执行指令，若执行指令，获得数据，若无法执行指令，或报错； 若为不可缓存地址属性的LR指令在验证环境中执行时，监测DUT中总线互联上的读传输，若读传输的地址属性为不可缓存，且是exclusive的访问，则判断该读传输由一条不可缓存地址属性的LR指令发起； 若为不可缓存地址属性的SC指令在验证环境中执行时，监测DUT中总线互联上的写传输，若写传输的地址属性为不可缓存，且是exclusive的访问，则判断该写传输由一条不可缓存地址属性的SC指令发起； S6监测DUT中指令是否获得结果数据，当获得结果数据时，多核控制器将结果数据储存； S7监测DUT中LR指令是否提交，若提交，进而进行比较DUTLR指令获得数据和验证环境中LR指令获得的数据，或报错。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东赛昉科技有限公司，其通讯地址为：528300 广东省佛山市顺德区大良街道云路社区昊阳路2号A区S201室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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