李谦

作品数:4被引量:2H指数:1
导出分析报告
供职机构:江南计算技术研究所更多>>
发文主题:处理器扩展性接口装置刀片DTM更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《高性能计算技术》《电脑知识与技术》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-4
视图:
排序:
基于FPGA软硬件混合模拟技术的研究与实现
《高性能计算技术》2013年第5期47-50,共4页李谦 许晓红 
验证的效率和可靠性对AsIc设计成功非常重要,本文研究了一种基于FPGA软硬件混合模拟的实现方法,将软件模拟器和FPGA硬件平台有机地结合起来,提高了验证效率,并将该方法应用到设计验证中。
关键词:FPGA 模拟器 混合模拟 通讯 同步 
一种基于数据相关性的乱序处理器验证方法被引量:1
《电脑知识与技术》2011年第2期829-831,共3页宁永波 李谦 李强 张琦滨 
乱序执行是现代微处理器设计中普遍采用的提高流水线性能的方法,但乱序执行并乱序退出的全乱序结构在超标量处理器中应用并不普遍,这种全乱序的结构对基于参考模型的处理器正确性验证提出了巨大的挑战。主要介绍了从处理器的程序行为是...
关键词:乱序执行 数据相关性 流水线调度 
结合多种覆盖以加快验证
《高性能计算技术》2004年第2期39-43,共5页李谦 华丽娜 
集成电路的规模不断扩大,设计复杂度越来越高,对验证工作提出了新的要求:减少验证时间,确保验证的完整性。单一的覆盖度量不足以保证验证的完整性,因此需要将代码、功能和断言覆盖有机结合起来,形成一套完善的度量机制,在确保验...
关键词:覆盖 结合 验证 
动态功耗管理被引量:1
《高性能计算技术》2003年第5期33-36,共4页李谦 
目前,功耗已成为导致计算机系统设计复杂的关键因素。本文将介绍一种控制处理器功耗的方法——动态功耗管理(DTM),并详细论述了几个关键的选择。
关键词:DTM 功耗 折衷 
检索报告 对象比较 聚类工具 使用帮助 返回顶部