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

龙图腾网获悉中国科学院上海高等研究院申请的专利寄存器传输级设计内存序检测方法及装置存储介质和终端获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116136810B 。

龙图腾网通过国家知识产权局官网在2026-04-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111367508.1，技术领域涉及：G06F11/22；该发明授权寄存器传输级设计内存序检测方法及装置存储介质和终端是由周翔;杨秋松;李明树设计研发完成，并于2021-11-18向国家知识产权局提交的专利申请。

本寄存器传输级设计内存序检测方法及装置存储介质和终端在说明书摘要公布了：本发明公开了一种寄存器传输级设计内存序检测方法和装置、存储介质和终端；其中方法包括：采集待检测寄存器传输级设计仿真验证过程中信号，并基于信号动态生成检测模型以进行内存序检测；当采集到存储操作提交时间点信号后，基于提交数据信号转换为本地数据并存储于本地空间中；当采集到存储操作全局可见时间点信号时，将本地数据转换为全局可见数据，并将其存储在全局可见空间；当采集到装载操作执行完成时间点时，根据所述执行完成数据信号生成装载完成信息项，并将操作完成信息项存储到对应本地装载完成信息表中，当采集到装载操作提交时间点信号时，读取装载操作完成信息项进行内存序检测。本发明简化了寄存器传输级设计内存序检测过程。

本发明授权寄存器传输级设计内存序检测方法及装置存储介质和终端在权利要求书中公布了：1.一种寄存器传输级设计内存序检测方法，包括： 采集待检测寄存器传输级设计仿真验证过程中，存储操作和装载操作在处理器流水线中预设关键时间点的信号； 基于采集到的信号动态生成检测模型，并在所述检测模型中实现所述存储操作和装载操作的内存序检测； 其中，所述存储操作的预设关键时间点为提交时间点和全局可见时间点，所述装载操作的预设关键时间点为执行完成时间点和提交时间点； 基于采集到的信号动态生成检测模型，并在所述检测模型中实现所述存储操作和装载操作的内存序检测步骤包括： 当采集到所述存储操作提交时间点的提交数据信号后，判断是否存在所述存储操作所属核处理器对应的本地空间，若存在则基于所述提交数据信号生成本地数据，并将所述本地数据存储到对应所述本地空间中，否则创建所述存储操作所属核处理器对应的本地空间，并基于提交数据信号生成本地数据，将所述本地数据存储到对应所述本地空间中； 当采集到所述存储操作全局可见时间点的全局可见信号指令时，判断是否存在全局可见空间，若存在则基于当前所述存储操作对应的本地数据生成全局可见数据，并将所述全局可见数据存储到所述全局可见空间中，否则创建全局可见空间，并基于当前所述存储操作对应的本地数据生成全局可见数据，将所述全局可见数据存储到所述全局可见空间中； 当所述全局可见数据存储到所述全局可见空间中后，对对应所述存储操作进行内存序检测，并删除掉所述全局可见数据对应的本地数据； 当采集到所述装载操作执行完成时间点的执行完成数据信号时，判断是否存在所述装载操作所属核处理器对应的本地装载完成信息表，若存在则根据所述执行完成数据信号生成装载操作完成信息项，并将所述操作完成信息项存储到对应所述本地装载完成信息表中，否则创建当前所述装载操作所属核处理器对应的本地装载完成信息表，并根据所述执行完成数据信号生成装载操作完成信息项，将所述操作完成信息项存储到对应所述本地装载完成信息表中； 当采集到所述装载操作提交时间点的提交信号指令时，从当前所述装载操作对应的所述本地装载完成信息表中读取当前所述装载操作对应的装载操作完成信息项进行内存序检测，并将对应的装载操作完成信息项从对应所述本地装载完成信息表中删除； 所述检测模型包括所述本地空间、所述全局可见空间和所述本地装载完成信息表中的至少一种。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院上海高等研究院，其通讯地址为：201210 上海市浦东新区海科路99号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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