可靠性是核电仪控系统的重要性能之一,是核电站安全稳定运行的保障。本文以基于FPGA的核电仪控系统软件为对象,研究了软件可靠性的验证方法,对于国内FPGA软件验证技术水平的提高具有现实意义。软件可靠性验证方法的核心是验证的完备性、高效性,以及软件抗环境影响的能力。本文针对FPGA软件可靠性验证中的这些关键问题进行研究,做了以下工作并取得了一些创新性成果:1、对于被测空间中未覆盖部分,研究用布尔可满足性问题对其进行建模,该方法可提高验证的完备性。2、针对大规模输入问题,采用模块测试中测试用例生成方法生成测试用例,实验表明求解效率非常低,经分析是由于传统DPLL算法决策策略部分不足所导致的。基于此,优化DPLL算法的决策策略,然后在此基础上,结合随机方法,提出了一种新的测试用例生成方法,仿真验证该方法可高效地解决大规模问题。3、针对现有故障注入器应用范围小,可移植性差的特点,提出适合基于FPGA核电仪控系统软件的故障注入方法,并基于提出的故障注入方法开发了能准确定位故障注入点的故障注入器。借助该故障注入器可评估核电仪控系统软件的容错性,从而完善软件的性能,进一步提高软件的可靠性。