-
公开(公告)号：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: 本发明实施例公开了一种众核阵列上并行测试的控制方法及硅后验证系统。本发明实施例方法包括：众核处理器上的硅后验证系统获取多个并行测试程序对应的逻辑线程组的映射参数；根据映射参数判断逻辑线程组之间是否具有相关性；若逻辑线程组之间不具有相关性，则按照映射参数建立逻辑线程组与众核阵列中的子阵列之间的映射关系；将映射关系发送给操作系统，使得操作系统所管理的众核阵列按照映射关系运行并行测试程序，能够有效的实现多个并行测试程序的同时运行。
-
公开(公告)号：CN102567169A
公开(公告)日：2012-07-11
申请号：CN201010612480.9
申请日：2010-12-29
Applicant: 无锡江南计算技术研究所
IPC: G06F11/267
Abstract: 一种微处理器的测试方法，包括：执行初始化操作，建立分支状态登记表，所述分支状态登记表包括分支索引号和分支当前状态；扫描出测试程序的所有条件跳转分支，对所述分支状态登记表赋值；依据选定的遍历策略动态修改所述分支状态登记表中的所述分支当前状态，根据所述分支当前状态对所有条件跳转分支进行遍历；若未完成对所有条件跳转分支的遍历，则返回所述测试程序入口，继续依据所述遍历策略动态修改所述分支状态登记表中的分支当前状态，根据所述分支当前状态对所有条件跳转分支进行遍历；若完成对所有条件跳转分支的遍历，则退出所述测试程序。基于上述方法，还提供一种微处理器的测试装置。本发明能够加强测试程序对微处理器的测试力度。
-
公开(公告)号：CN112433904A
公开(公告)日：2021-03-02
申请号：CN201910788898.6
申请日：2019-08-26
Applicant: 无锡江南计算技术研究所
IPC: G06F11/263
Abstract: 本发明公开一种基于中间结果约束的浮点验证数据生成方法，包括以下步骤：S1、根据浮点操作中间结果的约束条件，构建更高精度的浮点数据；S2、获得高精度的浮点运算结果；S3、建立高低精度浮点结果的约束关系；S4、根据用户设定的浮点中间结果约束，对高精度浮点结果施加约束，获得约束集合子句；S5、根据S4中获得的约束集合子句构建合成CNF范式；S6、将S5中得到的CNF范式作为输入，采用第三方求解器进行求解，约束满足则输出求解结果，否则输出不满足；S7、根据S6中的求解结果进行解析，形成一组浮点验证元组数据。本发明解决了中间结果约束建模复杂性并由此可能带来的测试覆盖不全的问题，提高了浮点测试的效率和覆盖率。
-
公开(公告)号：CN105487958B
公开(公告)日：2018-04-10
申请号：CN201510830351.X
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
Abstract: 本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成对性能计数器寄存器复位完成之后，再恢复上述计数器的内容；运行支持处理器性能事件计数器保留恢复处理的操作系统；实现处理器单个性能事件的性能计数监测；实现处理器批量性能事件的性能计数监测。
-
Patent Agency Ranking
公开(公告)号：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: 本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且使所述多个子进程进入同步接口；在所述多个子进程同步成功后，读取所述排列好的序列，让所述主进程和所述多个子进程同时进行读写操作；在所述主进程和所述多个子进程的读写操作都完成后，每个进程对自己访问的读空间和写空间分别用异或操作来计算权值，并且比较读操作和写操作访问的内存的权值。
-
公开(公告)号：CN102929778B
公开(公告)日：2015-11-18
申请号：CN201210424868.5
申请日：2012-10-30
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明实施例公开了一种众核阵列上并行测试的控制方法及硅后验证系统。本发明实施例方法包括：众核处理器上的硅后验证系统获取多个并行测试程序对应的逻辑线程组的映射参数；根据映射参数判断逻辑线程组之间是否具有相关性；若逻辑线程组之间不具有相关性，则按照映射参数建立逻辑线程组与众核阵列中的子阵列之间的映射关系；将映射关系发送给操作系统，使得操作系统所管理的众核阵列按照映射关系运行并行测试程序，能够有效的实现多个并行测试程序的同时运行。
-
公开(公告)号：CN102467406B
公开(公告)日：2014-04-16
申请号：CN201010537156.5
申请日：2010-11-09
Applicant: 无锡江南计算技术研究所
IPC: G06F9/455
Abstract: 一种多处理器结构的模拟方法及模拟器，利用多处理器宿主机对多处理器结构目标机的多个处理器的行为进行模拟，包括：创建多个宿主进程，其中，每个宿主进程采用轮转的方式对所分配的目标机处理器执行目标机处理器节拍的行为模拟，并行执行多个宿主进程，每个宿主进程对所分配的目标机处理器的一个目标机处理器节拍的行为模拟后，该宿主进程的节拍数加1；根据每个宿主进程的节拍数及当前的全局时钟值，实现多个进程之间的松散同步，所述当前的全局时钟值为目标机处理器节拍数。本发明的多处理器结构的模拟方法及模拟器提高了并行模拟的速度，有效控制了目标机各个处理器模拟进度的差异，能够保持目标机多处理器结构行为模拟的真实性。
-
公开(公告)号：CN102981799A
公开(公告)日：2013-03-20
申请号：CN201210440796.3
申请日：2012-11-06
Applicant: 无锡江南计算技术研究所
IPC: G06F7/58
Abstract: 本申请提供了一种浮点随机数的生成方法，包括：设定浮点随机数的生成区间、生成起点及生成个数；依据所述生成区间及所述生成个数确定取数跨步参数；以所述生成起点为初始点，所述取数跨步参数为选取标准，在所述生成区间中依次选取浮点数；当选取的浮点数个数与所述生成个数相等时，停止取数；将选取的浮点数序列进行乱序操作，生成浮点随机数。与所述方法相对应的，本申请还提供了一种浮点随机数的生成系统。本申请实施例提供的浮点随机数生成方法及系统，通过设定不同的操作参数使得产生的浮点随机数的跨度均匀，产生的随机数可以覆盖到不同的数量级，随机数的随机性强。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.03 seconds)
