1、可靠性是核電儀控系統(tǒng)的重要性能之一，是核電站安全穩(wěn)定運(yùn)行的保障。本文以基于FPGA的核電儀控系統(tǒng)軟件為對(duì)象，研究了軟件可靠性的驗(yàn)證方法，對(duì)于國內(nèi)FPGA軟件驗(yàn)證技術(shù)水平的提高具有現(xiàn)實(shí)意義。
　　軟件可靠性驗(yàn)證方法的核心是驗(yàn)證的完備性、高效性，以及軟件抗環(huán)境影響的能力。本文針對(duì)FPGA軟件可靠性驗(yàn)證中的這些關(guān)鍵問題進(jìn)行研究，做了以下工作并取得了一些創(chuàng)新性成果：
　　1、對(duì)于被測(cè)空間中未覆蓋部分，研究用布爾可滿足性問題對(duì)其進(jìn)行建

2、模，該方法可提高驗(yàn)證的完備性。
　　2、針對(duì)大規(guī)模輸入問題，采用模塊測(cè)試中測(cè)試用例生成方法生成測(cè)試用例，實(shí)驗(yàn)表明求解效率非常低，經(jīng)分析是由于傳統(tǒng)DPLL算法決策策略部分不足所導(dǎo)致的?；诖耍瑑?yōu)化DPLL算法的決策策略，然后在此基礎(chǔ)上，結(jié)合隨機(jī)方法，提出了一種新的測(cè)試用例生成方法，仿真驗(yàn)證該方法可高效地解決大規(guī)模問題。
　　3、針對(duì)現(xiàn)有故障注入器應(yīng)用范圍小，可移植性差的特點(diǎn)，提出適合基于FPGA核電儀控系統(tǒng)軟件的故障注入方法，