潘国腾

作品数：15被引量：22H指数：3
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：处理器芯片片上网络事务功能点更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《高性能计算技术》《软件学报》《计算机工程》《计算机应用》更多>>
所获基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划信息安全国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软硬件混合的高效CHI协议分析
《计算机工程与科学》2024年第2期224-231,共8页赵祉乔 周理 荀长庆 潘国腾 铁俊波 王伟征 
在片上系统SoC开发过程中,如何高效准确地进行功能验证与性能分析,是亟待解决的难题。针对目前在FPGA原型平台上对片上网络协议监测手段有限的问题,提出了一种软硬件混合的高效CHI协议监测和分析方法,通过SystemVerilog的直接编程接口DP...
关键词：CHI协议 FPGA 芯片验证 软硬件混合 
基于RISC-V的图卷积神经网络加速器设计被引量：1
《计算机工程与科学》2023年第12期2113-2120,共8页周理 赵祉乔 潘国腾 铁俊波 赵王 
图卷积神经网络GCN当前主要在PyTorch等深度学习框架上基于GPU实现加速。然而GCN的运算过程包含多层嵌套的矩阵乘法和数据访存操作,使用GPU虽然可以满足实时性需求,但是部署代价大、能效比低。为了提高GCN算法的计算性能并保持软件灵活...
关键词：RISC-V 图卷积神经网络 硬件加速器 指令集 
一种面向IO Die的敏捷验证方法
《计算机工程与科学》2023年第4期571-576,共6页罗莉 石伟 何鸿君 潘国腾 王蕾 龚锐 
科技部科技创新项目(2020AAA0104602)。
IO Die可以用做IO扩展芯片,也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法,验证平台包括子系统级、簇级、全片级3个层次,可实现测试激励的跨层次复用;针对各验证层次的测试激励的自动生成方式进行优化,分别...
关键词：裸片 敏捷验证 覆盖率驱动 可配置约束 多目标优化 
一种多核处理器直连接口QoS的设计与验证被引量：4
《计算机工程与科学》2021年第4期620-627,共8页罗莉 周宏伟 周理 潘国腾 周海亮 刘彬 
国家重点研发计划(2018YFB0204301)。
多核处理器直接互连构建多路并行系统,一直是提高高性能计算机并行性的主要方式。主要研究多核处理器直连接口的QoS设计,通过直连接口完成跨芯片的Cache一致性报文有效、可靠传输,实现共享主存的SMP系统。详细阐述了直连接口各个协议层...
关键词：多核处理器直连接口 SMP系统 QoS设计 UVM验证 
Lite寄存器模型的设计与实现被引量：1
《计算机应用》2020年第5期1369-1373,共5页潘国腾 欧国东 晁张虎 李梦君 
核高基国家科技重大专项(2017ZX01028-103-002);国家自然科学基金面上项目(61672525)。
针对集成电路规模扩大、片内寄存器数量激增,导致验证难度加大的问题,提出一种轻量级寄存器模型。首先,设计精简的底层结构,配合参数化设置减少寄存器模型在运行时的内存消耗;然后,分析模块级、系统级等不同层次的寄存器验证需求,使用Sy...
关键词：寄存器模型 验证 PYTHON 测试用例 性能分析 
基于Event-B方法的安全协议设计、建模与验证被引量：3
《软件学报》2018年第11期3400-3411,共12页李梦君 潘国腾 欧国东 
国家自然科学基金(61672525);中国科学院信息工程研究所信息安全国家重点实验室开放课题(2016-MS-21)~~
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B...
关键词：安全协议设计 安全协议建模与验证 精化 Event-B方法 
基于DDR3的贪婪启发式访存调度策略
《高性能计算技术》2012年第4期36-40,共5页潘国腾 罗莉 欧国东 杨庆娜 周海芳 谢伦国 
本文获国家自然科学基金“多核多线DSP适应性存储结构研究”（61070036）的资助.
存储技术和处理器技术发展速度极不匹配，存储器性能是提高计算机系统性能的主要制约因素，存储器带宽已成为计算机系统的关键资源。DDR3是JEDEC制定的新一代DDR内存技术标准，本文在深入研究了DDR3的特点和规范的基础上，提出了一种基...
关键词：DDR3 访存调度 存储墙 
基于线性频率调制与解调的片上直流电压信号放大器被引量：1
《国防科技大学学报》2012年第3期136-141,共6页马卓 潘国腾 郭阳 谢伦国 
国家自然科学基金资助项目(61076025;61070036)
片内直流电压信号摆幅较小,且受到CMOS工艺中被动器件一致性较差、易被高频交流信号干扰等因素的影响,采用典型的比例放大电路难以放大这类信号。为此提出了一种基于"载频"的"→→电压频率电压"放大方法,使用载波信号作为片上长距...
关键词：片内直流电压信号 放大器 线性 频率调制 解调 
基于虚通道的SDRAM访存调度器研究
《计算机工程与科学》2012年第1期43-48,共6页邓让钰 谢伦国 刘德峰 潘国腾 
随着半导体工艺水平的进步,CPU与存储器的速度差距越来越大,存储器带宽已成为计算机系统的关键资源。根据目前广泛使用的SDRAM存储器多体并行存储的结构特点,提出了一种基于虚通道的访存调度器和最小等待时间-读请求优先调度策略,避免...
关键词：访存调度 虚通道 SDRAM存储系统 存储器带宽 
一种高性能DDR2控制器的设计与实现被引量：5
《计算机工程与科学》2010年第7期62-64,98,共4页夏军 庞征斌 李小芳 潘国腾 李永进 
DDR2是由JEDEC制定的新一代DDR内存技术标准。本文深入研究了DDR2的特点和规范,设计并实现了一个支持体并发和Openpage调度策略的高性能DDR2控制器。性能评测结果表明,所设计和实现的DDR2控制器能有效提高访存带宽,降低访存延迟。
关键词：DDR2 存储控制器 Openpage 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部