[发明专利]指令通路验证系统及指令通路监测方法有效
申请号: | 201711078999.1 | 申请日: | 2017-11-06 |
公开(公告)号: | CN109753308B | 公开(公告)日: | 2023-02-28 |
发明(设计)人: | 王安徽;刘文彬;余红斌 | 申请(专利权)人: | 展讯通信(上海)有限公司 |
主分类号: | G06F9/38 | 分类号: | G06F9/38 |
代理公司: | 北京兰亭信通知识产权代理有限公司 11667 | 代理人: | 赵永刚 |
地址: | 201203 上海市浦东新区浦东*** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 指令 通路 验证 系统 监测 方法 | ||
1.一种指令通路验证系统,其特征在于,包括:指令执行监控器、驱动模型和待验证环境通路,所述指令执行监控器和所述驱动模型均与所述待验证环境通路相连;
所述待验证环境通路包括取指令单元IFU、分支处理单元BPU和数据处理单元DPU;
所述驱动模型包括内存管理单元MMU、总线接口单元BIU、通用中断控制器GIC和数据控制单元DCU;
内存管理单元驱动模型用于模拟TLB旁路转换缓冲回填行为,负责进行VA-PA的转换;
总线接口单元驱动模型用于模拟指令回填;
通用中断控制器驱动模型用于模拟来自外来设备的事件;
数据控制单元驱动模型用于模拟进行数据Load/Store的流程。
2.一种基于权利要求1所述的指令通路验证系统的指令通路监测方法,其特征在于,包括:
获取当前取指令单元的指令流信息;
将当前取指令单元的指令流信息与标准指令流数据的指令流信息进行比对;
若当前取指令单元的指令流信息与标准指令流数据的指令流信息不一致,则停止执行当前取指令单元对应的数据流文件的仿真。
3.根据权利要求2所述的方法,其特征在于,所述指令流信息包括当前取指令单元的程序计数器、指令码、有效信号和分支指令的预测结果;
相应的,所述将当前取指令单元的指令流信息与标准指令流数据的指令流信息进行比对,包括:
将当前取指令单元的程序计数器、指令码、有效信号和分支指令的预测结果分别与所述标准指令流数据的取指令单元的程序计数器、指令码、有效信号和分支指令的预测结果进行比对。
4.根据权利要求3所述的方法,其特征在于,所述指令流信息还包括待取指令单元的预测程序计数器,所述待取指令单元的预测程序计数器为根据所述分支指令的预测结果获取的;
相应的,在获取当前取指令单元的指令流信息之后,所述方法还包括:
依据所述标准指令流数据文件获取待取指令单元的程序计数器;
对比所述待取指令单元的预测程序计数器和依据所述标准指令流数据文件获取的待取指令单元的程序计数器是否一致;
若一致,则执行数据流文件的仿真。
5.根据权利要求4所述的方法,其特征在于,在对比所述待取指令单元的预测程序计数器和依据所述标准指令流数据文件获取的待取指令单元的程序计数器是否一致之后,所述方法还包括:
若不一致,则停止指令流数据文件的监测,并在接收到预测错误的消息时,继续执行指令流数据文件的监测。
6.根据权利要求2所述的方法,其特征在于,在将当前取指令单元的指令流信息与标准指令流数据的指令流信息进行比对之后,所述方法还包括:
若当前取指令单元的指令流信息与标准指令流数据的指令流信息一致,则获取写回阶段的程序计数器与标准指令流数据文件的程序计数器的对比结果;
若所述结果不一致,则停止执行当前取指令单元对应的数据流文件的仿真。
7.根据权利要求2所述的方法,其特征在于,在获取当前取指令单元的指令流信息之后,所述方法还包括:
在接收到构建的异常测试场景之后,判断执行当前取指令单元对应的数据流文件是否有异常;
若是,则保存当前取指令单元的程序计数器和寄存器值。
8.根据权利要求7所述的方法,其特征在于,在保存当前取指令单元的程序计数器和寄存器值之后,所述方法还包括:
执行异常子程序,并在执行完后恢复异常前执行当前取指令单元对应的数据流文件;
直到所述当前取指令单元对应的数据流文件仿真完为止。
9.根据权利要求7所述的方法,其特征在于,在保存当前取指令单元的程序计数器和寄存器值之后,所述方法还包括:
停止判断执行当前取指令单元对应的数据流文件是否有异常的步骤。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于展讯通信(上海)有限公司,未经展讯通信(上海)有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201711078999.1/1.html,转载请声明来源钻瓜专利网。
- 上一篇:指令存储方法
- 下一篇:串行审核结构的安全处理器