[发明专利]处理器随机指令复用的验证方法有效
申请号: | 201611208333.9 | 申请日: | 2016-12-23 |
公开(公告)号: | CN107688467B | 公开(公告)日: | 2019-11-15 |
发明(设计)人: | 张智;何国强 | 申请(专利权)人: | 北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所 |
主分类号: | G06F9/30 | 分类号: | G06F9/30 |
代理公司: | 11201 北京清亦华知识产权代理事务所(普通合伙) | 代理人: | 张润<国际申请>=<国际公布>=<进入国 |
地址: | 100085北京*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 处理器 随机 指令 验证 方法 | ||
1.一种处理器随机指令复用的验证方法,其特征在于,包括以下步骤:
运行参考模型,并读入二进制的iss.vmem指令文件到SystemVerilog的关联数组dut_mem,iss_mem,其中,所述关联数组的索引为地址,所述关联数组的值为指令;
当所述参考模型读到的指令或者关联数组的地址不存在时,随机生成指令或者数据,并分别填充到dut_mem及iss_mem;
运行所述处理器,通过外接slave memory模型读mem_dut,并在所述处理器读取到不存在的地址时,继续以随机指令填写dut_mem,以生成处理器总线需要的所有数据与指令;
当所述处理器运行结束后,将dut_mem写入dut.mem,并保存dut_mem的地址以及对应的数据;
读取所述dut.mem以执行处理器的下一次运行。
2.根据权利要求1所述的处理器随机指令复用的验证方法,其特征在于,还包括:
在所述处理器的实际运行过程中,slave读取dut_mem初始化slave memory的内存数组;
当所述处理器发起总线操作时,判断dut_mem对应的地址是否存在,如果存在,则对slave memory进行数据读写,如果不存在,则调用指令随机产生器,并分别填写dut_mem与slave memory的内存数组;
判断指令运行是否结束,如果未结束,则继续等待下一次的总线存取;
如果指令运行结束,则将dut_mem的数据写入dut.mem中;
读取所述dut.mem以执行处理器的下一次运行。
3.根据权利要求1所述的处理器随机指令复用的验证方法,其特征在于,当所述参考模型读到的指令或者关联数组的地址在存在时,从iss.mem进行读取与写入操作,以获取处理器能够随机处理器需要的正常提交的指令与数据。
4.根据权利要求2所述的处理器随机指令复用的验证方法,其特征在于,所述判断指令运行是否结束,进一步包括:
当接收到预设的指令或者通过仿存串口输入预设语句标识时,判断所述指令运行结束。
5.根据权利要求4所述的处理器随机指令复用的验证方法,其特征在于,所述预设的指令为add$0,$0,$0。
6.根据权利要求1所述的处理器随机指令复用的验证方法,其特征在于,所述关联数组dut_mem,iss_mem包括初始化及例外处理程序。
7.根据权利要求6所述的处理器随机指令复用的验证方法,其特征在于,还包括:
所述参考模型读取所述关联数组dut_mem,iss_mem,并根据所述初始化及例外处理程序进行初始化以及例外处理,以使所述处理器正常运行以及处理例外程序。
8.根据权利要求1或2所述的处理器随机指令复用的验证方法,其特征在于,还包括:
当所述处理器运行结束时,将所述关联数组dut_mem,iss_mem的地址与数据按照预设格式写回文件。
9.根据权利要求1所述的处理器随机指令复用的验证方法,其特征在于,通过采用与软件相同的指令存储方式保存所述dut_mem的地址以及对应的数据。
10.根据权利要求1所述的处理器随机指令复用的验证方法,其特征在于,所述参考模型为单条指令运行模型。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所,未经北京国睿中数科技股份有限公司;中国电子科技集团公司第十四研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201611208333.9/1.html,转载请声明来源钻瓜专利网。