掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
航天型號可編程邏輯器件軟件驗證技術與實踐 版權信息
- ISBN：9787515917139
- 條形碼：9787515917139 ; 978-7-5159-1713-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
航天型號可編程邏輯器件軟件驗證技術與實踐 內容簡介
《航天型號可編程邏輯邏輯器件軟件驗證技術與實踐》系統地論述了可編程邏輯器件軟件：從研制階段的研制流程要求，到可編程邏輯器件的軟件測試要求；從源代碼的規范性測試技術到功能級仿真，再到網表級功能和時序驗證技術；從代碼級的設計經驗總結到功能級、時序級典型問題分析總結。這些都是我們從大量工程實踐中積累而來的寶貴財富。 第1章簡要介紹了可編程邏輯器件的原理及內部結構，同時介紹了其在航天型號中的應用及國產化現狀。 第2章介紹了航天型號可編程邏輯器件軟件開發技術要求及過程管理。 第3章詳細說明了航天型號可編程邏輯器件軟件總體驗證要求，每種驗證類型須覆蓋的測試點及驗證流程。 第4章詳細說明了在可編程邏輯器件軟件中采用的驗證技術，并舉例說明了每種驗證技術的驗證方法及注意事項。 第5章通過典型實踐，從需求出發，運用前述驗證方法和技術進行全流程驗證，并給出了問題報告的示例、回歸驗證的影響域分析方法和驗證總結中須包含的內容。 第6章結合多年的可編程邏輯器件軟件驗證經驗，歸納總結出可編程邏輯器件軟件編程規范、安全可靠性設計、時序約束和典型問題集，用于指導可編程邏輯器件軟件設計與驗證工作。 該書既有對基礎理論知識的專門講解，也有非常詳細的實例演練和總結，更多地是在實踐中傳遞實用的技巧和方法。 《航天型號可編程邏輯邏輯器件軟件驗證技術與實踐》的內容覆蓋了可編程邏輯器件軟件驗證過程全流程，非常適合廣大可編程邏輯器件軟件設計者、驗證者以及研制管理者，也可作為可編程邏輯器件軟件相關專業的教學用書。
航天型號可編程邏輯器件軟件驗證技術與實踐 目錄
第1章 可編程邏輯器件概述
1．1 可編程邏輯器件的工作原理和內部結構
1．1．1 CPLD工作原理及內部結構
1．1．2 FPGA工作原理及內部結構
1．2 可編程邏輯器件軟件開發環境及工藝特點
1．3 可編程邏輯器件在航天型號中的應用
1．3．1 高速通信
1．3．2 電子對抗
1．3．3 數字圖像處理
1．3．4 邏輯接口
1．3．5 信息安全
1．4 可編程邏輯器件國產化現狀
第2章 航天型號可編程邏輯器件軟件開發通用要求
2．1 研制技術流程
2．1．1 任務分析
2．1．2 需求分析
2．1．3 設計驗證實現
2．1．4 功能驗證
2．1．5 綜合布局布線
2．1．6 時序驗證
2．1．7 編程下載
2．1．8 設計確認
2．1．9 第三方驗證
2．1．10 驗收
2．1．11 固化和落焊
2．1．12 運行維護
2．2 研制可行性分析
2．2．1 沿用可行性分析
2．2．2 配置參數修改可行性分析
2．2．3 適應性修改可行性分析
2．3 支持與管理活動
2．3．1 配置管理
2．3．2 質量保證
2．3．3 糾正措施
2．3．4 風險管理
2．3．5 保密性有關活動
2．3．6 分承制方管理
2．3．7 與獨立驗證和確認機構建立聯系
2．3．8 與相關開發方的協調
第3章 航天型號可編程邏輯器件軟件測試要求及流程
3．1 測試要求
3．1．1 測試級別
3．1．2 測試類型
3．2 驗證流程
3．2．1 測試目的
3．2．2 測試內容
3．2．3 測試過程
3．2．4 驗證問題處理要求
第4章 航天型號可編程邏輯器件軟件驗證技術
4．1 設計檢查
4．1．1 文檔檢查
4．1．2 代碼檢查
4．1．3 跨時鐘域檢查
4．2 功能仿真
4．2．1 功能仿真的目的
4．2．2 功能仿真的輸入
4．2．3 功能仿真的方法和過程
4．2．4 功能仿真覆蓋率收集
……
第5章 航天型號可編程邏輯器件軟件驗證實踐
第6章 航天型號可編程邏輯器件軟件驗證經驗
參考文獻
1．1 可編程邏輯器件的工作原理和內部結構
1．1．1 CPLD工作原理及內部結構
1．1．2 FPGA工作原理及內部結構
1．2 可編程邏輯器件軟件開發環境及工藝特點
1．3 可編程邏輯器件在航天型號中的應用
1．3．1 高速通信
1．3．2 電子對抗
1．3．3 數字圖像處理
1．3．4 邏輯接口
1．3．5 信息安全
1．4 可編程邏輯器件國產化現狀
第2章 航天型號可編程邏輯器件軟件開發通用要求
2．1 研制技術流程
2．1．1 任務分析
2．1．2 需求分析
2．1．3 設計驗證實現
2．1．4 功能驗證
2．1．5 綜合布局布線
2．1．6 時序驗證
2．1．7 編程下載
2．1．8 設計確認
2．1．9 第三方驗證
2．1．10 驗收
2．1．11 固化和落焊
2．1．12 運行維護
2．2 研制可行性分析
2．2．1 沿用可行性分析
2．2．2 配置參數修改可行性分析
2．2．3 適應性修改可行性分析
2．3 支持與管理活動
2．3．1 配置管理
2．3．2 質量保證
2．3．3 糾正措施
2．3．4 風險管理
2．3．5 保密性有關活動
2．3．6 分承制方管理
2．3．7 與獨立驗證和確認機構建立聯系
2．3．8 與相關開發方的協調
第3章 航天型號可編程邏輯器件軟件測試要求及流程
3．1 測試要求
3．1．1 測試級別
3．1．2 測試類型
3．2 驗證流程
3．2．1 測試目的
3．2．2 測試內容
3．2．3 測試過程
3．2．4 驗證問題處理要求
第4章 航天型號可編程邏輯器件軟件驗證技術
4．1 設計檢查
4．1．1 文檔檢查
4．1．2 代碼檢查
4．1．3 跨時鐘域檢查
4．2 功能仿真
4．2．1 功能仿真的目的
4．2．2 功能仿真的輸入
4．2．3 功能仿真的方法和過程
4．2．4 功能仿真覆蓋率收集
……
第5章 航天型號可編程邏輯器件軟件驗證實踐
第6章 航天型號可編程邏輯器件軟件驗證經驗
參考文獻
展開全部
書友推薦
- >
羅曼·羅蘭讀書隨筆-精裝
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
名家帶你讀魯迅:故事新編
- >
月亮虎
- >
姑媽的寶刀
- >
中國歷史的瞬間
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
巴金－再思錄
本類暢銷
