發(fā)布時間：2023-02-27 17:26

　　隨著國民經(jīng)濟(jì)的飛速發(fā)展以及能源結(jié)構(gòu)的調(diào)整,核能無疑會具有更加光明的前景。但核能大發(fā)展的同時,技術(shù)裝備的自主化也無疑會成為機(jī)遇和挑戰(zhàn)并存的焦點。其中的數(shù)字化儀控系統(tǒng),特別是安全級數(shù)字化儀控系統(tǒng),正是我國自主化攻關(guān)任務(wù)中為數(shù)不多的堡壘之一。目前核電廠安全級I&C系統(tǒng)中應(yīng)用最廣泛是基于微處理器技術(shù)(Central Processing Unit,CPU )的數(shù)字化控制產(chǎn)品。與CPU技術(shù)相比,現(xiàn)場可編程門陣列(Field Programmable GateArray,FPGA)技術(shù)的實現(xiàn)方式更像傳統(tǒng)硬接線電路,因具有行為確定、結(jié)構(gòu)簡單、時間響應(yīng)快、易于取得監(jiān)管和取證等優(yōu)點,在核電廠安全級I&C系統(tǒng)中的應(yīng)用日益廣泛。特別是新一代核電廠安全級I&C產(chǎn)品的研制,如美國、法國、加拿大、日本、東歐、韓國等核電發(fā)達(dá)國家,有些FPGA產(chǎn)品已在核電廠取得多項應(yīng)用業(yè)績。在核電廠安全級I&C系統(tǒng)開發(fā)期間,不管是針對何種技術(shù),必須要開展驗證和確認(rèn)(Verification and Validation, V&V)活動。V&V的概念最早出現(xiàn)在軟件開發(fā)設(shè)計中,針對FPGA...

【文章頁數(shù)】：75 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題研究的背景和意義
    1.2 國內(nèi)外相關(guān)課題的研究概況
        1.2.1 FPGA在核能領(lǐng)域研究現(xiàn)狀
        1.2.2 FPGA的優(yōu)勢
        1.2.3 核電FPGA技術(shù)研究與應(yīng)用概況
        1.2.4 V&V研究現(xiàn)狀
    1.3 論文研究內(nèi)容
第2章 核電FPGA V&V體系研究
    2.1 標(biāo)準(zhǔn)體系研究
        2.1.1 國內(nèi)標(biāo)準(zhǔn)體系
        2.1.2 國際標(biāo)準(zhǔn)體系
    2.2 FPGA產(chǎn)品開發(fā)的生命周期模型
    2.3 FPGAV&V要求和關(guān)鍵任務(wù)
        2.3.1 V&V要求
        2.3.2 V&V關(guān)鍵任務(wù)
    2.4 本章小結(jié)
第3章 FPGA產(chǎn)品的V&V工作步驟
    3.1 評審與審核
    3.2 分析
    3.3 代碼審查
        3.3.1 RTL代碼規(guī)則檢查
        3.3.2 源代碼審查
    3.4 測試
        3.4.1 部件測試
        3.4.2 板級測試(集成測試)
        3.4.3 系統(tǒng)測試
        3.4.4 驗收測試
    3.5 工具評估和鑒定
    3.6 本章小結(jié)
第4章 FPGA驗證技術(shù)
    4.1 概述
    4.2 驗證方法學(xué)
        4.2.1 功能驗證方法
        4.2.2 定向測試
        4.2.3 高級驗證方法
        4.2.4 SystemVerilog
    4.3 RTL仿真驗證
        4.3.1 RTL仿真驗證流程
        4.3.2 RTL仿真驗證平臺
        4.3.3 RTL仿真驗證覆蓋率
    4.4 形式驗證方法
    4.5 本章小結(jié)
第5章 FPGA V&V實施案例
    5.1 案例說明
    5.2 V&V任務(wù)
        5.2.1 管理V&V
        5.2.2 需求V&V
        5.2.3 設(shè)計V&V
        5.2.4 實現(xiàn)V&V
        5.2.5 測試V&V
    5.3 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表的論文和取得的科研成果
致謝



本文編號：3751139