123,123

內(nèi)容簡(jiǎn)介

　　《航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》系統(tǒng)地論述了可編程邏輯器件軟件：從研制階段的研制流程要求，到可編程邏輯器件的軟件測(cè)試要求；從源代碼的規(guī)范性測(cè)試技術(shù)到功能級(jí)仿真，再到網(wǎng)表級(jí)功能和時(shí)序驗(yàn)證技術(shù)；從代碼級(jí)的設(shè)計(jì)經(jīng)驗(yàn)總結(jié)到功能級(jí)、時(shí)序級(jí)典型問(wèn)題分析總結(jié)。這些都是我們從大量工程實(shí)踐中積累而來(lái)的寶貴財(cái)富。第1章簡(jiǎn)要介紹了可編程邏輯器件的原理及內(nèi)部結(jié)構(gòu)，同時(shí)介紹了其在航天型號(hào)中的應(yīng)用及國(guó)產(chǎn)化現(xiàn)狀。第2章介紹了航天型號(hào)可編程邏輯器件軟件開(kāi)發(fā)技術(shù)要求及過(guò)程管理。第3章詳細(xì)說(shuō)明了航天型號(hào)可編程邏輯器件軟件總體驗(yàn)證要求，每種驗(yàn)證類型須覆蓋的測(cè)試點(diǎn)及驗(yàn)證流程。第4章詳細(xì)說(shuō)明了在可編程邏輯器件軟件中采用的驗(yàn)證技術(shù)，并舉例說(shuō)明了每種驗(yàn)證技術(shù)的驗(yàn)證方法及注意事項(xiàng)。第5章通過(guò)典型實(shí)踐，從需求出發(fā)，運(yùn)用前述驗(yàn)證方法和技術(shù)進(jìn)行全流程驗(yàn)證，并給出了問(wèn)題報(bào)告的示例、回歸驗(yàn)證的影響域分析方法和驗(yàn)證總結(jié)中須包含的內(nèi)容。第6章結(jié)合多年的可編程邏輯器件軟件驗(yàn)證經(jīng)驗(yàn)，歸納總結(jié)出可編程邏輯器件軟件編程規(guī)范、安全可靠性設(shè)計(jì)、時(shí)序約束和典型問(wèn)題集，用于指導(dǎo)可編程邏輯器件軟件設(shè)計(jì)與驗(yàn)證工作。該書(shū)既有對(duì)基礎(chǔ)理論知識(shí)的專門(mén)講解，也有非常詳細(xì)的實(shí)例演練和總結(jié)，更多地是在實(shí)踐中傳遞實(shí)用的技巧和方法?！逗教煨吞?hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》的內(nèi)容覆蓋了可編程邏輯器件軟件驗(yàn)證過(guò)程全流程，非常適合廣大可編程邏輯器件軟件設(shè)計(jì)者、驗(yàn)證者以及研制管理者，也可作為可編程邏輯器件軟件相關(guān)專業(yè)的教學(xué)用書(shū)。

作者簡(jiǎn)介

暫缺《航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》作者簡(jiǎn)介

圖書(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 可編程邏輯器件軟件開(kāi)發(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 可編程邏輯器件國(guó)產(chǎn)化現(xiàn)狀
第2章航天型號(hào)可編程邏輯器件軟件開(kāi)發(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)開(kāi)發(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è)試過(guò)程
3．2．4 驗(yàn)證問(wè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 功能仿真的方法和過(guò)程
4．2．4 功能仿真覆蓋率收集
……
第5章航天型號(hào)可編程邏輯器件軟件驗(yàn)證實(shí)踐
第6章航天型號(hào)可編程邏輯器件軟件驗(yàn)證經(jīng)驗(yàn)
參考文獻(xiàn)