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