航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐

　　《航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》系統(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í)典型問(wèn)題分析總結(jié)。這些都是我們從大量工程實(shí)踐中積累而來(lái)的寶貴財(cái)富。第1章簡(jiǎn)要介紹了可編程邏輯器件的原理及內(nèi)部結(jié)構(gòu)，同時(shí)介紹了其在航天型號(hào)中的應(yīng)用及國(guó)產(chǎn)化現(xiàn)狀。第2章介紹了航天型號(hào)可編程邏輯器件軟件開(kāi)發(fā)技術(shù)要求及過(guò)程管理。第3章詳細(xì)說(shuō)明了航天型號(hào)可編程邏輯器件軟件總體驗(yàn)證要求，每種驗(yàn)證類型須覆蓋的測(cè)試點(diǎn)及驗(yàn)證流程。第4章詳細(xì)說(shuō)明了在可編程邏輯器件軟件中采用的驗(yàn)證技術(shù)，并舉例說(shuō)明了每種驗(yàn)證技術(shù)的驗(yàn)證方法及注意事項(xiàng)。第5章通過(guò)典型實(shí)踐，從需求出發(fā)，運(yùn)用前述驗(yàn)證方法和技術(shù)進(jìn)行全流程驗(yàn)證，并給出了問(wèn)題報(bào)告的示例、回歸驗(yàn)證的影響域分析方法和驗(yàn)證總結(jié)中須包含的內(nèi)容。第6章結(jié)合多年的可編程邏輯器件軟件驗(yàn)證經(jīng)驗(yàn)，歸納總結(jié)出可編程邏輯器件軟件編程規(guī)范、安全可靠性設(shè)計(jì)、時(shí)序約束和典型問(wèn)題集，用于指導(dǎo)可編程邏輯器件軟件設(shè)計(jì)與驗(yàn)證工作。該書(shū)既有對(duì)基礎(chǔ)理論知識(shí)的專門(mén)講解，也有非常詳細(xì)的實(shí)例演練和總結(jié)，更多地是在實(shí)踐中傳遞實(shí)用的技巧和方法?！逗教煨吞?hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》的內(nèi)容覆蓋了可編程邏輯器件軟件驗(yàn)證過(guò)程全流程，非常適合廣大可編程邏輯器件軟件設(shè)計(jì)者、驗(yàn)證者以及研制管理者，也可作為可編程邏輯器件軟件相關(guān)專業(yè)的教學(xué)用書(shū)。

暫缺《航天型號(hào)可編程邏輯邏輯器件軟件驗(yàn)證技術(shù)與實(shí)踐》作者簡(jiǎn)介