-
公开(公告)号：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: 一种连续捕获程序异常的处理器异常测试方法，包括：确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型；设定用户层需要获取的异常类型；根据设定的异常类型的处置方式，设置异常发生时结果校验变量的异常类型值；按照遍历所有指令分类以及每类指令所包含的异常类型值的方式，编写涵盖所有指令类型的异常测试用例的集合；将所述集合中的异常测试用例以函数的形式进行组织，以形成异常函数列表；针对异常函数列表中的每个函数，对函数进行调用并进行异常的捕获及处理以获取异常类型结果值；根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值，将两者进行比较以检验处理器异常处理结果。
-
公开(公告)号：CN112445661B
公开(公告)日：2022-09-13
申请号：CN201910805747.7
申请日：2019-08-29
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22
Abstract: 本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法，包括以下步骤：S1、并行程序生成器读取控制核心和运算核心的汇编程序框架，并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序；S2、并行访存指令序列生成器生成访存指令序列偏移链表，将访存偏移平均分给各个核心，并根据各个核心分到的访存偏移，生成访存指令段；S3、各个核心的访存指令序列分别嵌入各自的汇编函数中；S4、主函数通过读取数据集合来实现源空间的初始化；S5、访存结束，再次进行同步，然后比较目的空间的哈希值与源空间的哈希值是否相等。本发明可以自动生成并行访存的汇编程序，大大增加访存的密集度，减少运算的时间，提高测试效率。
-
公开(公告)号：CN112445528B
公开(公告)日：2022-09-13
申请号：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继续。本发明既满足压力测试又能够对结果进行正确性校验，保证在设计阶段既能够对功耗进行测试也能够对正确性进行测试，避免测试盲区，还具有很好的适用性。
-
Patent Agency Ranking
公开(公告)号：CN112527757A
公开(公告)日：2021-03-19
申请号：CN201910879802.7
申请日：2019-09-18
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种基于大规模芯片测试结果的快速检索方法，包括以下步骤：对目录进行检查，将目录中的日志文件按照文件名进行升序排序，同时获取文件字节数，将数据列表存储入文件中；检查是否存在校验文件.checksum，如果是，执行下一步，否则对目录下的所有文件进行顺序入库，并将数据列表写入.checksum文件；将之前从该目录中获取的数据列表写入.checksum_new文件；读入该目录中的校验文件.checksum；对该目录中的校验文件.checksum和.checksum_new进行MD5值比对，判断这两个文件MD5值是否相同，如果是，结束操作，否则进入当前目录的子目录，继续判断子目录日志是否更新，直至检查完全部子目录；该方法通过对目录中的文件分层级并检索列表中临时文件的MD5值，达到快速定位更新目录或者更新文件的目的，提升检测效率。
-
公开(公告)号：CN105487958B
公开(公告)日：2018-04-10
申请号：CN201510830351.X
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
Abstract: 本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成对性能计数器寄存器复位完成之后，再恢复上述计数器的内容；运行支持处理器性能事件计数器保留恢复处理的操作系统；实现处理器单个性能事件的性能计数监测；实现处理器批量性能事件的性能计数监测。
-
公开(公告)号：CN105487973B
公开(公告)日：2018-01-19
申请号：CN201510830343.5
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
Abstract: 一种连续捕获程序异常的处理器异常测试方法，包括：确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型；设定用户层需要获取的异常类型；根据设定的异常类型的处置方式，设置异常发生时结果校验变量的异常类型值；按照遍历所有指令分类以及每类指令所包含的异常类型值的方式，编写涵盖所有指令类型的异常测试用例的集合；将所述集合中的异常测试用例以函数的形式进行组织，以形成异常函数列表；针对异常函数列表中的每个函数，对函数进行调用并进行异常的捕获及处理以获取异常类型结果值；根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值，将两者进行比较以检验处理器异常处理结果。
-
公开(公告)号：CN105446841A
公开(公告)日：2016-03-30
申请号：CN201510830049.4
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22 , G06F11/263
CPC classification number: G06F11/2205 , G06F11/2247 , G06F11/2294 , G06F11/263
Abstract: 本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且使所述多个子进程进入同步接口；在所述多个子进程同步成功后，读取所述排列好的序列，让所述主进程和所述多个子进程同时进行读写操作；在所述主进程和所述多个子进程的读写操作都完成后，每个进程对自己访问的读空间和写空间分别用异或操作来计算权值，并且比较读操作和写操作访问的内存的权值。
-
公开(公告)号：CN102981799A
公开(公告)日：2013-03-20
申请号：CN201210440796.3
申请日：2012-11-06
Applicant: 无锡江南计算技术研究所
IPC: G06F7/58
Abstract: 本申请提供了一种浮点随机数的生成方法，包括：设定浮点随机数的生成区间、生成起点及生成个数；依据所述生成区间及所述生成个数确定取数跨步参数；以所述生成起点为初始点，所述取数跨步参数为选取标准，在所述生成区间中依次选取浮点数；当选取的浮点数个数与所述生成个数相等时，停止取数；将选取的浮点数序列进行乱序操作，生成浮点随机数。与所述方法相对应的，本申请还提供了一种浮点随机数的生成系统。本申请实施例提供的浮点随机数生成方法及系统，通过设定不同的操作参数使得产生的浮点随机数的跨度均匀，产生的随机数可以覆盖到不同的数量级，随机数的随机性强。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.032 seconds)
