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

第 期 电 子 学 报 １１ Ｖｏｌ．３８ Ｎｏ．１１ 年 月 ２０１０ １１ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｎｏｖ． ２０１０ ：基于多粒度动态控制流 ＭＤＣＩ 不变式的硬件故障局部化 ， １２ １ １ １ 郑衍松 ，佟 冬 ，王克义 ，程 旭 （ 北京大学微处理器研发中心，北京 ； 北京大学深圳研究生院，广东深圳 ） １ １００８７１２