“相陈伟”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果8个，建议您升级VIP下载更多相关专利

[发明专利]基于聚类分析的测试程序分类方法-CN201910975074.X有效
发明人：谭坚;王丽一;马腾;胡夏晖;相陈伟;陈佳;蒋丽萍;韩肖 -专利权人：无锡江南计算技术研究所
申请日： 2019-10-14 - 公布日： 2023-10-17 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的向量数据；将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入，利用K_means算法对其进行计算并分类；将K_means算法得到的误差作为神经网络中的交叉熵的损失函数，通过卷积神经网络模型对整个分类结果评估优化，输出优化后的结果。本发明实现了对测试程序进行客观分类的目的，对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件，运行条件简单，实用性高。
基于聚类分析测试程序分类方法

[发明专利]基于流水线约束的结果自校验指令序列填充方法-CN201910805780.X有效
发明人：谭坚;王丽一;马腾;陈佳;吴臻;相陈伟 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-29 - 公布日： 2022-09-13 - 主分类号： G06F9/38 文献下载
摘要：本发明公开一种基于流水线约束的结果自校验指令序列填充方法，包括以下步骤：S1、对指令集合进行信息提取；S2、循环读取下一条指令；S3、对指令进行格式解析，S4、解析当前读取的指令，选择不在当前指令将要执行的流水线上且执行延迟为1拍的N‑1条指令；S5、随机选择满足条件的指令编号，创建CNF范式；S6、约束求解；S7、如果求解结果不满足，继续S5重新选择下一指令进行约束求解，否则继续下一步；S8、对求解结果进行解析，形成完整指令，并填充到当前指令序列末尾；S9、N‑1条指令已经全部生成则跳转至S3，否则跳转至S5继续。本发明既满足压力测试又能够对结果进行正确性校验，保证在设计阶段既能够对功耗进行测试也能够对正确性进行测试，避免测试盲区，还具有很好的适用性。
基于流水线约束结果校验指令序列填充方法

[发明专利]用于处理器测试过程的监督方法-CN201910919650.9有效
发明人：王丽一;胡夏晖;陈磊;吴臻;相陈伟;曹陈炜;蒋丽萍 -专利权人：无锡江南计算技术研究所
申请日： 2019-09-26 - 公布日： 2022-07-12 - 主分类号： G06F11/32 文献下载
摘要：本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。
用于处理器测试过程监督方法

[发明专利]基于控制约束的访存测试程序生成方法-CN202210185716.8在审
发明人：谭坚;刘鑫;陈德训;胡夏晖;武颖颖;相陈伟;陈明津 -专利权人：无锡江南计算技术研究所
申请日： 2022-02-28 - 公布日： 2022-05-31 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。
基于控制约束测试程序生成方法

[发明专利]基于信息摘要值实现的程序结果校验方法-CN201910788893.3在审
发明人：李岱峰;谭坚;王丽一;吴臻;相陈伟;陈磊 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-26 - 公布日： 2021-03-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于信息摘要值实现的程序结果校验方法，包括以下步骤：S1、在程序头部设置初始的校验值；S2、用户根据需要检验的地址空间或者文件，在程序的任意位置设置校验对象，并对校验的对象地址空间或者文件进行约束；S3、在程序中设置多个校验点，当程序执行到每个校验点时，系统根据前一个校验点与本校验点之间的校验对象的数值生成一个基本单位校验值；S4、系统在每一个校验点将当前生成的校验值与对应位置的初始的校验值进行比较，比较一致则输出校验成功标志，否则输出校验失败标志；S5、反复执行S4，完成所有校验点的结果校验。本发明为不便于结果校验或者结果校验方式复杂的实际应用课题在处理器测试验证中的应用提供了可能性，提升测试覆盖面。
基于信息摘要实现程序结果校验方法

[发明专利]基于指数约束的浮点验证数据生成方法-CN201910789088.2在审
发明人：谭坚;李岱峰;王丽一;吴臻;陈佳;相陈伟 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-26 - 公布日： 2021-03-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于指数约束的浮点验证数据生成方法，包括以下步骤：S1、将浮点数据分解成符号位sign、指数部分exponent、尾数部分significand；S2、分别构建符号位、指数部分、尾数部分对应的位向量节点；S3、将S2中的三个位向量节点拼接成64位长度的位向量节点；S4、建立S3中获得的64位向量与双精度浮点数据在数据存储上的等价关系约束；S5、构建浮点运算的另一个浮点操作数；S6、构建指数之间的约束关系，S7、构建合成CNF范式；S8、以S7中得到的CNF范式作为输入，采用第三方求解器进行求解，S9、对S8中的求解结果进行解析，形成一组浮点验证元组数据。本发明解决了浮点运算由于各个操作数之间约束建模的复杂性导致验证人员无法对浮点运算的指数进行约束的问题，提高了浮点测试的覆盖率和测试效率。
基于指数约束浮点验证数据生成方法

[发明专利]缓存一致性测试方法-CN201510830049.4有效
发明人：王丽一;尉红梅;李岱峰;谭坚;吴臻;相陈伟;陈磊;蒋丽萍;李亚辉 -专利权人：无锡江南计算技术研究所
申请日： 2015-11-24 - 公布日： 2019-02-12 - 主分类号： G06F11/22 文献下载
摘要：本发明提供了一种缓存一致性测试方法，包括：主进程申请一个共享空间；由主进程创建出多个子进程；在该共享空间中划分出四个共享空间部分；由主进程对读操作和写操作访问的内存块号进行排列，使读操作和写操作访问的内存地址不重叠，而且使所述多个子进程进入同步接口；在所述多个子进程同步成功后，读取所述排列好的序列，让所述主进程和所述多个子进程同时进行读写操作；在所述主进程和所述多个子进程的读写操作都完成后，每个进程对自己访问的读空间和写空间分别用异或操作来计算权值，并且比较读操作和写操作访问的内存的权值。
主进程共享空间读操作写操作进程缓存一致性读写操作访问读取测试内存地址同步接口异或操作不重叠内存块内存创建申请成功

[发明专利]一种浮点随机数的生成方法及系统-CN201210440796.3无效
发明人：王俊;李岱峰;王丽一;谭坚;吴臻;相陈伟 -专利权人：无锡江南计算技术研究所
申请日： 2012-11-06 - 公布日： 2013-03-20 - 主分类号： G06F7/58 文献下载
摘要：本申请提供了一种浮点随机数的生成方法，包括：设定浮点随机数的生成区间、生成起点及生成个数；依据所述生成区间及所述生成个数确定取数跨步参数；以所述生成起点为初始点，所述取数跨步参数为选取标准，在所述生成区间中依次选取浮点数；当选取的浮点数个数与所述生成个数相等时，停止取数；将选取的浮点数序列进行乱序操作，生成浮点随机数。与所述方法相对应的，本申请还提供了一种浮点随机数的生成系统。本申请实施例提供的浮点随机数生成方法及系统，通过设定不同的操作参数使得产生的浮点随机数的跨度均匀，产生的随机数可以覆盖到不同的数量级，随机数的随机性强。
一种浮点随机数生成方法系统

1
共 8 条