-
公开(公告)号：CN112416666B
公开(公告)日：2022-07-12
申请号：CN201910771716.4
申请日：2019-08-21
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22
Abstract: 本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序；S2、控制单元根据程序结构调用编译脚本，将生成的汇编程序编译成可执行的随机测试程序；S3、编译完成后，控制单元调用测试管理系统运行S2中生成的可执行的随机测试程序，并监控测试结果；S4、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
-
公开(公告)号：CN114218063A
公开(公告)日：2022-03-22
申请号：CN202110426731.2
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开一种异构众核处理器的轻量级并行测试用例生成方法，包括以下步骤：构建配置文件；利用配置分析器模块分析构建的配置文件，将配置文件中的配置信息转换成代码生成器模块可以识别的格式（该格式为字典），并加上配置文件名和测试用例名；代码生成器模块生成异构并行测试用例工程；将多组配置信息输入代码生成器模块，得到多组异构并行测试用例工程，进行混合编译得到并行测试用例程序。本发明生成的异构并行测试用例在国产异构众核处理器的硅前验证中具有速度快、效率高的优点。
-
公开(公告)号：CN105446841B
公开(公告)日：2019-02-12
申请号：CN201510830049.4
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22 , G06F11/263
Abstract: 本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且使所述多个子进程进入同步接口；在所述多个子进程同步成功后，读取所述排列好的序列，让所述主进程和所述多个子进程同时进行读写操作；在所述主进程和所述多个子进程的读写操作都完成后，每个进程对自己访问的读空间和写空间分别用异或操作来计算权值，并且比较读操作和写操作访问的内存的权值。
-
公开(公告)号：CN102929778A
公开(公告)日：2013-02-13
申请号：CN201210424868.5
申请日：2012-10-30
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明实施例公开了一种众核阵列上并行测试的控制方法及硅后验证系统。本发明实施例方法包括：众核处理器上的硅后验证系统获取多个并行测试程序对应的逻辑线程组的映射参数；根据映射参数判断逻辑线程组之间是否具有相关性；若逻辑线程组之间不具有相关性，则按照映射参数建立逻辑线程组与众核阵列中的子阵列之间的映射关系；将映射关系发送给操作系统，使得操作系统所管理的众核阵列按照映射关系运行并行测试程序，能够有效的实现多个并行测试程序的同时运行。
-
公开(公告)号：CN112732549B
公开(公告)日：2023-10-17
申请号：CN201910975074.X
申请日：2019-10-14
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36 , G06F18/23213 , G06F18/24
Abstract: 本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的向量数据；将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入，利用K_means算法对其进行计算并分类；将K_means算法得到的误差作为神经网络中的交叉熵的损失函数，通过卷积神经网络模型对整个分类结果评估优化，输出优化后的结果。本发明实现了对测试程序进行客观分类的目的，对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件，运行条件简单，实用性高。
-
Patent Agency Ranking
公开(公告)号：CN112527757B
公开(公告)日：2022-11-15
申请号：CN201910879802.7
申请日：2019-09-18
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种基于大规模芯片测试结果的快速检索方法，包括以下步骤：对目录进行检查，将目录中的日志文件按照文件名进行升序排序，检查是否存在校验文件.checksum，如果是，执行下一步，否则对目录下的所有文件进行顺序入库，并将数据列表写入.checksum文件；将之前从该目录中获取的数据列表写入.checksum_new文件；读入该目录中的校验文件.checksum；对该目录中的校验文件.checksum和.checksum_new进行MD5值比对，判断这两个文件MD5值是否相同，如果是，结束操作；该方法通过对目录中的文件分层级并检索，达到快速定位更新目录或者更新文件的目的，提升检测效率。
-
公开(公告)号：CN112445528A
公开(公告)日：2021-03-05
申请号：CN201910805780.X
申请日：2019-08-29
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开一种基于流水线约束的结果自校验指令序列填充方法，包括以下步骤：S1、对指令集合进行信息提取；S2、循环读取下一条指令；S3、对指令进行格式解析，S4、解析当前读取的指令，选择不在当前指令将要执行的流水线上且执行延迟为1拍的N‑1条指令；S5、随机选择满足条件的指令编号，创建CNF范式；S6、约束求解；S7、如果求解结果不满足，继续S5重新选择下一指令进行约束求解，否则继续下一步；S8、对求解结果进行解析，形成完整指令，并填充到当前指令序列末尾；S9、N‑1条指令已经全部生成则跳转至S3，否则跳转至S5继续。本发明既满足压力测试又能够对结果进行正确性校验，保证在设计阶段既能够对功耗进行测试也能够对正确性进行测试，避免测试盲区，还具有很好的适用性。
-
公开(公告)号：CN112433931A
公开(公告)日：2021-03-02
申请号：CN201910789088.2
申请日：2019-08-26
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开一种基于指数约束的浮点验证数据生成方法，包括以下步骤：S1、将浮点数据分解成符号位sign、指数部分exponent、尾数部分significand；S2、分别构建符号位、指数部分、尾数部分对应的位向量节点；S3、将S2中的三个位向量节点拼接成64位长度的位向量节点；S4、建立S3中获得的64位向量与双精度浮点数据在数据存储上的等价关系约束；S5、构建浮点运算的另一个浮点操作数；S6、构建指数之间的约束关系，S7、构建合成CNF范式；S8、以S7中得到的CNF范式作为输入，采用第三方求解器进行求解，S9、对S8中的求解结果进行解析，形成一组浮点验证元组数据。本发明解决了浮点运算由于各个操作数之间约束建模的复杂性导致验证人员无法对浮点运算的指数进行约束的问题，提高了浮点测试的覆盖率和测试效率。
-
公开(公告)号：CN105487973A
公开(公告)日：2016-04-13
申请号：CN201510830343.5
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
CPC classification number: G06F11/3612 , G06F11/302 , G06F11/3692
Abstract: 一种连续捕获程序异常的处理器异常测试方法，包括：确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型；设定用户层需要获取的异常类型；根据设定的异常类型的处置方式，设置异常发生时结果校验变量的异常类型值；按照遍历所有指令分类以及每类指令所包含的异常类型值的方式，编写涵盖所有指令类型的异常测试用例的集合；将所述集合中的异常测试用例以函数的形式进行组织，以形成异常函数列表；针对异常函数列表中的每个函数，对函数进行调用并进行异常的捕获及处理以获取异常类型结果值；根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值，将两者进行比较以检验处理器异常处理结果。
-
公开(公告)号：CN114564397B
公开(公告)日：2025-05-09
申请号：CN202210185716.8
申请日：2022-02-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/3668
Abstract: 本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。
-
-
-
-
-
-
-
-
-
Search Results
32
records
(took 0.102 seconds)
