第1章簡要介紹了可編程邏輯器件的原理及內部結構,同時介紹了其在航天型號中的應用及國產化現狀。
第2章介紹了航天型號可編程邏輯器件軟件開發技術要求及過程管理。
第3章詳細說明了航天型號可編程邏輯器件軟件總體驗證要求,每種驗證類型須覆蓋的測試點及驗證流程。
第4章詳細說明了在可編程邏輯器件軟件中采用的驗證技術,並舉例說明了每種驗證技術的驗證方法及注意事項。
第5章通過典型實踐,從需求出發,運用前述驗證方法和技術進行全流程驗證,並給出了問題報告的示例、回歸驗證的影響域分析方法和驗證總結中須包含的內容。
第6章結合多年的可編程邏輯器件軟件驗證經驗,歸納總結出可編程邏輯器件軟件編程規範、安全可靠性設計、時序約束和典型問題集,用於指導可編程邏輯器件軟件設計與驗證工作。
《航天型號可編程邏輯邏輯器件軟件驗證技術與實踐》繫統地論述了可編程邏輯器件軟件:從研制階段的研制流程要求,到可編程邏輯器件的軟件測試要求;從源代碼的規範性測試技術到功能級仿真,再到網表級功能和時序驗證技術;從代碼級的設計經驗總結到功能級、時序級典型問題分析總結。這些都是我們從大量工程實踐中積累而來的寶貴財富。
第1章簡要介紹了可編程邏輯器件的原理及內部結構,同時介紹了其在航天型號中的應用及國產化現狀。
第2章介紹了航天型號可編程邏輯器件軟件開發技術要求及過程管理。
第3章詳細說明了航天型號可編程邏輯器件軟件總體驗證要求,每種驗證類型須覆蓋的測試點及驗證流程。
第4章詳細說明了在可編程邏輯器件軟件中采用的驗證技術,並舉例說明了每種驗證技術的驗證方法及注意事項。
第5章通過典型實踐,從需求出發,運用前述驗證方法和技術進行全流程驗證,並給出了問題報告的示例、回歸驗證的影響域分析方法和驗證總結中須包含的內容。
第6章結合多年的可編程邏輯器件軟件驗證經驗,歸納總結出可編程邏輯器件軟件編程規範、安全可靠性設計、時序約束和典型問題集,用於指導可編程邏輯器件軟件設計與驗證工作。
該書既有對基礎理論知識的專門講解,也有非常詳細的實例演練和總結,更多地是在實踐中傳遞實用的技巧和方法。
《航天型號可編程邏輯邏輯器件軟件驗證技術與實踐》的內容覆蓋了可編程邏輯器件軟件驗證過程全流程,非常適合廣大可編程邏輯器件軟件設計者、驗證者以及研制管理者,也可作為可編程邏輯器件軟件相關專業的教學用書。