CN112365917B - 非易失存储器指令组合验证方法、装置、存储介质和终端 - Google Patents
非易失存储器指令组合验证方法、装置、存储介质和终端 Download PDFInfo
- Publication number
- CN112365917B CN112365917B CN202011407586.5A CN202011407586A CN112365917B CN 112365917 B CN112365917 B CN 112365917B CN 202011407586 A CN202011407586 A CN 202011407586A CN 112365917 B CN112365917 B CN 112365917B
- Authority
- CN
- China
- Prior art keywords
- instruction
- combination
- instructions
- dimension
- verification
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/56—External testing equipment for static stores, e.g. automatic test equipment [ATE]; Interfaces therefor
- G11C29/56016—Apparatus features
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/56—External testing equipment for static stores, e.g. automatic test equipment [ATE]; Interfaces therefor
- G11C29/56004—Pattern generation
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种非易失存储器指令组合验证方法、装置、存储介质和终端，使用向量映射指令集的方式，确定好指令组合维度后，复制向量为组合维度个数，再对这些向量中的元素进行遍历组合，生成对应的新组合向量，再将新组合向量中的元素一一映射到对应的指令，生成指令组合集，依次将这些遍历指令组合集发送到测试平台进行测试验证；这样既能确保组合指令测试激励的高效产生，同时不产生重复，冗余的测试，亦省去随机指令中收集覆盖率以及判断指令组合覆盖率是否满足的过程，提高测试效率；通过设置不同组合维度可以确定不同指令组合情况，具有一定可控性，验证人员可以根据实际情况选择适合组合维度，以在测试时间和测试穷尽度上取得平衡。
Description
技术领域
本发明涉及非易失性存储器技术领域，尤其涉及的是一种非易失存储器指令组合验证方法、装置、存储介质和终端。
背景技术
集成电路设计的目的在于设计出符合规范，能够实现特定功能的器件。仿真验证的目的在于确保设计在流片之前，所有既定功能都已被正确设计且符合规范。验证人员根据设计规范，确定测试点，编写测试激励，进行仿真。通过这些仿真测试确定结果是否与预期一致，从而保证设计的可靠性。
为了提高验证完备性，验证过程中一般除了采用定向测试外，还会以对指令进行两两组合的方式输入激励：（1）传统方法一般通过手动编写，遍历指令组合的方式，需要耗费大量时间进行编写，效率较为低下且容易出现遗漏的情况。（2）另一种方式是随机发送指令，同时不断收集指令组合覆盖率，直到收集到指令组合覆盖率满足设定好的阈值，即为测试结束。随机发送指令的方式减少了手动编写耗费的时间，提高了激励产生效率，但针对于一定的覆盖度，随机会导致同样的组合出现多次的情况，耗费不必要的时间，当指令较多时，在仿真过程中往往会需要较长的时间才能达到各种组合情况全部覆盖的结果。而且随机发送指令的方式有一定几率的指令组合会很快实现全覆盖，但更多情况下会一直有几种指令组合覆盖不到，需要验证人员查看覆盖率报告并补充随机激励。
因此，现有的技术还有待于改进和发展。
发明内容
本发明的目的在于提供一种非易失存储器指令组合验证方法、装置、存储介质和终端，旨在解决现有的随机发送指令的方式导致同样的组合出现多次，耗费不必要验证时间，以及会出现指令组合遗漏的问题。
本发明的技术方案如下：一种非易失存储器指令组合验证方法，其中，具体包括以下步骤：
预设包括待测的所有指令的指令集文件；
根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；
确定指令的组合维度；
复制所述向量，向量复制个数与指令组合维度一致；
根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；
根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；
将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
所述的非易失存储器指令组合验证方法，其中，所述指令的组合维度即生成的每一个指令组合中包含的指令个数。
所述的非易失存储器指令组合验证方法，其中，所述元素的个数与待测的所有指令的数量一致且一一对应，即向量中的元素与指令集文件中指令的对应序号一一对应。
所述的非易失存储器指令组合验证方法，其中，所述根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致，其中组合向量的对应数量通过如下公式计算：
所述的非易失存储器指令组合验证方法，其中，所述将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过，具体包括以下过程：将生成的指令组合作为激励，依次发送至驱动器，驱动器将激励分别施加给参考模型和待测设计，监视器检测待测设计根据激励作出的输出，计分板将参考模型根据激励得到的期望值与监视器检测到的输出进行对比，根据对比情况确定验证是否通过。
一种非易失存储器指令组合验证装置，其中，包括：
指令集文件预设模块，预设包括待测的所有指令的指令集文件；
向量生成模块，根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；
指令组合维度模块，确定指令的组合维度；
向量复制模块，复制所述向量，向量复制个数与指令组合维度一致；
组合向量生成模块，根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；
指令组合生成模块，根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；
验证模块，将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
所述的非易失存储器指令组合验证装置，其中，所述验证模块通过测试平台实现。
所述的非易失存储器指令组合验证装置，其中，所述验证模块包括：
驱动器，接收激励；
参考模型，接收驱动器发送的激励，根据激励得到的期望值；
待测设计，接收驱动器发送的激励，根据激励作出输出；
监视器，检测待测设计的输出；
计分板，根据参考模型根据激励得到的期望值与监视器检测到的输出在计分板上进行对比，根据对比情况确定验证是否通过。
一种存储介质，其中，所述存储介质中存储有计算机程序，当所述计算机程序在计算机上运行时，使得所述计算机执行上述任一项所述的方法。
一种终端设备，其中，包括处理器和存储器，所述存储器中存储有计算机程序，所述处理器通过调用所述存储器中存储的所述计算机程序，用于执行上述任一项所述的方法。
本发明的有益效果：本发明通过提供一种非易失存储器指令组合验证方法、装置、存储介质和终端，通过使用向量映射指令集的方式，使一项设计中的指令与一个向量中的元素一一对应，即一项设计的所有指令对应的元素，形成一个向量，组合维度是指生成的每一个指令组合中包含的指令个数；确定好指令组合维度后，复制向量为组合维度个数，再对这些向量中的元素进行遍历组合，生成对应的新的组合向量，再将新的组合向量中的元素一一映射到对应的指令，生成指令组合集，依次将这些遍历的指令组合集发送到测试平台中的驱动器，从而实现指令组合验证全遍历的目的；这样既能够确保组合指令测试激励的高效产生，同时不产生重复，冗余的测试，亦省去了随机指令中收集覆盖率以及判断指令组合覆盖率是否满足的过程，提高了测试效率；通过设置不同的组合维度可以确定不同的指令组合情况，具有一定的可控性，验证人员可以根据实际情况选择适合的组合维度，以在测试时间和测试穷尽度上取得一定平衡。
附图说明
图1是本发明中非易失存储器指令组合验证方法的步骤流程图。
图2是本发明中非易失存储器指令组合验证装置的示意图。
图3是本发明中验证模块的示意图。
图4是本发明中终端的示意图。
具体实施方式
下面将结合本申请实施例中附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本申请一部分实施例，而不是全部的实施例。通常在此处附图中描述和示出的本申请实施例的组件可以以各种不同的配置来布置和设计。因此，以下对在附图中提供的本申请的实施例的详细描述并非旨在限制要求保护的本申请的范围，而是仅仅表示本申请的选定实施例。基于本申请的实施例，本领域技术人员在没有做出创造性劳动的前提下所获得的所有其他实施例，都属于本申请保护的范围。
应注意到：相似的标号和字母在下面的附图中表示类似项，因此，一旦某一项在一个附图中被定义，则在随后的附图中不需要对其进行进一步定义和解释。同时，在本申请的描述中，术语“第一”、“第二”等仅用于区分描述，而不能理解为指示或暗示相对重要性。
如图1所示，一种非易失存储器指令组合验证方法，具体包括以下步骤：
S1：预设包括待测的所有指令的指令集文件，根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应。
其中，根据指令个数确定向量，如待测设计共有m个指令，则生成一个具有m个元素的向量。向量中的元素对应指令集文件中指令的对应序号。
S2：确定指令组合维度为n。
其中，所述指令组合维度即生成的每一个指令组合中包含的指令个数，例如对于两两组合的指令组合验证，组合维度为2。
S3：复制所述向量，向量复制个数与指令组合维度一致。
其中，复制S1中生成的初始向量，根据指令组合维度复制出n个相同向量。
S4：对所有复制出来的向量中的元素进行遍历组合，生成
个n维组合向量。
S5：根据生成的
个n维组合向量中的元素，查找出指令集文件中的对应指令，将组合向量中的元素一一替换为指令，生成
个n维指令组合。
S6：将生成的指令组合作为激励，依次发送至驱动器。
S7：驱动器根据指令组合进行验证，得出验证结果，根据验证结果判断验证是否通过。
其中，如图2所示，所述驱动器将激励分别施加给参考模型和待测设计，监视器检测待测设计的输出，并将参考模型得到的期望值与监视器检测到的输出在计分板上进行对比，根据对比情况确定测试是否通过，从而实现验证设计的目的。
根据上述所述的非易失存储器指令组合验证方法，现列举以下实施例加以说明：
S1：假设有ABC三条指令预设在指令集文件中，根据ABC三条指令生产一个具有三个元素的向量，三个元素对应ABC三条指令的对应序号。
S2：ABC三条指令需要两两组合，即指令组合维度为2。
S3：复制两条包括三个元素的向量。
S4：对所有复制出来的向量中的元素进行遍历组合，生成
个（即9个）2维组合向量（分别为11,12,13,21,22,23,31,32,33共9种组合）。
S5：根据生成的
个2维组合向量中的元素，查找出指令集文件中的对应指令，将组合向量中的元素一一替换为指令，生成
个2维指令组合（分别为AA，AB，AC，BA，BB,BC，CA,CB,CC）。
S6：将生成的指令组合作为激励，依次发送至驱动器。
S7：驱动器根据指令组合进行验证，得出验证结果，根据验证结果判断验证是否通过。
而一般的随机发送指令的方式则会通过随机指令，例如生成ABBCACBCAABBCCCBA这一组指令，通过对比覆盖率判断是否已经达到期望值，从而实现目的。但是，通过随机的方式有一定的几率会很快实现全覆盖，但更多情况下会一直有几种情况覆盖不到，需要验证人员查看覆盖率报告并补充随机激励，而本技术方案可以很好解决这一问题。
如图3所示，一种非易失存储器指令组合验证装置，包括：
指令集文件预设模块101，预设包括待测的所有指令的指令集文件；
向量生成模块102，根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；
指令组合维度模块103，确定指令的组合维度；
向量复制模块104，复制所述向量，向量复制个数与指令组合维度一致；
组合向量生成模块105，根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；
指令组合生成模块106，根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；
验证模块107，将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
请参照图4，本发明实施例还提供一种终端。如示，终端B300包括处理器B301和存储器B302。其中，处理器B301与存储器B302电性连接。处理器B301是终端B300的控制中心，利用各种接口和线路连接整个终端的各个部分，通过运行或调用存储在存储器B302内的计算机程序，以及调用存储在存储器B302内的数据，执行终端的各种功能和处理数据，从而对终端B300进行整体监控。
在本实施例中，终端B300中的处理器B301会按照如下的步骤，将一个或一个以上的计算机程序的进程对应的指令加载到存储器B302中，并由处理器B301来运行存储在存储器B302中的计算机程序，从而实现各种功能：预设包括待测的所有指令的指令集文件；根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；确定指令的组合维度；复制所述向量，向量复制个数与指令组合维度一致；根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
存储器B302可用于存储计算机程序和数据。存储器B302存储的计算机程序中包含有可在处理器中执行的指令。计算机程序可以组成各种功能模块。处理器B301通过调用存储在存储器B302的计算机程序，从而执行各种功能应用以及数据处理。
本申请实施例提供一种存储介质，所述计算机程序被处理器执行时，执行上述实施例的任一可选的实现方式中的方法，以实现以下功能：预设包括待测的所有指令的指令集文件；根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；确定指令的组合维度；复制所述向量，向量复制个数与指令组合维度一致；根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。其中，存储介质可以由任何类型的易失性或非易失性存储设备或者它们的组合实现，如静态随机存取存储器（StaticRandom Access Memory, 简称SRAM），电可擦除可编程只读存储器（ElectricallyErasable Programmable Read-Only Memory, 简称EEPROM），可擦除可编程只读存储器（Erasable Programmable Read Only Memory, 简称EPROM），可编程只读存储器（Programmable Red-Only Memory, 简称PROM），只读存储器（Read-Only Memory, 简称ROM），磁存储器，快闪存储器，磁盘或光盘。
在本申请所提供的实施例中，应该理解到，所揭露装置和方法，可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的，例如，所述单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，又例如，多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些通信接口，装置或单元的间接耦合或通信连接，可以是电性，机械或其它的形式。
另外，作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
再者，在本申请各个实施例中的各功能模块可以集成在一起形成一个独立的部分，也可以是各个模块单独存在，也可以两个或两个以上模块集成形成一个独立的部分。
在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。
以上所述仅为本申请的实施例而已，并不用于限制本申请的保护范围，对于本领域的技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本申请的保护范围之内。
Claims (10)
1.一种非易失存储器指令组合验证方法，其特征在于，具体包括以下步骤：
预设包括待测的所有指令的指令集文件；
根据待测的所有指令生成一个具有m个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；
确定指令的组合维度n；
复制所述向量，向量复制个数与指令组合维度一致；
根据指令的组合维度，对向量中的元素进行遍历组合，生成mn个组合向量，所述组合向量的维度与指令的组合维度一致，所述组合向量的维度代表所述组合向量中包含元素的个数；
根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；
将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
2.根据权利要求1所述的非易失存储器指令组合验证方法，其特征在于，所述指令的组合维度即生成的每一个指令组合中包含的指令个数。
3.根据权利要求1所述的非易失存储器指令组合验证方法，其特征在于，所述元素的个数与待测的所有指令的数量一致且一一对应，即向量中的元素与指令集文件中指令的对应序号一一对应。
4.根据权利要求1所述的非易失存储器指令组合验证方法，其特征在于，所述根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致，其中组合向量的对应数量通过如下公式计算：
C＝mn，m为待测的所有指令的个数，n为指令的组合维度。
5.根据权利要求1所述的非易失存储器指令组合验证方法，其特征在于，所述将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过，具体包括以下过程：将生成的指令组合作为激励，依次发送至驱动器，驱动器将激励分别施加给参考模型和待测设计，监视器检测待测设计根据激励作出的输出，计分板将参考模型根据激励得到的期望值与监视器检测到的输出进行对比，根据对比情况确定验证是否通过。
6.一种非易失存储器指令组合验证装置，其特征在于，包括：
指令集文件预设模块，预设包括待测的所有指令的指令集文件；
向量生成模块，根据待测的所有指令生成一个具有若干个元素的向量，所述元素的个数与待测的所有指令的数量一致且一一对应；
指令组合维度模块，确定指令的组合维度；
向量复制模块，复制所述向量，向量复制个数与指令组合维度一致；
组合向量生成模块，根据指令的组合维度，对所有复制出来的向量中的元素进行遍历组合，生成对应数量的组合向量，所述组合向量的维度与指令的组合维度一致；
指令组合生成模块，根据生成的组合向量中的元素，从指令集文件中查找出对应指令，将组合向量中的元素一一替换为指令，生成对应数量的指令组合，所述指令组合的维度与指令的组合维度一致；
验证模块，将生成的指令组合依次进行验证，得出验证结果，根据验证结果判断验证是否通过。
7.根据权利要求6所述的非易失存储器指令组合验证装置，其特征在于，所述验证模块通过测试平台实现。
8.根据权利要求6或7任一所述的非易失存储器指令组合验证装置，其特征在于，所述验证模块包括：
驱动器，接收激励；
参考模型，接收驱动器发送的激励，根据激励得到的期望值；
待测设计，接收驱动器发送的激励，根据激励作出输出；
监视器，检测待测设计的输出；
计分板，根据参考模型根据激励得到的期望值与监视器检测到的输出在计分板上进行对比，根据对比情况确定验证是否通过。
9.一种存储介质，其特征在于，所述存储介质中存储有计算机程序，当所述计算机程序在计算机上运行时，使得所述计算机执行权利要求1至5任一项所述的方法。
10.一种终端设备，其特征在于，包括处理器和存储器，所述存储器中存储有计算机程序，所述处理器通过调用所述存储器中存储的所述计算机程序，用于执行权利要求1至5任一项所述的方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011407586.5A CN112365917B (zh) | 2020-12-04 | 2020-12-04 | 非易失存储器指令组合验证方法、装置、存储介质和终端 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011407586.5A CN112365917B (zh) | 2020-12-04 | 2020-12-04 | 非易失存储器指令组合验证方法、装置、存储介质和终端 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112365917A CN112365917A (zh) | 2021-02-12 |
| CN112365917B true CN112365917B (zh) | 2021-11-05 |
Family
ID=74535901
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202011407586.5A Active CN112365917B (zh) | 2020-12-04 | 2020-12-04 | 非易失存储器指令组合验证方法、装置、存储介质和终端 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112365917B (zh) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116595933B (zh) * | 2023-07-17 | 2024-07-05 | 芯天下技术股份有限公司 | 电压配置的随机化验证方法、装置、电子设备及存储介质 |
Citations (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20080034061A (ko) * | 2006-10-13 | 2008-04-18 | 삼성전자주식회사 | 정상 동작 속도로 테스트 가능한 시스템온칩 및 그 테스트방법 |
| CN104461798A (zh) * | 2014-11-12 | 2015-03-25 | 中国航天科技集团公司第九研究院第七七一研究所 | 一种用于处理器算术逻辑单元指令的随机数验证方法 |
| CN107480382A (zh) * | 2017-08-21 | 2017-12-15 | 中国电子科技集团公司第五十四研究所 | 一种快速收敛的覆盖率驱动验证方法 |
| US9928150B2 (en) * | 2014-06-30 | 2018-03-27 | The Board Of Trustees Of The Leland Stanford Junior University | System and method for testing a logic-based processing device |
| CN109933529A (zh) * | 2019-03-12 | 2019-06-25 | 苏州中晟宏芯信息科技有限公司 | 基于计算单元的验证方法及验证平台 |
| CN111159966A (zh) * | 2019-12-26 | 2020-05-15 | 普冉半导体（上海）有限公司 | 非易失性存储器验证方法 |
| CN111506345A (zh) * | 2020-06-29 | 2020-08-07 | 深圳市芯天下技术有限公司 | 一种非型闪存指令组合验证方法、系统、存储介质和终端 |
| CN111858221A (zh) * | 2020-07-28 | 2020-10-30 | 中国科学院微电子研究所 | 基于神经网络的高效指令测试序列生成方法及装置 |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7290174B1 (en) * | 2003-12-03 | 2007-10-30 | Altera Corporation | Methods and apparatus for generating test instruction sequences |
| CN101510234B (zh) * | 2009-03-18 | 2010-12-08 | 中国科学院计算技术研究所 | 一种用于指令级随机验证的指令组合过滤方法及系统 |
| CN109063323B (zh) * | 2018-07-28 | 2022-09-13 | 西安微电子技术研究所 | 一种验证sdram的随机测试用例的生成方法 |
-
2020
- 2020-12-04 CN CN202011407586.5A patent/CN112365917B/zh active Active
Patent Citations (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR20080034061A (ko) * | 2006-10-13 | 2008-04-18 | 삼성전자주식회사 | 정상 동작 속도로 테스트 가능한 시스템온칩 및 그 테스트방법 |
| US9928150B2 (en) * | 2014-06-30 | 2018-03-27 | The Board Of Trustees Of The Leland Stanford Junior University | System and method for testing a logic-based processing device |
| CN104461798A (zh) * | 2014-11-12 | 2015-03-25 | 中国航天科技集团公司第九研究院第七七一研究所 | 一种用于处理器算术逻辑单元指令的随机数验证方法 |
| CN107480382A (zh) * | 2017-08-21 | 2017-12-15 | 中国电子科技集团公司第五十四研究所 | 一种快速收敛的覆盖率驱动验证方法 |
| CN109933529A (zh) * | 2019-03-12 | 2019-06-25 | 苏州中晟宏芯信息科技有限公司 | 基于计算单元的验证方法及验证平台 |
| CN111159966A (zh) * | 2019-12-26 | 2020-05-15 | 普冉半导体（上海）有限公司 | 非易失性存储器验证方法 |
| CN111506345A (zh) * | 2020-06-29 | 2020-08-07 | 深圳市芯天下技术有限公司 | 一种非型闪存指令组合验证方法、系统、存储介质和终端 |
| CN111858221A (zh) * | 2020-07-28 | 2020-10-30 | 中国科学院微电子研究所 | 基于神经网络的高效指令测试序列生成方法及装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112365917A (zh) | 2021-02-12 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107885656B (zh) | 产品算法自动化测试方法及应用服务器 | |
| CN108874678B (zh) | 一种智能程序的自动测试方法及装置 | |
| CN103473098A (zh) | 一种boot程序的启动方法和相关装置 | |
| CN104391727B (zh) | 数据烧写方法、系统、烧写设备以及目标设备 | |
| CN112365917B (zh) | 非易失存储器指令组合验证方法、装置、存储介质和终端 | |
| CN107992424A (zh) | 自动化测试分析方法、应用服务器及计算机可读存储介质 | |
| CN112542199A (zh) | 检测flash存储出错的方法、电路、存储介质和终端 | |
| KR20180019051A (ko) | 스마트 스토리지 장치 내에서 데이터 스크러빙을 실행하는 방법 | |
| CN107066522B (zh) | 数据库的访问方法和装置 | |
| CN107679423A (zh) | 分区完整性检查方法及装置 | |
| CN115794570A (zh) | 压力测试方法、装置、设备及计算机可读存储介质 | |
| US6539338B1 (en) | Self-diagnostic testing of a network interface adapter | |
| CN113268206A (zh) | 一种网络靶场资源热插拔实现方法与系统 | |
| CN112329273A (zh) | 一种提升芯片验证效率的方法、装置、存储介质和终端 | |
| CN114727100B (zh) | 一种监控设备的联合调试方法及装置 | |
| CN115248783B (zh) | 软件测试方法、系统、可读存储介质及计算机设备 | |
| CN113127331A (zh) | 一种基于故障注入的测试方法、装置及计算机设备 | |
| CN111785312B (zh) | 改善多次擦除编程Vt偏移方法、系统、存储介质和终端 | |
| US11397662B2 (en) | Method for debugging computer program, device employing method, and storage medium | |
| CN105740114A (zh) | 移动终端的容错测试方法及装置 | |
| CN111367732B (zh) | 一种内存应用等级预测方法、系统、终端及存储介质 | |
| CN113672349A (zh) | 一种镜像的更新方法、装置、设备及介质 | |
| CN114117446A (zh) | 一种bios镜像文件刷新校验方法、装置、终端及存储介质 | |
| CN112817525A (zh) | 闪存芯片可靠性等级预测方法、装置及存储介质 | |
| CN112464501B (zh) | 非易失芯片强0修复验证方法、装置、存储介质和终端 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| CB02 | Change of applicant information | ||
| CB02 | Change of applicant information |
Address after: 518000 Room 101, building 10, Dayun software Town, 8288 Longgang Avenue, he'ao community, Yuanshan street, Longgang District, Shenzhen City, Guangdong Province Applicant after: XTX Technology Inc. Address before: 518000 1st floor, building 10, Dayun software Town, 8288 Longgang Avenue, Henggang street, Longgang District, Shenzhen City, Guangdong Province Applicant before: Paragon Technology (Shenzhen) Ltd. |
|
| GR01 | Patent grant | ||
| GR01 | Patent grant |