龚锐
- 作品数：125 被引量：66H指数：4
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学机械工程更多>>
- 标记与数据不对称的目录与高速缓存融合装置及应用方法
- 本发明公开了一种标记与数据不对称的目录与高速缓存融合装置及应用方法，本发明装置包括均采用组相联设计且不对称的标记阵列和数据阵列，所述标记项存储有目录项的共享列表向量以用于记录该标记项对应的数据项在上层高速缓存中的分布情况...
- 曾坤金辉杨乾明张剑锋邓让钰龚锐张英石伟冯全友刘威王勇厉楠张见付文文
- 面向高性能处理器的混合型FIFO数据存储方法及装置
- 本发明公开了一种面向高性能处理器的混合型FIFO数据存储方法及装置，装置包括RAM存储器、选择器、寄存器组和FIFO控制器，FIFO写数据端口分别与RAM存储器的输入端、选择器的一个输入端相连，RAM存储器输出端与选择器...
- 周宏伟张见曾坤杨乾明张剑锋冯权友张英王勇励楠邓让钰乔寓然龚锐石伟刘威王永文王蕾
- 文献传递
- 一种片上多核处理器Cache一致性协议验证方法、系统及介质
- 本发明公开了一种片上多核处理器Cache一致性协议验证方法、系统及介质，本发明方法的步骤包括：针对执行待验证Cache协议的片上多核处理器加载执行测试程序，并跟踪片上网络的Cache相关报文，并通过记录板文件记录Cach...
- 罗莉周理潘国腾荀长庆冯权友周海亮铁俊波欧国东王蕾龚锐石伟任巨
- 一种支持高速外设安全消息中断的方法与装置
- 本发明公开了一种支持高速外设安全消息中断的方法及装置，本发明包括将中断控制器划分为安全外设域和非安全外设域，以分开处理有/无安全需求的外设的中断消息；当中断控制器收到外设的中断消息后，首先根据安全需求类型将中断消息派发给...
- 张剑锋龚锐杨乾明石伟刘威周理冯权友王勇铁俊波张见励楠曾坤张英罗莉
- 一种支持单根双处理器中断通信的方法和装置
- 本发明涉及微处理器的微体系结构设计领域，具体涉及一种支持单根双处理器中断通信的方法和装置，本发明方法包括将根处理器或者非根处理器的中断请求映射到根处理器的中断控制单元，根处理器的中断控制单元分别对中断请求解包、获取相关配...
- 张剑锋龚锐张英石伟任巨刘威周理铁俊波王蕾周宏伟王永文
- 文献传递
- FT51:一种容软错误高可靠微控制器被引量：19
- 2007年
- 文中给出一种容软错误高可靠微控制器FT51．首先它具有基于异步电路的时空三模冗余结构，采用此结构可以对时序逻辑单事件翻转（SEU）和组合逻辑单事件瞬态（SET）进行防护．所有的片内存储器采用Hamming编码进行防护．针对现有控制流检测的不足，该设计采用了软硬件结合的控制流检测与恢复机制．FT51在HJTC0．25μm工艺下进行了实现，与未经加固的版本相比，其额外的面积开销为80．6％，额外的性能开销为19％～133％．文中还提出了一种微处理器可靠性评估框架，在此框架下通过模拟和理论推导证明：典型情况下FT51的故障检出和屏蔽率为99．73％．
- 龚锐陈微刘芳戴葵王志英
- 关键词：微控制器软错误控制流检测
- 多核微处理器容软错误设计关键技术研究
- 微处理器受到高能粒子轰击或噪声干扰等恶劣环境的影响,将发生瞬态故障。这些瞬态故障可能引起软错误(Soft Error),甚至失效,这将对微处理器的可靠性产生较大的影响。随着集成电路制造工艺的进步,单片上能够集成的晶体管数...
- 龚锐
- 关键词：多核微处理器控制流检测可靠性评估
- 用于多核处理器的硬件锁实现方法及装置
- 本发明公开了一种用于多核处理器的硬件锁实现方法及装置，方法步骤如下：1）建立与处理器核一一对应的锁请求队列，初始化设置各个锁请求队列的权值，所述锁请求队列按照先入先出的原则分别缓存各处理器核发送的硬件锁访问请求；2）选择...
- 任巨张明龚锐邓宇石伟郭御风窦强罗莉马爱永王永文
- 文献传递
- CPU和GPU共享片上高速缓存的方法及装置
- 本发明公开了一种CPU和GPU共享片上高速缓存的方法及装置，方法步骤如下：分类缓存来自CPU/GPU的访存请求；针对缓存的不同类型的访存请求进行仲裁；执行访存请求，且在执行CPU的访存请求时将访存请求的读写数据经过高速缓...
- 石伟邓宇郭御风龚锐任巨张明马爱永高正坤窦强童元满
- 文献传递
- 一种面向IO Die的敏捷验证方法
- 2023年
- IO Die可以用做IO扩展芯片,也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法,验证平台包括子系统级、簇级、全片级3个层次,可实现测试激励的跨层次复用;针对各验证层次的测试激励的自动生成方式进行优化,分别采用覆盖率驱动、可配置约束产生、多目标优化策略,提高测试激励的生成效率。实验结果表明,该方法在保证效率和可靠性的前提下,可以降低验证成本,缩短验证时间,快速获得已知合格裸片KGD。
- 罗莉石伟何鸿君潘国腾王蕾龚锐
- 关键词：多目标优化
