航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐

第1章 可編程邏輯器件概述
1．1 可編程邏輯器件的工作原理和內(nèi)部結(jié)構(gòu)
1．1．1 CPLD工作原理及內(nèi)部結(jié)構(gòu)
1．1．2 FPGA工作原理及內(nèi)部結(jié)構(gòu)
1．2 可編程邏輯器件軟件開發(fā)環(huán)境及工藝特點(diǎn)
1．3 可編程邏輯器件在航天型號(hào)中的應(yīng)用
1．3．1 高速通信
1．3．2 電子對(duì)抗
1．3．3 數(shù)字圖像處理
1．3．4 邏輯接口
1．3．5 信息安全
1．4 可編程邏輯器件國產(chǎn)化現(xiàn)狀
第2章 航天型號(hào)可編程邏輯器件軟件開發(fā)通用要求
2．1 研制技術(shù)流程
2．1．1 任務(wù)分析
2．1．2 需求分析
2．1．3 設(shè)計(jì)驗(yàn)證實(shí)現(xiàn)
2．1．4 功能驗(yàn)證
2．1．5 綜合布局布線
2．1．6 時(shí)序驗(yàn)證
2．1．7 編程下載
2．1．8 設(shè)計(jì)確認(rèn)
2．1．9 第三方驗(yàn)證
2．1．10 驗(yàn)收
2．1．11 固化和落焊
2．1．12 運(yùn)行維護(hù)
2．2 研制可行性分析
2．2．1 沿用可行性分析
2．2．2 配置參數(shù)修改可行性分析
2．2．3 適應(yīng)性修改可行性分析
2．3 支持與管理活動(dòng)
2．3．1 配置管理
2．3．2 質(zhì)量保證
2．3．3 糾正措施
2．3．4 風(fēng)險(xiǎn)管理
2．3．5 保密性有關(guān)活動(dòng)
2．3．6 分承制方管理
2．3．7 與獨(dú)立驗(yàn)證和確認(rèn)機(jī)構(gòu)建立聯(lián)系
2．3．8 與相關(guān)開發(fā)方的協(xié)調(diào)
第3章 航天型號(hào)可編程邏輯器件軟件測(cè)試要求及流程
3．1 測(cè)試要求
3．1．1 測(cè)試級(jí)別
3．1．2 測(cè)試類型
3．2 驗(yàn)證流程
3．2．1 測(cè)試目的
3．2．2 測(cè)試內(nèi)容
3．2．3 測(cè)試過程
3．2．4 驗(yàn)證問題處理要求
第4章 航天型號(hào)可編程邏輯器件軟件驗(yàn)證技術(shù)
4．1 設(shè)計(jì)檢查
4．1．1 文檔檢查
4．1．2 代碼檢查
4．1．3 跨時(shí)鐘域檢查
4．2 功能仿真
4．2．1 功能仿真的目的
4．2．2 功能仿真的輸入
4．2．3 功能仿真的方法和過程
4．2．4 功能仿真覆蓋率收集
……
第5章 航天型號(hào)可編程邏輯器件軟件驗(yàn)證實(shí)踐
第6章 航天型號(hào)可編程邏輯器件軟件驗(yàn)證經(jīng)驗(yàn)
參考文獻(xiàn)