● 摘要
验证在复杂的大规模数字电子系统的设计过程中正受到越来越广泛的重视，而对计算系统的可靠性要求也在不断提高。本课题基于实验室在研的容错处理器体系结构，对用于该处理器的验证方法以及对其容错功能的验证方法进行了研究。文章介绍了用于对所述容错处理器在协同仿真环境中进行功能验证的工具，包括该处理器的指令集仿真器以及为该处理器及指令集仿真器提供输入向量的随机指令生成器。该指令集仿真器执行符合MIPS32规范的整型指令，并能够提供有关覆盖率的反馈信息。该随机指令生成器可由配置文件进行配置，并可工作在静态与动态两种工作模式，还能够依据来自MIPS指令集仿真器的反馈信息生成特定指令以覆盖该指令集仿真器中尚未被激励的功能。文章还介绍了基于故障注入方法对该容错处理器的容错机制进行功能验证的方法。包括识别故障注入是否发生，所注入的故障是否符合待验证系统预定义的故障模式，以及待验证系统对该故障是否做出了正确的处理。并使用该方法对具有奇偶校验功能的存储器模型进行了验证。此外，文章中还对使用SystemC所建立的模型与一般Windows应用程序互操作的方法，以及SystemC与其他HDL进行协同仿真的方法进行了讨论。