[发明专利]处理器随机指令复用的验证方法有效
| 申请号： | 201611208333.9 | 申请日： | 2016-12-23 |
| 公开（公告）号： | CN107688467B | 公开（公告）日： | 2019-11-15 |
| 发明（设计）人： | 张智;何国强 | 申请（专利权）人： | 北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所 |
| 主分类号： | G06F9/30 | 分类号： | G06F9/30 |
| 代理公司： | 11201 北京清亦华知识产权代理事务所(普通合伙) | 代理人： | 张润<国际申请>=<国际公布>=<进入国 |
| 地址： | 100085北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种处理器随机指令复用的验证方法，包括：运行参考模型，读入二进制的iss.vmem指令文件到关联数组dut_mem,iss_mem；当参考模型读到的指令或者关联数组的地址不存在时，随机生成指令或者数据，并分别填充到dut_mem及iss_mem；运行处理器，通过外接slave memory模型读mem_dut,并在处理器读取到不存在的地址时，继续以随机指令填写dut_mem；当处理器运行结束后，将dut_mem写入dut.mem，并保存dut_mem的地址以及对应的数据；读取dut.mem以执行处理器的下一次运行。本发明能够随机生成处理器真实需要获取的指令与数据，并且复用性好。 | ||
| 搜索关键词： | 处理器 随机 指令 验证 方法 | ||
【主权项】：
1.一种处理器随机指令复用的验证方法，其特征在于，包括以下步骤：/n运行参考模型，并读入二进制的iss.vmem指令文件到SystemVerilog的关联数组dut_mem,iss_mem，其中，所述关联数组的索引为地址，所述关联数组的值为指令；/n当所述参考模型读到的指令或者关联数组的地址不存在时，随机生成指令或者数据，并分别填充到dut_mem及iss_mem；/n运行所述处理器，通过外接slave memory模型读mem_dut,并在所述处理器读取到不存在的地址时，继续以随机指令填写dut_mem，以生成处理器总线需要的所有数据与指令；/n当所述处理器运行结束后，将dut_mem写入dut.mem，并保存dut_mem的地址以及对应的数据；/n读取所述dut.mem以执行处理器的下一次运行。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所，未经北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611208333.9/，转载请声明来源钻瓜专利网。
