可編程邏輯器件已廣泛應(yīng)用于航天型號，飛行控制、雷達(dá)、基帶信號處理、遙測遙控、圖像處理、伺服、加解密等領(lǐng)域的關(guān)鍵設(shè)備中都有它的身影。從最基本的邏輯控制到復(fù)雜的信號處理，從GAL、PAL到CPLD，再到FPGA，從商業(yè)級芯片到宇航級芯片，從進(jìn)口器件到國產(chǎn)器件，航天型號應(yīng)用已基本涵蓋了可編程邏輯器件的所有種類�？删幊踢壿嬈骷�已經(jīng)成為航天型號不可或缺的重要器件。
　　航天型號的特殊性要求，決定了軟件測試是其研制過程中的關(guān)鍵環(huán)節(jié)，軟件測試結(jié)論是支撐型號轉(zhuǎn)階段或定型鑒定的重要依據(jù)。隨著可編程邏輯器件軟件在型號中扮演的角色越來越重要，其受關(guān)注的程度也在不斷提高。航天型號中將可編程邏輯器件軟件作為單獨軟件配置項進(jìn)行管理已有近20年的時間，這些年來，航天型號的發(fā)射有成功也有失敗，在失敗的案例中有軟件問題也有硬件問題，我們從中積累了大量的工程經(jīng)驗。
　　航天型號從立項開始就引入了質(zhì)量的概念，在方案論證、需求分析階段，進(jìn)行了結(jié)構(gòu)劃分、功能分解等，確保了需求分析質(zhì)量；在研制階段，引入第二方內(nèi)部測試、第三方外部測試、配置管理、質(zhì)量保證等，確保了研制質(zhì)量；在定型／鑒定階段，進(jìn)行定型／鑒定測評、用戶試用等，確保了交付質(zhì)量�？傊�，一切措施和手段都是為了保證航天型號的質(zhì)量。
　　同樣，本書的編寫也是著眼于航天型號的質(zhì)量。本書系統(tǒng)地論述了可編程邏輯器件軟件：從研制階段的研制流程要求，到可編程邏輯器件的軟件測試要求；從源代碼的規(guī)范性測試技術(shù)到功能級仿真，再到網(wǎng)表級功能和時序驗證技術(shù)；從代碼級的設(shè)計經(jīng)驗總結(jié)到功能級、時序級典型問題分析總結(jié)。這些都是我們從大量工程實踐中積累而來的寶貴財富。
　　第1章簡要介紹了可編程邏輯器件的原理及內(nèi)部結(jié)構(gòu)，同時介紹了其在航天型號中的應(yīng)用及國產(chǎn)化現(xiàn)狀。
　　第2章介紹了航天型號可編程邏輯器件軟件開發(fā)技術(shù)要求及過程管理。
　　第3章詳細(xì)說明了航天型號可編程邏輯器件軟件總體驗證要求，每種驗證類型須覆蓋的測試點及驗證流程。
　　第4章詳細(xì)說明了在可編程邏輯器件軟件中采用的驗證技術(shù)，并舉例說明了每種驗證技術(shù)的驗證方法及注意事項。
　　第5章通過典型實踐，從需求出發(fā)，運用前述驗證方法和技術(shù)進(jìn)行全流程驗證，并給出了問題報告的示例、回歸驗證的影響域分析方法和驗證總結(jié)中須包含的內(nèi)容。
　　第6章結(jié)合多年的可編程邏輯器件軟件驗證經(jīng)驗，歸納總結(jié)出可編程邏輯器件軟件編程規(guī)范、安全可靠性設(shè)計、時序約束和典型問題集，用于指導(dǎo)可編程邏輯器件軟件設(shè)計與驗證工作。
　　本書既有對基礎(chǔ)理論知識的專門講解，也有非常詳細(xì)的實例演練和總結(jié)，更多地是在實踐中傳遞實用的技巧和方法。本書的內(nèi)容覆蓋了可編程邏輯器件軟件驗證過程全流程，非常適合廣大可編程邏輯器件軟件設(shè)計者、驗證者以及研制管理者，也可作為可編程邏輯器件軟件相關(guān)專業(yè)的教學(xué)用書。
　　在本書的編寫過程中，引入了大量參考文獻(xiàn)，不少資料來自Xilinx公司和Altera公司的使用手冊和芯片介紹以及同行業(yè)的科研成果，對此表示衷心的感謝。感謝中國航天科技集團(tuán)有限公司軟件評測中心的張碩、滑海、崔強強、曹建勛、李亞、李振國、郭棟參與編制開發(fā)流程、驗證技術(shù)與實踐、安全可靠性設(shè)計、典型問題等內(nèi)容，感謝飛航軟件測評中心的陳鵬、季微微、賀麗紅、張驄、李春靜參與編制軟件驗證要求和流程及安全編碼規(guī)則等內(nèi)容。感謝張幼春、孫鳳麗、賈之楠對本書的出版給予的大力支持。
　　由于作者水平有限，書中難免有疏漏之處，敬請專家和讀者批評指正。