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