龚锐

作品数：19被引量：50H指数：4
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：处理器片上网络软错误微处理器多核处理器更多>>
发文领域：自动化与计算机技术电子电信文化科学机械工程更多>>
发文期刊：《微电子学与计算机》《计算机研究与发展》《计算机工程》《计算机学报》更多>>
所获基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向IO Die的敏捷验证方法
《计算机工程与科学》2023年第4期571-576,共6页罗莉 石伟 何鸿君 潘国腾 王蕾 龚锐 
科技部科技创新项目(2020AAA0104602)。
IO Die可以用做IO扩展芯片,也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法,验证平台包括子系统级、簇级、全片级3个层次,可实现测试激励的跨层次复用;针对各验证层次的测试激励的自动生成方式进行优化,分别...
关键词：裸片 敏捷验证 覆盖率驱动 可配置约束 多目标优化 
基于NAND Flash的CPU安全启动设计与实现被引量：1
《计算机工程与科学》2022年第6期971-978,共8页龚锐 石伟 刘威 张剑锋 王蕾 
科技部科技创新2030——“新一代人工智能”重大项目(2020AAA0104602);军队高层次科技创新人才工程人选自主科研项目(22-TDRCJH-02-020)。
NAND Flash存储器以其容量大、成本低和速度快的优势,在嵌入式系统中得到广泛的应用。但是,由于NAND Flash固有的器件特性,必须要有驱动才能对其进行读写,存储于其上的代码不能直接执行,因此其并不适合作为系统启动代码的存储介质。一...
关键词：安全启动 NAND Flash 微处理器 嵌入式系统 可信根 
面向高带宽I/O的片上网络优化被引量：1
《计算机工程与科学》2021年第9期1538-1545,共8页石伟 龚锐 刘威 王蕾 冯权友 张剑锋 
核高基国家科技重大专项(2017ZX01028-103-002);科技部重点研发计划(2020AAA0104602,2018YFB2202603);国家自然科学基金(61832018)。
在高性能处理器中,I/O带宽需求不断增加,一方面高速接口的通道数目不断增加,另一方面接口传输速率也在逐渐提升。高性能处理器的片上网络必须能够匹配各种高速I/O的带宽需求,且必须保证DMA请求能够正确完成。然而各种高速接口协议与片...
关键词：片上网络 协议转换 高带宽 死锁检测 死锁解除 
微处理器内安全子系统的安全增强技术
《计算机工程与科学》2021年第8期1353-1359,共7页石伟 刘威 龚锐 王蕾 张剑锋 
核高基国家科技重大专项(2017ZX01028-103-002);科技部重点研发计划(2020AAA0104602,2018YFB2202603);国家自然科学基金(61832018)。
在信息技术快速发展的同时,信息安全变得尤为重要。处理器作为信息系统的核心部件,其安全性对系统安全起到至关重要的决定性作用。在处理器中构建安全可信的执行环境是提升处理器安全性的重要方法,然而很多核心安全技术仍然由片外安全TP...
关键词：安全子系统 随机行为 密钥管理 生命周期管理 安全启动 抗物理攻击 
微处理器容软错误设计量化评估指标及评估方法被引量：2
《国防科技大学学报》2017年第3期64-68,共5页龚锐 郭御风 邓宇 石伟 窦强 
国家自然科学基金资助项目(61202123;61202122;61402497)
针对高可靠微处理器软容错设计,提出了一种新的可靠性度量标准,增强的平均无失效工作量,以解决现有度量标准没有综合考虑性能、面积、功耗开销带来的可靠性降低的缺点;提出了一种评估方法对增强的平均无失效工作量以及两种控制流检测技...
关键词：容软错误 量化评估 评估方法 微处理器 可靠性 
实时微处理器体系结构综述被引量：4
《计算机工程与科学》2015年第5期857-864,共8页石伟 张明 郭御风 龚锐 
国家自然科学基金资助项目(61402497;61202481;61202123;61202122)
实时应用已经成为嵌入式应用中一类快速崛起的典型应用。作为实时系统的核心部件,实时微处理器体系结构是微处理器领域的一个重要研究方向。与通用处理器追求最大吞吐量不同,实时处理器要求具有紧凑且可计算的最坏执行时间。传统的实时...
关键词：实时微处理器 可预测性 及时性 体系结构 多线程 多核 
一种基于层次位线缓冲的异步片上路由器
《国防科技大学学报》2012年第6期7-13,共7页石伟 郭御风 王蕾 龚锐 窦强 
国家"核高基"重大专项资助项目(2009ZX01028-002-002);国家自然科学基金资助项目(61202481;61202123;61202122)
片上缓存资源是片上路由器的重要组成部分,其结构好坏直接关系到片上互联网络的实现复杂度、整体性能及功耗开销。鉴于异步电路的握手工作方式,异步路由器一般采用基于移位寄存器的异步FIFO(First In First Out)实现片上缓冲,这种结构...
关键词：异步电路 片上网络 低功耗 层次位线缓冲 
一个基于图着色的CACHE优化方法
《国防科技大学学报》2012年第6期20-25,共6页邓宇 王蕾 张明 龚锐 郭御风 窦强 
国家"核高基"重大专项资助项目(2009ZX01028-002-002);国家自然科学基金资助项目(61170045;61103011);信息保障技术重点实验室基金项目(KJ-11-04)
提出了一个编译时的Cache管理优化方法。该方法根据访存行为将程序中的数据划分成若干数据对象,根据数据对象的大小将Cache划分为一个带有别名的伪寄存器文件,每个伪寄存器由若干Cache行组成,可以容纳一个数据对象;使用一个经过改进的...
关键词：CACHE优化 图着色 编译时优化 
一种面向多核处理器I/O系统软错误容错方法
《计算机工程与科学》2011年第10期76-79,共4页郭御风 郭诵忻 龚锐 
集成电路制造工艺的飞速发展,使得集成电路的特征尺寸不断减少和集成度不断提高,造成集成电路对工作环境的影响越来越敏感,发生软错误的几率不断增加,对可靠性造成重要影响。随着微处理器进入了多核时代,丰富的片上资源给软错误加固带...
关键词：多核处理器 软错误 可靠性 SCRUB 
基于现场保存与恢复的双核冗余执行模型
《计算机工程与科学》2009年第8期82-85,98,共5页龚锐 戴葵 王志英 
国家973计划资助项目(2007CB310901);国家863计划资助项目(2007AA01Z101);国家自然科学基金资助项目(60773024)
本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存...
关键词：多核 执行模型 软错误恢复 现场保存 现场恢复 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部