-
公开(公告)号:CN112732549B
公开(公告)日:2023-10-17
申请号:CN201910975074.X
申请日:2019-10-14
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36 , G06F18/23213 , G06F18/24
Abstract: 本发明公开了一种基于聚类分析的测试程序分类方法,包括以下步骤:在多个处理器上批量运行测试程序,在一次运行过程中获取所有维度的计数;根据性能计数信息,对高维度性能计数数据进行降维处理,将计数数据转换为机器学习算法能够处理的向量数据;将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入,利用K_means算法对其进行计算并分类;将K_means算法得到的误差作为神经网络中的交叉熵的损失函数,通过卷积神经网络模型对整个分类结果评估优化,输出优化后的结果。本发明实现了对测试程序进行客观分类的目的,对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件,运行条件简单,实用性高。
-
公开(公告)号: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: 一种连续捕获程序异常的处理器异常测试方法,包括:确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型;设定用户层需要获取的异常类型;根据设定的异常类型的处置方式,设置异常发生时结果校验变量的异常类型值;按照遍历所有指令分类以及每类指令所包含的异常类型值的方式,编写涵盖所有指令类型的异常测试用例的集合;将所述集合中的异常测试用例以函数的形式进行组织,以形成异常函数列表;针对异常函数列表中的每个函数,对函数进行调用并进行异常的捕获及处理以获取异常类型结果值;根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值,将两者进行比较以检验处理器异常处理结果。
-
公开(公告)号:CN102567169B
公开(公告)日:2014-02-26
申请号:CN201010612480.9
申请日:2010-12-29
Applicant: 无锡江南计算技术研究所
IPC: G06F11/267
Abstract: 一种微处理器的测试方法,包括:执行初始化操作,建立分支状态登记表,所述分支状态登记表包括分支索引号和分支当前状态;扫描出测试程序的所有条件跳转分支,对所述分支状态登记表赋值;依据选定的遍历策略动态修改所述分支状态登记表中的所述分支当前状态,根据所述分支当前状态对所有条件跳转分支进行遍历;若未完成对所有条件跳转分支的遍历,则返回所述测试程序入口,继续依据所述遍历策略动态修改所述分支状态登记表中的分支当前状态,根据所述分支当前状态对所有条件跳转分支进行遍历;若完成对所有条件跳转分支的遍历,则退出所述测试程序。基于上述方法,还提供一种微处理器的测试装置。本发明能够加强测试程序对微处理器的测试力度。
-
公开(公告)号: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: 本发明公开一种异构众核处理器的轻量级并行测试用例生成方法,包括以下步骤:构建配置文件;利用配置分析器模块分析构建的配置文件,将配置文件中的配置信息转换成代码生成器模块可以识别的格式(该格式为字典),并加上配置文件名和测试用例名;代码生成器模块生成异构并行测试用例工程;将多组配置信息输入代码生成器模块,得到多组异构并行测试用例工程,进行混合编译得到并行测试用例程序。本发明生成的异构并行测试用例在国产异构众核处理器的硅前验证中具有速度快、效率高的优点。
-
公开(公告)号:CN112559299A
公开(公告)日:2021-03-26
申请号:CN201910919650.9
申请日:2019-09-26
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种用于处理器测试过程的监督方法,基于多视图显示基础库,所述多视图显示基础库的编码方式为组件式编码,进一步包括内视图组件和大视图组件;所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息,根据当前终端可以显示的文本行数和列数,配置文本在窗口中显示的位置,配置文本在窗口中显示的位置,所述大视图组件用于进一步处理和刷新文本信息,将文本以多视图的方式输出在屏幕上,根据设定的刷新时间,刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况,需要对资源和课题运行结果进行实时监控。
-
公开(公告)号:CN105446841B
公开(公告)日:2019-02-12
申请号:CN201510830049.4
申请日:2015-11-24
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22 , G06F11/263
Abstract: 本发明提供了一种缓存一致性测试方法,包括:主进程申请一个共享空间;由主进程创建出多个子进程;在该共享空间中划分出四个共享空间部分;由主进程对读操作和写操作访问的内存块号进行排列,使读操作和写操作访问的内存地址不重叠,而且使所述多个子进程进入同步接口;在所述多个子进程同步成功后,读取所述排列好的序列,让所述主进程和所述多个子进程同时进行读写操作;在所述主进程和所述多个子进程的读写操作都完成后,每个进程对自己访问的读空间和写空间分别用异或操作来计算权值,并且比较读操作和写操作访问的内存的权值。
-
-
-
-
-
-
-
-
-