[发明专利]一种非型闪存指令组合验证方法、系统、存储介质和终端

权利要求书

1.一种非型闪存指令组合验证方法，其特征在于，具体包括以下步骤：

S1：向Nor Flash芯片发送激励，所述激励中包含了随机的指令，将两条随机指令依次从队列尾部放入队列中，形成第一组指令组合并发送至Nor Flash芯片进行应答，随后将队列中第一条指令删除，从队列尾部放入一条新指令与队列中剩下的一条指令组合形成指令组合并发送至Nor Flash芯片进行应答，如此循环将随机的指令两两组合形成不同的指令组合；

S2：采集Nor Flash芯片根据指令组合做出的应答结果与期望结果作对比，若应答结果与期望结果相同则跳转至S3，否则跳转至S1；

S3：对应增加指令组合覆盖率；

S4：判断指令组合覆盖率是否满足预设阈值，是则跳转至S5，否则跳转至S1；

S5：判定该Nor Flash芯片的指令组合验证通过，结束验证。

2.根据权利要求1所述的非型闪存指令组合验证方法，其特征在于，所述S1中，向NorFlash芯片发送一个或多个激励，激励中包含了大量随机的指令。

3.根据权利要求1所述的非型闪存指令组合验证方法，其特征在于，所述S1和S2之间还包括以下过程：采集激励中的指令，并将指令两两组合形成指令组合，通过交叉覆盖组操作，生成实际的组合指令库。

4.根据权利要求1所述的非型闪存指令组合验证方法，其特征在于，预设一个包含所有Nor Flash芯片需要验证执行的指令组合及其应答结果的参考指令组合库。

5.一种采用如权利要求1至4任一所述的非型闪存指令组合验证方法的系统，其特征在于，包括UVM验证平台。

6.根据权利要求5所述的系统，其特征在于，所述UVM验证平台包括：

向Nor Flash芯片发送激励的指令驱动组件；

采集指令驱动组件发送的激励中的输入指令及Nor Flash芯片对应该指令的应答结果的指令采集组件；

保存有覆盖所有可能的指令组合及其期望结果的指令参考模型；

将Nor Flash芯片根据指令组合做出的应答结果与期望结果作对比的结果自动对比组件；

接收指令采集组件采集的输入指令，并判断组合覆盖率是否满足预设阈值的覆盖率收集组件。

7.根据权利要求6所述的系统，其特征在于，实际的组合指令库通过以下过程生成：

指令采集组件采集指令驱动组件发送的激励中的输入指令，采集完第一条指令后pushback到队列中，采集到第二条指令后再次push back到该队列中，再将队列中的两个指令值赋给数据包数组，然后将数据包发送给覆盖率收集组件；发送完数据包之后，指令采集组件对队列执行pop front操作；在指令采集组件采集第三条指令前队列中只剩下第二条指令，指令采集组件采集第三条指令并将第三条指令push back，与第二条指令变成一个组合数据包，再次发送给覆盖率收集组件，指令采集组件再pop front删除第三条指令，如此循环，确保每次向覆盖率收集组件发送的数据包只包含最新的两条指令；

覆盖率收集组件收到指令采集组件发送的多组数据包后，首先定义覆盖组：覆盖组n为接收到的第n条组合数据包；对这n条组合数据包两两进行交叉覆盖组处理，即生成实际的组合指令库。

8.一种存储介质，其特征在于，所述存储介质中存储有计算机程序，当所述计算机程序在计算机上运行时，使得所述计算机执行权利要求1至4任一项所述的方法。

9.一种终端，其特征在于，包括处理器和存储器，所述存储器中存储有计算机程序，所述处理器通过调用所述存储器中存储的所述计算机程序，用于执行权利要求1至4任一项所述的方法。