基于真实建模的过擦除验证方法、装置、存储介质和终端与流程

1.本发明涉及非易失存储器验证技术领域，尤其涉及的是一种基于真实建模的过擦除验证方法、装置、存储介质和终端。


背景技术：

2.在对非易失存储器控制端的验证阶段，往往会建立一个memory cell模型接收控制器操作并反馈操作结果。传统做法一般是memory cell模型收到过擦除修复资料便将memory cell模型内需要进行过擦除修复的存储单元内的数据由1变成0，现有的对这种memory cell模型内存储单元的过擦除验证方式是完全理想化的，不能反映非易失存储器真实特性因而也不能准确验证非易失存储器控制器的功能。
3.因此，现有的技术还有待于改进和发展。


技术实现要素：

4.本发明的目的在于提供一种基于真实建模的过擦除验证方法、装置、存储介质和终端，旨在解决现有的对过于理想的memory cell模型内存储单元的过擦除验证不能反映非易失存储器真实特性，不能准确验证非易失存储器控制器功能的问题。
5.本发明的技术方案如下：一种基于真实建模的过擦除验证方法，其中，具体包括以下步骤：使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，得到数组模型；接收过擦除修复指令，随机生成一个随机操作次数；根据过擦除修复指令和随机操作次数对数组模型内的存储单元执行过擦除修复；判断操作次数是否达到随机操作次数，否则跳转至根据过擦除修复指令和随机操作次数对数组模型内的存储单元执行过擦除修复；是则判断数组模型内的全部存储单元是否成功执行过擦除修复，得到过擦除修复验证结果并输出。
6.所述的基于真实建模的过擦除验证方法，其中，所述判断数组模型内的全部存储单元是否成功执行过擦除修复，具体过程如下：判断数组模型内的存储单元的数据是否全部写为0。
7.所述的基于真实建模的过擦除验证方法，其中，所述判断数组模型内的全部存储单元是否成功执行过擦除修复，得到过擦除修复验证结果并输出，具体包括以下步骤：s51：判断数组模型内的存储单元的数据是否全部写为0，是则跳转至s52，否则跳转至s53；s52：过擦除修复成功，输出验证结果；s53：过擦除修复失败，输出验证结果。
8.所述的基于真实建模的过擦除验证方法，其中，所述使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，得到数组模型，具体过程如下：使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，建立一个与非易失存储器内需要进行过擦除修复的存储单元一致的数组，数组内设置有若干个bit，每个bit对应非易失存储器内的一个cell，该数组即为数组模型。
9.所述的基于真实建模的过擦除验证方法，其中，所述数组模型内的全部存储单元内的数据初始为1。
10.所述的基于真实建模的过擦除验证方法，其中，所述根据过擦除修复指令和随机操作次数对数组模型内的存储单元执行过擦除修复，每执行一次过擦除修复，使数组模型内的存储单元随机部分写为0。
11.一种基于真实建模的过擦除验证装置，其中，包括：建模模块，使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，得到数组模型；操作次数生成模块，接收过擦除修复指令，随机生成一个随机操作次数；过擦除修执行模块，根据过擦除修复指令和随机操作次数对数组模型内的存储单元执行过擦除修复；判断模块，判断操作次数是否达到随机操作次数；判断输出模块，判断数组模型内的全部存储单元是否成功执行过擦除修复，得到过擦除修复验证结果并输出。
12.所述的基于真实建模的过擦除验证装置，其中，所述判断输出模块包括：过擦除修复判断模块，判断数组模型内的存储单元的数据是否全部写为0，得到过擦除修复验证结果；过擦除修复验证结果输出模块，输出过擦除修复验证结果。
13.一种存储介质，其中，所述存储介质中存储有计算机程序，当所述计算机程序在计算机上运行时，使得所述计算机执行上述任一项所述的方法。
14.一种终端，其中，包括处理器和存储器，所述存储器中存储有计算机程序，所述处理器通过调用所述存储器中存储的所述计算机程序，用于执行上述任一项所述的方法。
15.本发明的有益效果：本发明通过提供一种基于真实建模的过擦除验证方法、装置、存储介质和终端，通过使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，在接收过擦除修复指令时，产生一个随机数，根据随机数对数组模型内的存储单元执行过擦除修复，当检测到操作次数达到随机数时，判断数组模型内的存储单元的数据是否全部写为0并输出过擦除修改验证结果；在对非易失存储器控制端的验证阶段，通过verilog代码建立一个高度接近实际的数组模型，通过验证数组模型去模拟非易失存储器控制端对于过擦除修复的真实特性，能更加准确的验证控制端操作的准确性，而且自动检查过擦除修复操作结果则增强了验证的自动化程度。
附图说明
16.图1是本发明中基于真实建模的过擦除验证方法的步骤流程图。
17.图2是本发明中基于真实建模的过擦除验证装置的示意图。
18.图3是本发明中终端的示意图。
具体实施方式
19.下面将结合本申请实施例中附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本申请一部分实施例，而不是全部的实施例。通常在此处附图中描述和示出的本申请实施例的组件可以以各种不同的配置来布置和设计。因此，以下对在附图中提供的本申请的实施例的详细描述并非旨在限制要求保护的本申请的范围，而是仅仅表示本申请的选定实施例。基于本申请的实施例，本领域技术人员在没有做出创造性劳动的前提下所获得的所有其他实施例，都属于本申请保护的范围。
20.应注意到：相似的标号和字母在下面的附图中表示类似项，因此，一旦某一项在一个附图中被定义，则在随后的附图中不需要对其进行进一步定义和解释。同时，在本申请的描述中，术语“第一”、“第二”等仅用于区分描述，而不能理解为指示或暗示相对重要性。
21.如图1所示，一种基于真实建模的过擦除验证方法，具体包括以下步骤：s1：使用verilog（verilog一般指verilog hdl。verilog hdl是一种硬件描述语言，以文本形式来描述数字系统硬件的结构和行为的语言，用它可以表示逻辑电路图、逻辑表达式，还可以表示数字逻辑系统所完成的逻辑功能）代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，得到数组模型；s2：接收过擦除修复指令，随机生成一个随机操作次数；s3：根据过擦除修复指令和随机操作次数对数组模型内的存储单元执行过擦除修复；s4：判断操作次数是否达到随机操作次数，是则跳转至s5，否则跳转至s3；s5：判断数组模型内的存储单元的数据是否全部写为0，得到过擦除修复验证结果并输出。
22.在某些具体实施例中，所述s5具体包括以下步骤：s51：判断数组模型内的存储单元的数据是否全部写为0，是则跳转至s52，否则跳转至s53；s52：过擦除修复成功，输出验证结果；s53：过擦除修复失败，输出验证结果。
23.在某些具体实施例中，所述s1中，具体过程如下：使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，建立一个与非易失存储器内需要进行过擦除修复的存储单元一致的数组，数组内设置有若干个bit，每个bit对应非易失存储器内的一个cell（存储单元），该数组即为数组模型。
24.在某些具体实施例中，所述数组模型内的全部存储单元内的数据初始为1。
25.在某些具体实施例中，所述s3中，每执行一次过擦除修复，使数组模型内的存储单元随机部分写为0。
26.本技术方案中，通过使用verilog代码对非易失存储器内需要进行过擦除修复的存储单元进行建模，在接收过擦除修复指令时，产生一个随机数，根据随机数对数组模型内的存储单元执行过擦除修复，当检测到操作次数达到随机数时，判断数组模型内的存储单元的数据是否全部写为0并输出过擦除修改验证结果；在对非易失存储器控制端的验证阶段，通过verilog代码建立一个高度接近实际的数组模型，通过验证数组模型去模拟非易失
random access memory, 简称sram），电可擦除可编程只读存储器（electrically erasable programmable read-only memory, 简称eeprom），可擦除可编程只读存储器（erasable programmable read only memory, 简称eprom），可编程只读存储器（programmable red-only memory, 简称prom），只读存储器（read-only memory, 简称rom），磁存储器，快闪存储器，磁盘或光盘。
33.在本申请所提供的实施例中，应该理解到，所揭露装置和方法，可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的，例如，所述单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，又例如，多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些通信接口，装置或单元的间接耦合或通信连接，可以是电性，机械或其它的形式。
34.另外，作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
35.再者，在本申请各个实施例中的各功能模块可以集成在一起形成一个独立的部分，也可以是各个模块单独存在，也可以两个或两个以上模块集成形成一个独立的部分。
36.在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。
37.以上所述仅为本申请的实施例而已，并不用于限制本申请的保护范围，对于本领域的技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本申请的保护范围之内。