戴葵
- 作品数：223 被引量：515H指数：12
- 供职机构：华中科技大学光学与电子信息学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 基于签名的控制流错误检测算法检测能力的验证模型
- 2010年
- 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
- 吴艳霞顾国昌戴葵沈晶刘海波
- 关键词：可靠性
- 基于WDDL和行波流水技术的抗功耗攻击高性能分组密码协处理器设计与实现被引量：2
- 2008年
- 该文结合WDDL逻辑和行波流水技术,给出了分组密码协处理器的设计方法和设计流程.该设计流程实现简单,最大限度地利用了现有的成熟EDA工具.这种协处理器不仅能有效抗功耗攻击,而且具有运算性能高和功耗低的优势.文中以DES算法为例,给出了基于WDDL和行波流水技术的协处理器.实验结果表明,文中给出的分组密码协处理器设计方法以一定的芯片面积为代价获得了抗功耗攻击的能力,具有高运算性能和低功耗的优势.
- 童元满王志英戴葵陆洪毅石伟
- 关键词：功耗攻击分组密码算法协处理器高性能
- 基于WISHBONE的SoC接口设计被引量：6
- 2003年
- 本文讨论了WISHBONE体系结构及其在SoC中的应用,并描述了在TS-1嵌入式微处理器中WISHBONE的设计与实现技术。
- 陆洪毅戴葵王志英
- 关键词：嵌入式微处理器WISHBONE体系结构SOC接口
- 一种信息系统安全性定量评估方法的研究与实现被引量：2
- 2008年
- 对信息系统进行安全分析和安全策略的制定必须以科学的安全评估方法为基础。本文基于多属性决策理论和PDRR模型提出了一种信息系统安全的量化评估方法,论述了其关键技术,并通过对评估结果进行灵敏度分析提高了结果的稳定性和可靠性。我们以该方法为基础开发了一种安全评估辅助系统,并通过对实例系统进行安全评估验证了该方法的合理性和有效性。
- 马俊刘芳戴葵王志英
- 关键词：信息安全多属性决策
- 可扩展的桌面问题求解环境计算加速中间件
- 2010年
- 为利用多种高性能计算资源的计算能力,设计一种可扩展的桌面问题求解环境计算加速中间件,采用应用层、中间层和计算层3层结构,以降低系统设计的复杂度,支持多种并行后端、分布式扩展以及并行后端的即插即用。用该加速中间件进行Matlab中的LU分解实验,结果证明了其有效性。
- 王炎武陈虎戴葵奚建清
- 关键词：中间件
- 伪运算在乘法器设计中的应用
- 针对64位乘法,本文提出了BOOTH算法部分积产生规则控制通路的伪1变换策略来降低延迟,还针对传统的Wallace树型乘法器进行改进优化,引入了预伪加的方法,不仅减少了延迟,也降低了电路复杂性。结合流水线设计技术,这种改...
- 陈芳园沈立戴葵刘芸
- 关键词：BOOTH算法WALLACE树乘法器
- 文献传递
- FT51:一种容软错误高可靠微控制器被引量：19
- 2007年
- 文中给出一种容软错误高可靠微控制器FT51．首先它具有基于异步电路的时空三模冗余结构，采用此结构可以对时序逻辑单事件翻转（SEU）和组合逻辑单事件瞬态（SET）进行防护．所有的片内存储器采用Hamming编码进行防护．针对现有控制流检测的不足，该设计采用了软硬件结合的控制流检测与恢复机制．FT51在HJTC0．25μm工艺下进行了实现，与未经加固的版本相比，其额外的面积开销为80．6％，额外的性能开销为19％～133％．文中还提出了一种微处理器可靠性评估框架，在此框架下通过模拟和理论推导证明：典型情况下FT51的故障检出和屏蔽率为99．73％．
- 龚锐陈微刘芳戴葵王志英
- 关键词：微控制器软错误控制流检测
- 基于代码特征分析的TTA指令压缩技术与解压部件实现被引量：3
- 2008年
- 针对传输触发结构提出了一种高效的指令压缩技术.改进模板压缩,消除了空传输指令与空长立即数.基于传输局部性特征,提出垂直字典压缩,提高了指令压缩效果.最后,设计单周期解压部件,以较小硬件代价实现了低耦合实时解压.实验结果表明,该技术达到了37.2%的压缩比,并且使计算内核及指令存储器的面积与功耗分别下降了约29%与23%,执行开销仅增加了约4%.
- 赖明澈王志英戴葵高蕾
- 关键词：代码压缩压缩比模拟器
- 异构多核处理器高速异步互连通信网络
- 本发明公开了一种异构多核处理器高速异步互连通信网络，它由多个通信节点、多个通信栈、一个通信环与一个仲裁器连接而成，每个通信栈与一个通信节点通过数据线连接，所有的通信栈通过通信环两两连接，仲裁器与各通信栈通过数据线连接。通...
- 王志英李勇王蕾戴葵阮坚赖明澈龚锐晋钢李云照
- 文献传递
- 依据确定延迟的动态VLIW指令调度方法
- 本发明公开了一种依据确定延迟的动态VLIW指令调度方法，目的是解决VLIW微处理器无法消除动态延迟和二进制代码兼容问题。技术方案是将流水线核分为前端和后端，前端包括取指令模块、指令译码模块和指令分派模块，后端包括FU和R...
- 王志英沈立戴葵张春元鲁建壮李云照陆洪毅王蕾王进
- 文献传递
