[发明专利]全局存储器顺序检测系统及方法有效
申请号: | 201710447322.4 | 申请日: | 2017-06-14 |
公开(公告)号: | CN109087682B | 公开(公告)日: | 2020-09-01 |
发明(设计)人: | 荆刚;王正算;潘步堃;余红斌 | 申请(专利权)人: | 展讯通信(上海)有限公司 |
主分类号: | G11C29/12 | 分类号: | G11C29/12 |
代理公司: | 北京汇泽知识产权代理有限公司 11228 | 代理人: | 张瑾 |
地址: | 201203 上海市浦东新区浦东*** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 全局 存储器 顺序 检测 系统 方法 | ||
1.一种全局存储器顺序检测系统,其特征在于,所述系统包括输入指令监控器、Cache监控器、写缓存监控器、总线监控器、指令执行状态记录器和顺序检测单元,其中,
所述输入指令监控器,用于监控待验证设计中访存单元的指令输入端口,当有新的指令被发射到访存单元时,将所述指令的信息采集下来并发送到所述指令执行状态记录器中;
所述Cache监控器、写缓存监控器和总线监控器,用于监控待验证设计中各个访存单元对所述指令的操作情况,并将所监控到的信息传输到所述指令执行状态记录器中;
所述指令执行状态记录器,用于记录所述输入指令监控器发送过来的所述指令的状态信息,根据所述Cache监控器、写缓存监控器和总线监控器监控到的信息分析所述指令是否已执行完成,当所述指令已执行完成时对所述指令的状态信息进行更新并发送到所述顺序检测单元中;
所述顺序检测单元,用于根据不同的指令类型比较已完成指令的发射顺序编号和未完成指令的发射顺序编号大小,判断指令是否按照正确的顺序完成。
2.根据权利要求1所述的系统,其特征在于,所述指令的状态信息包括指令类型、指令发射编号、指令发射时间、指令完成编号、指令完成时间、指令完成事件、指令完成标志和指令有效位。
3.根据权利要求2所述的系统,其特征在于,所述指令执行状态记录器,用于根据所述Cache监控器、写缓存监控器和总线监控器监控到的信息分析出所述指令完成事件是否发生,如果所述指令完成事件发生,则表明所述指令已执行完成。
4.根据权利要求3所述的系统,其特征在于,所述指令执行状态记录器,用于当所述指令已执行完成时对所述指令的指令完成标志、指令完成时间、指令完成编号和指令完成事件进行更新。
5.根据权利要求4所述的系统,其特征在于,所述指令执行状态记录器,还用于当所述指令已执行完成时将所述指令的状态信息进行删除。
6.一种全局存储器顺序检测方法,其特征在于,包括:
输入指令监控器监控待验证设计中访存单元的指令输入端口,当有新的指令被发射到访存单元时,将所述指令的信息采集下来并发送到指令执行状态记录器中;
Cache监控器、写缓存监控器和总线监控器监控待验证设计中各个访存单元对所述指令的操作情况,并将所监控到的信息传输到所述指令执行状态记录器中;
所述指令执行状态记录器记录所述输入指令监控器发送过来的所述指令的状态信息,根据所述Cache监控器、写缓存监控器和总线监控器监控到的信息分析所述指令是否已执行完成,当所述指令已执行完成时对所述指令的状态信息进行更新并发送到顺序检测单元中;
所述顺序检测单元根据不同的指令类型比较已完成指令的发射顺序编号和未完成指令的发射顺序编号大小,判断指令是否按照正确的顺序完成。
7.根据权利要求6所述的方法,其特征在于,所述指令的状态信息包括指令类型、指令发射编号、指令发射时间、指令完成编号、指令完成时间、指令完成事件、指令完成标志和指令有效位。
8.根据权利要求7所述的方法,其特征在于,所述根据所述Cache监控器、写缓存监控器和总线监控器监控到的信息分析出所述指令是否已执行完成包括:根据所述Cache监控器、写缓存监控器和总线监控器监控到的信息分析出所述指令完成事件是否发生,如果所述指令完成事件发生,则表明所述指令已执行完成。
9.根据权利要求8所述的方法,其特征在于,所述对所述指令的状态信息进行更新包括:对所述指令的指令完成标志、指令完成时间、指令完成编号和指令完成事件进行更新。
10.根据权利要求9所述的方法,其特征在于,在所述对所述指令的状态信息进行更新并发送到所述顺序检测单元中之后,所述方法还包括:
所述指令执行状态记录器将所述指令的状态信息进行删除。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于展讯通信(上海)有限公司,未经展讯通信(上海)有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201710447322.4/1.html,转载请声明来源钻瓜专利网。