韩俊刚
- 作品数：180 被引量：425H指数：11
- 供职机构：西安邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信文化科学交通运输工程更多>>
- ARM并行阵列机中的路由器设计
- 2017年
- 针对ARM并行阵列机结构,提出了与之相适应的通信结构,采用4个路由器完成16个处理器内核之间的通信,有效地节约了面积.该路由器采用基于数据包交换的片上网络通信方式,内部运用缓存机制、经典的XY路由算法和专用的仲裁策略再加入数据多播,且处理器选用低功耗、高性能的ARM内核,通过采用以上机制能够有效降低数据传播延迟和功耗.实验结果表明采用该方案设计的路由器时钟频率最高可达406.009 MHz,能够满足该ARM阵列机对于通信速率的要求.
- 杜丽娜韩俊刚李卯良
- 关键词：路由器缓存机制核间通信
- 图形处理器中双核顶点染色器的设计与实现被引量：1
- 2017年
- 为了提高图形处理器(graphic processing unit,GPU)中顶点染色器的工作效率,设计了一款改进的可编程双核顶点染色器.它可以同时对来自命令处理器的两条命令进行解析,然后交由PE双核进行处理,这样既可以提高处理器的资源利用率又可以加强处理器的并行执行能力.采用基于FPGA的验证方式,整个双核顶点染色器占用Xilinx V6系列550T型号FPGA芯片硬件资源的7%,最大工作频率能够达到155.411 MHz.
- 史少旭韩俊刚刘欢
- 关键词：图形处理器
- 硬件设计的形式验证与时态逻辑被引量：1
- 1990年
- 本文扼要介绍硬件验证技术的发展近况,着重介绍利用HOL系统验证硬件的方法以及如何用HOL系统实现时态逻辑,并给出一个采用已机械化的时态逻辑验证锁存器的实例。
- 韩俊刚
- 关键词：时态逻辑集成电路
- 全文增补中
- 流水线型异构多核图形处理器的设计与原型实现
- 鉴于图形处理器的应用日趋广泛,多核SOC的研究日益迫切,本文设计了一款异构多核图形处理器HMGPU-9.HMGPU-9将9个具有不同功能和不同结构的微处理器核、大量复杂专用电路以双轨握手的流水线形式集成到一块XC6V...
- 邓军勇常立博黄光新肖灵芝李涛蒋林韩俊刚杜慧敏
- 关键词：异构多核图形处理器流水线
- 文献传递网络资源链接
- 移动计费系统中数据异常的预防与检测被引量：4
- 2004年
- 为了满足移动计费应用的基本要求,需要将大批量的基本数据常驻内存。分析了内存中 数据异常产生的原因,在借鉴数据通信中的CRC技术的基础上,探讨了在内存数据管理中,采用在每 个数据片断上都设置一个校验码的方式,进行内存数据一致性的检查,结合传统数据库的日志技术和 检查点技术,给出了实现内存数据异常检测和预防的基本方法。
- 朱智林左天军韩俊刚
- 关键词：校验码数据异常
- 形式化方法和混合系统被引量：4
- 1999年
- 形式化方法的主要研究对象是计算机系统的设计和验证。这里的计算机系统可以是硬件系统，软件系统，嵌入式系统（ＥｍｂｅｄｄｅｄＳｙｓｔｅｍ）、分布式系统（ＤｉｓｔｒｉｂｕｔｅｄＳｙｓｔｅｍ）、反应式系统（ＲｅａｃｔｉｖｅＳｙｓｔｅｍ）、实时系统（Ｒｅａｌ－ｔｉｍｅｓｙｓｔｅｍ）。近年来，形式化方法的研究领域扩展到混合系统。本文论述形式化方法在混合系统研究中的作用、混合系统的研究内容和意义。重点是评述混合系统的验证方法，并提出混合系统验证研究的途径。
- 韩俊刚
- 关键词：形式化方法形式化验证计算机系统
- 实时系统状态空间分析的一种算法
- 2000年
- 提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
- 杜慧敏杨红丽韩俊刚
- 关键词：形式化验证互模拟可达图
- 一种可重构控制器的设计和实现
- 2012年
- 基于算数增强的有限状态机(AFSM)模型,给出一种可重构(reconfigurable)控制器结构,用于实现各种网络设备接口控制器和存储器接口控制器。该结构具有动态可重构的能力,FPGA仿真结果表明,与传统基于RTL描述的AISC设计方案相比,所提出的可重构控制器结构可以达到相似的性能,但是设计和实现更加简单高效。
- 刘镇弢李涛张雷韩俊刚
- 关键词：接口
- 用VIS验证微处理器PIC被引量：3
- 2000年
- 近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC设计部分电路的等价性 ,发现了一个设计错误并证明了 PIC中一些重要模块的特性 .
- 杜慧敏刘建元韩俊刚高德远
- 关键词：微处理器VIS二叉决策图PIC
- 一种图形加速器和着色器的体系结构被引量：32
- 2010年
- 为了适应智能手机和网本机对于图形加速器的需求,提出一种二维图形加速器和三维像素着色器的体系结构.该体系结构包括自主设计的VLIW指令集和可重组的数据驱动流水线.针对通常将图像帧划分成多个块,且每块由一个微引擎处理的方法可能造成微引擎的负载不均衡的问题,采用按扫描行分配的并行存储和处理结构,其中每个扫描行的处理任务按照需要动态地分配给微引擎.为了评估和实现该体系结构,建立了性能仿真平台、系统仿真平台和RTL仿真平台,并用C++语言编写性能仿真平台评估了该体系结构对性能的影响.模拟实验结果表明,新颖的存储/任务映射方法可以充分地利用处理器资源,降低存储访问的冲突,有利于改善并行处理的可扩展性.文中还讨论了自主设计的图形产生器、图像变换器和VLIW微引擎的结构以及相关的图形硬件加速算法.
- 韩俊刚蒋林杜慧敏曹小鹏董梁孟李林赵全良殷诚信张军
- 关键词：GPU
