-
公开(公告)号：CN102467406A
公开(公告)日：2012-05-23
申请号：CN201010537156.5
申请日：2010-11-09
申请人： 无锡江南计算技术研究所
IPC分类号： G06F9/455
摘要： 一种多处理器结构的模拟方法及模拟器，利用多处理器宿主机对多处理器结构目标机的多个处理器的行为进行模拟，包括：创建多个宿主进程，其中，每个宿主进程采用轮转的方式对所分配的目标机处理器执行目标机处理器节拍的行为模拟，并行执行多个宿主进程，每个宿主进程对所分配的目标机处理器的一个目标机处理器节拍的行为模拟后，该宿主进程的节拍数加1；根据每个宿主进程的节拍数及当前的全局时钟值，实现多个进程之间的松散同步，所述当前的全局时钟值为目标机处理器节拍数。本发明的多处理器结构的模拟方法及模拟器提高了并行模拟的速度，有效控制了目标机各个处理器模拟进度的差异，能够保持目标机多处理器结构行为模拟的真实性。
-
公开(公告)号：CN112433931A
公开(公告)日：2021-03-02
申请号：CN201910789088.2
申请日：2019-08-26
申请人： 无锡江南计算技术研究所
摘要： 本发明公开一种基于指数约束的浮点验证数据生成方法，包括以下步骤：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
申请人： 无锡江南计算技术研究所
CPC分类号： G06F11/3612 , G06F11/302 , G06F11/3692
摘要： 一种连续捕获程序异常的处理器异常测试方法，包括：确定并初始化需要进行校验的异常类型以及捕获到的结果异常类型；设定用户层需要获取的异常类型；根据设定的异常类型的处置方式，设置异常发生时结果校验变量的异常类型值；按照遍历所有指令分类以及每类指令所包含的异常类型值的方式，编写涵盖所有指令类型的异常测试用例的集合；将所述集合中的异常测试用例以函数的形式进行组织，以形成异常函数列表；针对异常函数列表中的每个函数，对函数进行调用并进行异常的捕获及处理以获取异常类型结果值；根据异常函数列表对应的异常类型校验值、以及异常运行过程中获取的异常类型结果值，将两者进行比较以检验处理器异常处理结果。
-
公开(公告)号：CN102567169B
公开(公告)日：2014-02-26
申请号：CN201010612480.9
申请日：2010-12-29
申请人： 无锡江南计算技术研究所
IPC分类号： G06F11/267
摘要： 一种微处理器的测试方法，包括：执行初始化操作，建立分支状态登记表，所述分支状态登记表包括分支索引号和分支当前状态；扫描出测试程序的所有条件跳转分支，对所述分支状态登记表赋值；依据选定的遍历策略动态修改所述分支状态登记表中的所述分支当前状态，根据所述分支当前状态对所有条件跳转分支进行遍历；若未完成对所有条件跳转分支的遍历，则返回所述测试程序入口，继续依据所述遍历策略动态修改所述分支状态登记表中的分支当前状态，根据所述分支当前状态对所有条件跳转分支进行遍历；若完成对所有条件跳转分支的遍历，则退出所述测试程序。基于上述方法，还提供一种微处理器的测试装置。本发明能够加强测试程序对微处理器的测试力度。
-
公开(公告)号：CN102446113B
公开(公告)日：2014-02-26
申请号：CN201010508866.5
申请日：2010-10-12
申请人： 无锡江南计算技术研究所
IPC分类号： G06F9/455
摘要： 一种底层消息接口模拟方法，包括：模拟执行目标机的操作系统；监测所述目标机的操作系统代码中的进程切换，并于监测到所述进程切换后触发注释机制，生成底层消息子过程索引表；对目标机指令流中的每一条指令进行识别处理，并于识别出底层消息子过程调用时执行该消息接口的模拟处理，获取消息参数虚地址；将所述消息参数虚地址转换为消息参数物理地址；调用所述底层消息子过程索引表执行消息功能模拟，根据所述消息参数物理地址实现消息的传递。基于上述方法，还提供了一种底层消息接口模拟装置。本发明能够基于全结构并行计算机状态支持多节点消息功能的模拟，简化了模拟方式，提高并行应用程序的模拟效率。
-
公开(公告)号：CN102446113A
公开(公告)日：2012-05-09
申请号：CN201010508866.5
申请日：2010-10-12
申请人： 无锡江南计算技术研究所
IPC分类号： G06F9/455
摘要： 一种底层消息接口模拟方法，包括：模拟执行目标机的操作系统；监测所述目标机的操作系统代码中的进程切换，并于监测到所述进程切换后触发注释机制，生成底层消息子过程索引表；对目标机指令流中的每一条指令进行识别处理，并于识别出底层消息子过程调用时执行该消息接口的模拟处理，获取消息参数虚地址；将所述消息参数虚地址转换为消息参数物理地址；调用所述底层消息子过程索引表执行消息功能模拟，根据所述消息参数物理地址实现消息的传递。基于上述方法，还提供了一种底层消息接口模拟装置。本发明能够基于全结构并行计算机状态支持多节点消息功能的模拟，简化了模拟方式，提高并行应用程序的模拟效率。
-
公开(公告)号：CN112433930A
公开(公告)日：2021-03-02
申请号：CN201910788893.3
申请日：2019-08-26
申请人： 无锡江南计算技术研究所
IPC分类号： G06F11/36
摘要： 本发明公开一种基于信息摘要值实现的程序结果校验方法，包括以下步骤：S1、在程序头部设置初始的校验值；S2、用户根据需要检验的地址空间或者文件，在程序的任意位置设置校验对象，并对校验的对象地址空间或者文件进行约束；S3、在程序中设置多个校验点，当程序执行到每个校验点时，系统根据前一个校验点与本校验点之间的校验对象的数值生成一个基本单位校验值；S4、系统在每一个校验点将当前生成的校验值与对应位置的初始的校验值进行比较，比较一致则输出校验成功标志，否则输出校验失败标志；S5、反复执行S4，完成所有校验点的结果校验。本发明为不便于结果校验或者结果校验方式复杂的实际应用课题在处理器测试验证中的应用提供了可能性，提升测试覆盖面。
-
公开(公告)号：CN112416666A
公开(公告)日：2021-02-26
申请号：CN201910771716.4
申请日：2019-08-21
申请人： 无锡江南计算技术研究所
IPC分类号： G06F11/22
摘要： 本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序；S2、控制单元根据程序结构调用编译脚本，将生成的汇编程序编译成可执行的随机测试程序；S3、编译完成后，控制单元调用测试管理系统运行S2中生成的可执行的随机测试程序，并监控测试结果；S4、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
-
公开(公告)号：CN105487958A
公开(公告)日：2016-04-13
申请号：CN201510830351.X
申请日：2015-11-24
申请人： 无锡江南计算技术研究所
CPC分类号： G06F11/3024 , G06F11/3409
摘要： 本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成对性能计数器寄存器复位完成之后，再恢复上述计数器的内容；运行支持处理器性能事件计数器保留恢复处理的操作系统；实现处理器单个性能事件的性能计数监测；实现处理器批量性能事件的性能计数监测。
-
公开(公告)号：CN112416666B
公开(公告)日：2022-07-12
申请号：CN201910771716.4
申请日：2019-08-21
申请人： 无锡江南计算技术研究所
IPC分类号： G06F11/22
摘要： 本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序；S2、控制单元根据程序结构调用编译脚本，将生成的汇编程序编译成可执行的随机测试程序；S3、编译完成后，控制单元调用测试管理系统运行S2中生成的可执行的随机测试程序，并监控测试结果；S4、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
-
-
-
-
-
-
-
-
-
搜索结果
20 条记录 (耗时 0.037 秒)
