MDCI：基于多粒度动态控制流不变式的硬件故障局部化

来源 :电子学报 | 被引量 : 0次 | 上传用户：xianyekong

【摘要】

：

本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点

【作者】

：

郑衍松佟冬王克义程旭

【机构】

：

北京大学微处理器研发中心,北京大学深圳研究生院

【出处】

：

电子学报

【发表日期】

：

2010年11期

【关键词】

：

多粒度动态控制流不变式硬件故障故障局部化 multi-granularity dynamic control flow invariants hard

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.

其他文献

一种用于H.264编解码的新型高效可重构多变换VLSI结构

H.264/AVC标准采用了4×4整数变换.本文针对4×4正反变换分别提出了两个新的二维直接信号流图.在此基础上,设计了一个支持多变换的可重构高性能二维结构.该结构无需

期刊

可重构结构整数变换信号流图H.264reconfigurable architecture integer transform signal flo

基于CMOS集成有源传感器的新型高能物理粒子轨迹追踪器

本文研究了一个采用标准0.35μm CMOS工艺制造的新型高能物理粒子轨迹追踪器.这个新型的追踪器运用CMOS有源像素传感器技术（CMOS Monolithic Active Pixel Sensors,MAPS）将信号

期刊

高能物理粒子轨迹追踪器CMOS有源像素传感器相关双次采样随机噪声固定噪声high-energy particle tracking detector

MDCI：基于多粒度动态控制流不变式的硬件故障局部化

其他学术论文