[发明专利]处理器中断机制的验证方法及验证装置有效
| 申请号： | 201511008868.7 | 申请日： | 2015-12-29 |
| 公开（公告）号： | CN106933727B | 公开（公告）日： | 2020-12-18 |
| 发明（设计）人： | 张智;陈铠 | 申请（专利权）人： | 北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京清亦华知识产权代理事务所(普通合伙) 11201 | 代理人： | 张大威 |
| 地址： | 100085 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 处理器 中断 机制 验证 方法 装置 | ||
1.一种处理器中断机制的验证方法，其特征在于，所述处理器为单条指令运行的参考模型，所述参考模型无需加中断，所述方法包括以下步骤：
随机生成定向指令序列；
根据所述指令序列配置DUT的打开中断使能，并配置中断处理入口；
在中断处理时，添加N条例外返回指令，以退出例外处理程序并且跳转至被中断取消的指令PC，以重新执行验证前的程序，其中，N为正整数；
在多条指令提交时，对DUT的寄存器的状态进行采样；以及
对DUT加入随机中断，以得到加入所述随机中断对指令流水序列的影响结果。
2.如权利要求书1所述的处理器中断机制的验证方法，其特征在于，所述配置中断处理入口，进一步包括：
设置所述中断处理入口与例外处理程序的入口不同。
3.如权利要求2所述的处理器中断机制的验证方法，其特征在于，通过访存指令写所述中断处理入口地址的数据为ERET指令的编码。
4.如权利要求1所述的处理器中断机制的验证方法，其特征在于，在对所述DUT的寄存器状态进行采样之后，还包括：
对PC为中断入口指令提交的寄存器的状态信息进行过滤。
5.如权利要求1所述的处理器中断机制的验证方法，其特征在于，其中，N为1。
6.一种处理器中断机制的验证装置，其特征在于，所述处理器为单条指令运行的参考模型，所述参考模型无需加中断，所述装置包括：
生成模块，用于随机生成定向指令序列；
配置模块，用于根据所述指令序列配置DUT的打开中断使能，并配置中断处理入口；
添加模块，在中断处理时，用于添加N条例外返回指令，以退出例外处理程序并且跳转至被中断取消的指令PC，以重新执行验证前的程序，其中，N为正整数；
采样模块，在多条指令提交时，用于对DUT的寄存器的状态进行采样；以及
验证模块，用于对DUT加入随机中断，以得到加入所述随机中断对指令流水序列的影响结果。
7.如权利要求书6所述的处理器中断机制的验证装置，其特征在于，所述配置模块还用于设置所述中断处理入口与例外处理程序的入口不同。
8.如权利要求书7所述的处理器中断机制的验证装置，其特征在于，通过访存指令写所述中断处理入口地址的数据为ERET指令的编码。
9.如权利要求书6所述的处理器中断机制的验证装置，其特征在于，还包括：
过滤模块，用于对PC为中断入口指令提交的寄存器的状态信息进行过滤。
10.如权利要求书6所述的处理器中断机制的验证装置，其特征在于，其中，N为1。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所，未经北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201511008868.7/1.html，转载请声明来源钻瓜专利网。
- 上一篇：一种便携式净水器
- 下一篇：一种用于水处理设备上的成套加药装置
