您的位置： 专家智库 > >

谭坚

作品数：32 被引量：6H指数：1
供职机构：江南计算技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 29篇专利
  • 2篇期刊文章
  • 1篇会议论文

领域

  • 11篇自动化与计算...

主题

  • 8篇处理器
  • 5篇测试程序
  • 4篇代码
  • 4篇汇编程序
  • 4篇编程
  • 4篇编程序
  • 3篇信息提取
  • 3篇一致性
  • 3篇用户
  • 3篇指令CACH...
  • 3篇向量
  • 3篇缓存
  • 3篇缓存一致性
  • 3篇共享空间
  • 3篇浮点
  • 3篇并行测试
  • 2篇代码段
  • 2篇点数据
  • 2篇点运算
  • 2篇读操作

机构

  • 32篇江南计算技术...

作者

  • 32篇谭坚
  • 31篇王丽一
  • 18篇吴臻
  • 16篇李岱峰
  • 14篇陈磊
  • 10篇蒋丽萍
  • 6篇刘鑫
  • 6篇陈德训
  • 5篇王俊
  • 4篇尉红梅
  • 4篇李亚辉
  • 2篇漆锋滨
  • 1篇范昊
  • 1篇徐占

传媒

  • 1篇计算机研究与...
  • 1篇计算机应用与...

年份

  • 1篇2023
  • 10篇2022
  • 9篇2021
  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 3篇2016
  • 1篇2015
  • 3篇2013
  • 1篇2011
共 32 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于流水线约束的结果自校验指令序列填充方法
本发明公开一种基于流水线约束的结果自校验指令序列填充方法，包括以下步骤：S1、对指令集合进行信息提取；S2、循环读取下一条指令；S3、对指令进行格式解析，S4、解析当前读取的指令，选择不在当前指令将要执行的流水线上且执行...
谭坚王丽一马腾陈佳吴臻相陈伟
自检随机测试方法及随机循环测试装置
本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序...
王丽一李岱峰谭坚陈磊吴臻蒋昊辰
众核阵列上并行测试的控制方法及硅后验证系统
本发明实施例公开了一种众核阵列上并行测试的控制方法及硅后验证系统。本发明实施例方法包括：众核处理器上的硅后验证系统获取多个并行测试程序对应的逻辑线程组的映射参数；根据映射参数判断逻辑线程组之间是否具有相关性；若逻辑线程组...
李岱峰王丽一王俊谭坚
文献传递
基于聚类分析的测试程序分类方法
本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的...
谭坚王丽一马腾胡夏晖相陈伟陈佳蒋丽萍韩肖
基于控制约束的访存测试程序生成方法
本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设...
谭坚刘鑫陈德训胡夏晖武颖颖相陈伟陈明津
文献传递
基于对称多处理机的指令Cache验证策略研究
指令Cache作为高性能计算机系统中指令代码的高速缓冲，在整个系统中占有重要地位，其正确性验证工作很有必要。文章针对对称多处理机结构的一级和二级指令Cache验证提出了多种验证策略，对各种验证策略造成指令Cache的颠簸...
谭坚李岱峰王俊王丽一
关键词：指令CACHE
基于数据相关性约束的随机指令序列生成方法
本发明公开一种基于数据相关性约束的随机指令序列生成方法，包括以下步骤：S1、对指令集合进行信息提取；S2、生成的指令数目达到要求则终止，否则继续随机选择一条指令；S3、如果该指令没有操作数，跳转至S2，否则继续；S4、计...
谭坚王丽一胡夏晖陈磊蒋丽萍曹陈炜
文献传递
一种基于遗传算法的极端测试用例生成方法
本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核...
王丽一陈德训刘鑫胡夏晖谭坚陈明津
基于SMT求解器的微处理器指令验证数据约束生成技术被引量：5
2020年
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.
谭坚罗巧玲王丽一胡夏晖范昊徐占
关键词：数据路径
基于数据路径约束求解的随机指令测试程序生成方法
本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格...
谭坚刘鑫陈德训王丽一陈磊吴臻曹陈炜
文献传递
全选 清除 导出
共4页<1234>
聚类工具0