●第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 功能仿真覆蓋率收集
4.3 門級仿真
4.3.1 門級仿真的目的和前提
4.3.2 門級仿真的方法和過程
4.4 時序仿真
4.4.1 時序仿真的目的和前提
4.4.2 時序仿真的方法和過程
4.5 靜態時序分析
4.5.1 靜態時序分析概述
4.5.2 靜態時序分析方法
4.6 邏輯等效性檢查
4.6.1 啟動
4.6.2 加載指導文件
4.6.3 加載參考設計和被驗證設計
4.6.4 執行setup
4.6.5 執行match
4.6.6 執行verify
4.6.7 注意事項
4.7 實物測試
4.7.1 實物測試的主要內容
4.7.2 實物測試的方法
第5章 航天型號可編程邏輯器件軟件驗證實踐
5.1 灰度圖像信息采集FPGA邏輯需求說明
5.1.1 功能需求說明
5.1.2 開發環境說明
5.1.3 程序設計
5.2 灰度圖像信息采集FPGA邏輯驗證
5.2.1 代碼審查
5.2.2 仿真驗證
5.2.3 靜態時序分析
5.2.4 跨時鐘域檢查
5.2.5 邏輯等效性檢查
5.2.6 實物測試
5.3 灰度圖像信息采集FPGA邏輯問題報告單
5.4 灰度圖像信息采集FPGA邏輯回歸驗證
5.5 灰度圖像信息采集FPGA邏輯驗證總結
第6章 航天型號可編程邏輯器件軟件驗證經驗
6.1 VHDL和Verilog語言設計規則
6.1.1 VHDL和Verilog語言簡介
6.1.2 VHDL和Verilog語言設計規則介紹
6.2 安全性、可靠性設計方法
6.2.1 速度與面積設計
6.2.2 狀態機設計
6.2.3 時鐘信號設計
6.2.4 復位信號設計
6.2.5 跨時鐘域信號處理
6.2.6 信號傳輸設計
6.2.7 FPGA開發軟件版本要求
6.2.8 FPGA器件選擇要求
6.2.9 設計約束要求
6.2.10 時鐘管理模塊使用要求
6.2.11 餘量設計
6.2.12 邊界安全性設計
6.2.13 內部信號設計
6.2.14 中斷設計
6.2.15 內部存儲區設置要求
6.2.16 內部DSP設計要求
6.2.17 模塊扇入扇出要求
6.2.18 信號扇入扇出要求
6.2.19 管腳設計
6.2.20 抗單粒子翻轉安全性設計
6.2.21 高級語言編程
6.2.22 清理軟件多餘物
6.2.23 容錯設計
6.3 時序約柬及典型時序優化方法
6.3.1 時序相關基本概念
6.3.2 可編程邏輯器件時序約束設計
6.3.3 典型時序優化方法
6.4 測試中發現的典型缺陷
6.4.1 繫統設計類
6.4.2 接口設計類
6.4.3 時鐘／跨時鐘域處理類
6.4.4 復位及初始化類
6.4.5 設計約束類
6.4.6 健壯性設計類
6.4.7 狀態機類
6.4.8 編碼規範類
參考文獻

本書繫統地論述了可編程邏輯器件軟件：從研制階段的研制流程要求，到可編程邏輯器件的軟件測試要求；從源代碼的規範性測試技術到功能級仿真，再到網表級功能和時序驗證技術；從代碼級的設計經驗總結到功能級、時序級典型問題分析總結。