[发明专利]SoC处理器指令验证方法有效
| 申请号： | 201410406272.1 | 申请日： | 2014-08-18 |
| 公开（公告）号： | CN104182205A | 公开（公告）日： | 2014-12-03 |
| 发明（设计）人： | 宁宁 | 申请（专利权）人： | 中国航天科技集团公司第九研究院第七七一研究所 |
| 主分类号： | G06F9/30 | 分类号： | G06F9/30;G06F15/76 |
| 代理公司： | 西安通大专利代理有限责任公司 61200 | 代理人： | 徐文权 |
| 地址： | 710068 *** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | soc 处理器 指令 验证 方法 | ||
1.SoC处理器指令验证方法，其特征在于，包括如下的步骤：
1)根据指令格式Format3，建立指令数据组合<rs1,rs2,rd>，其中rs1,rs2,rd∈r寄存器或f寄存器；
2)依据SPARC V8寄存器组织结构，建立数据rd和rs1、rs2的数据相关性，得到交互数据组合集合Rdom＝{<rsi,rsj,rd>|rd＝rsi或rd＝rsj,i,j＝0,…,31}；
3)将Rdom集合中的数据填入Format3格式的指令码中，得到数据交互指令集合Idom；
4)依据指令流水线级数，从Idom中任意选取流水线级数个指令组成交叉指令进行验证。
2.根据权利要求1所述的SoC处理器指令验证方法，其特征在于，针对浮点单精度数据操作指令，其指令验证方法包括如下的步骤：
a)建立数据组合<rs1,rs2,rd>，其中rs1,rs2,rd∈f寄存器；
b)根据f寄存器组织结构，得到交互数据组合集合Rdom；
c)将Rdom进行指令码填充，得到浮点单精度惩罚指令集合；
d)从浮点单精度指令集合中，任意选取5条指令进行组合得到交叉指令；
至此，完成对浮点单精度数据操作指令的验证。
3.根据权利要求2所述的SoC处理器指令验证方法，其特征在于，步骤b)中，根据f寄存器组织结构，得到交互数据组合集合Rdom，部分组合如下：
<f0,f0,f0>,<f0,f1,f0>,<f0,f2,f0>,……
<f1,f0,f0>,<f2,f0,f0>,<f3,f0,f0>,……
……
<f1,f31,f31>,<f2,f31,f31>,<f3,f31,f31>,……。
4.根据权利要求2所述的SoC处理器指令验证方法，其特征在于，步骤c)中，将Rdom进行指令码填充，得到浮点单精度惩罚指令集合的部分指令如下：
5.根据权利要求2所述的SoC处理器指令验证方法，其特征在于，步骤d)中，从浮点单精度指令集合中，任意选取5条指令进行组合得到交叉指令如下：
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航天科技集团公司第九研究院第七七一研究所;，未经中国航天科技集团公司第九研究院第七七一研究所;许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201410406272.1/1.html，转载请声明来源钻瓜专利网。
