故障局部化相关论文
本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变......
运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十......
