基于Verilog PLI技术故障注入工具研究与实现.docVIP

硕士学位论文 基于 Verilog PLI 技术故障注入工具的 研究与实现 RESEARCH AND IMPLEMENTATION OF THE VERILOG PLI-BASED FAULT INJECTION TOOL  李  彬  哈尔滨工业大学 2011 年 6 月 国内图书分类号：TP302.8 国际图书分类号：621.3  学校代码：10213 密级：公开  工学硕士学位论文 基于 Verilog PLI 技术故障注入工具的 研究与实现 硕 士 研 究 生：李 彬  导  师：崔 刚教授  申 请 学 位：工学硕士  学  科：计算机科学与技术  所 在 单 位：计算机科学与技术 答 辩 日 期： 2011 年 6 月 授予学位单位：哈尔滨工业大学 Classified Index: 302.8 U.D.C: 621.3 Dissertation for the Master Degree in Engineering RESEARCH AND IMPLEMENTATION OF THE VERILOG PLI-BASED FAULT INJECTION TOOL  Candidate： Supervisor： Academic Degree Applied for： Speciality： Affiliation： Date of Defence： Degree-Conferring-Institution：  Li Bin Prof. Cui Gang Master of Engineering Computer Science and Technology School of Computer Science and Technology June, 2011 Harbin Institute of Technology 摘  要  摘 要 目前，随着新亚微米技术的发展，处理器尺寸随之减小，而处理器的性能也 进一步得到提高，同时也给处理器的可靠性带来了负面效应。为了提高处理器系 统的可靠性，不同级别的故障容错机制因运而生。随着容错处理器在各个领域的 广泛应用，对处理器系统故障容错机制的有效性进行验证和可靠性评估也越发重 要。故障注入是一种验证评估处理器系统可靠性的非常有效的手段，它是通过人 为加速系统中故障的产生，观察系统的行为，验证容错系统的可靠性，研究故障 的传播过程及对系统的影响。其中故障注入工具的开发是研究故障注入技术的重 要环节。 本文提出的 VPFIT 是一种新颖的采用 Verilog PLI 技术的基于仿真模拟的故障 注入工具，VPFIT 针对的故障注入目标为使用 Verilog HDL 描述的系统模型，可以 对目标注入瞬时故障、间歇故障和永久故障，分析故障行为和故障传播过程。与 现在重要流行的故障注入方法相比，基于 Verilog PLI 的技术有许多的优势，例如 不依赖于具体的仿真器，无需重新编译，故障注入位置灵活，且较容易实现模拟 各类故障类型等。 首先，本文对故障注入主流技术和 Verilog PLI 技术进行了深入的研究。主流 的故障注入方法可归为三类，基于硬件实现的故障注入、基于软件实现的故障注 入和基于仿真的故障注入，这些故障注入技术都各有优势和缺点；Verilog PLI 即 verilog 编程语言接口，是 verilog 标准提供给用户的编程标准接口，这个接口提供 了一个 C 语言函数库，使用户程序可以访问和修改 Verilog HDL 在仿真器中的内部 数据结构。 其次，本文提出了瞬时故障、间歇故障和永久故障的脉冲表述形式。根据故 障发生时故障的持续时间的长度，可以将故障分为三类，瞬时故障、间歇故障和 永久故障，每类故障又包换各种故障模型。本文基于 Verilog PLI 技术的故障注入 工具 VPFIT 设计和实现了基于三类故障的多种故障模型。 最后，本文使用 VPFIT 工具针对 OpenSPARC T2 处理器 RTL 进行故障注入实 验，观察分析了故障从门级 RTL 级到结构级最终到达应用级的传播过程，研究分 析了瞬时故障、间歇故障和永久故障对系统的不同影响程度，以及不同的间歇故 障参数对系统影响的比较。 关键词：故障注入；故障模型；可靠性；Verilog PLI -I- Abstract Abstract Nowadays, new submicron technologies have allowed increasing processors performance while decreasing their size. However, as a side effect, their reliability has