验证方法及装置、计算机可读存储介质制造方法及图纸

本申请实施例提供一种验证方法及装置、计算机可读存储介质，该方法包括：根据待验证的指令，生成第一测试向量空间；根据N

【技术实现步骤摘要】
验证方法及装置、计算机可读存储介质


[0001]本申请涉及指令验证
，具体涉及一种验证方法及装置、计算机可读存储介质。

技术介绍

[0002]芯片在设计完成后需要进行验证，对芯片的验证主要是通过对指令或指令集的验证来实现的。如何对指令或指令集进行有效验证，是亟待解决的问题。

技术实现思路

[0003]为了解决上述问题，本申请实施例提供一种验证方法及装置、计算机可读存储介质。
[0004]第一方面，提供一种验证方法，包括：根据待验证的指令，生成第一测试向量空间；根据N
‑
wise算法，从所述第一测试向量空间中筛选出第一测试用例集合；利用所述第一测试用例集合中的测试用例，对所述待验证指令进行验证；若对所述待验证指令的验证覆盖率没有达到要求，则根据N
‑
wise算法，从所述第一测试向量空间中筛选出第二测试用例集合，以对所述待验证指令进行验证。
[0005]可选地，作为一种可能的实现方式，所述待验证指令为一条指令。
[0006]可选地，作为一种可能的实现方式，在所述利用所本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种验证方法，其特征在于，包括：根据待验证的指令，生成第一测试向量空间；根据N
‑
wise算法，从所述第一测试向量空间中筛选出第一测试用例集合；利用所述第一测试用例集合中的测试用例，对所述待验证指令进行验证；若对所述待验证指令的验证覆盖率没有达到要求，则根据N
‑
wise算法，从所述第一测试向量空间中筛选出第二测试用例集合，以对所述待验证指令进行验证。2.根据权利要求1所述的方法，其特征在于，所述待验证指令为一条指令。3.根据权利要求2所述的方法，其特征在于，在对所述待验证指令进行验证之后，所述方法还包括：根据N
‑
wise算法，对包含所述待验证指令的指令集进行验证。4.根据权利要求1所述的方法，其特征在于，所述待验证指令为包含多条指令的指令集。5.根据权利要求1所述的方法，其特征在于，所述根据N
‑
wise算法，从所述第一测试向量空间中筛选出第二测试用例集合，以对所述待验证指令进行验证，包括：增加N
‑
wise算法中的N的取值，从所述第一测试向量空间中筛选出第二测试用例集合；根据所述第二测试用例集合与所述第一测试用例集合的差集，得到第三测试用例集合；利用所述第三测试用例集合中的测试用例对所述待验证指令进行验证，直到验证覆盖率达到预设指标或者N的取值等于测试用例中参数的总数。6.一种验证装置，其特征在于，包括：生成模块，用于根据待验证的指令，生成第一测试向...

【专利技术属性】
技术研发人员：陈成，
申请(专利权)人：哲库科技上海有限公司，
类型：发明
国别省市：