- 专利标题: 非易失存储器指令组合验证方法、装置、存储介质和终端
-
申请号: CN202011407586.5申请日: 2020-12-04
-
公开(公告)号: CN112365917B公开(公告)日: 2021-11-05
- 发明人: 朱雨萌 , 唐维强 , 张新展 , 陈胜源 , 张宇
- 申请人: 芯天下技术股份有限公司
- 申请人地址: 广东省深圳市龙岗区园山街道荷坳社区龙岗大道8288号大运软件小镇10栋101
- 专利权人: 芯天下技术股份有限公司
- 当前专利权人: 芯天下技术股份有限公司
- 当前专利权人地址: 广东省深圳市龙岗区园山街道荷坳社区龙岗大道8288号大运软件小镇10栋101
- 代理机构: 佛山市海融科创知识产权代理事务所
- 代理商 陈志超; 唐敏珊
- 主分类号: G06F11/22
- IPC分类号: G06F11/22 ; G06F11/36 ; G11C29/56
摘要:
本发明公开了一种非易失存储器指令组合验证方法、装置、存储介质和终端,使用向量映射指令集的方式,确定好指令组合维度后,复制向量为组合维度个数,再对这些向量中的元素进行遍历组合,生成对应的新组合向量,再将新组合向量中的元素一一映射到对应的指令,生成指令组合集,依次将这些遍历指令组合集发送到测试平台进行测试验证;这样既能确保组合指令测试激励的高效产生,同时不产生重复,冗余的测试,亦省去随机指令中收集覆盖率以及判断指令组合覆盖率是否满足的过程,提高测试效率;通过设置不同组合维度可以确定不同指令组合情况,具有一定可控性,验证人员可以根据实际情况选择适合组合维度,以在测试时间和测试穷尽度上取得平衡。
公开/授权文献
- CN112365917A 非易失存储器指令组合验证方法、装置、存储介质和终端 公开/授权日:2021-02-12