1、隨著國內(nèi)集成電路產(chǎn)業(yè)的發(fā)展，在宇航系統(tǒng)中越來越多的進口數(shù)字集成電路被相應(yīng)型號的國產(chǎn)器件所替換。在其它高新技術(shù)產(chǎn)業(yè)中，電子系統(tǒng)內(nèi)部集成電路產(chǎn)品的原位替換也常有發(fā)生。由于從實際應(yīng)用的角度上對替換產(chǎn)品缺乏有效的驗證，原位替換之后的新系統(tǒng)往往會出現(xiàn)運行錯誤，這導(dǎo)致產(chǎn)品應(yīng)用方不能放心大膽地使用新產(chǎn)品。若能在替換產(chǎn)品投入使用前，對其在實際應(yīng)用環(huán)境中的工作狀態(tài)進行快速有效的驗證，就可以有效地避免這種情況的發(fā)生?，F(xiàn)有的應(yīng)用驗證方法要求針對每一款待驗證產(chǎn)

2、品設(shè)計相應(yīng)的驗證板。但這樣的驗證方法缺乏復(fù)用性，耗時長且成本高，因此亟需一種快速有效的驗證方法來實現(xiàn)驗證平臺的復(fù)用以減少驗證時間與成本。
　　本文在對基本理論和現(xiàn)有應(yīng)用驗證方案研究的基礎(chǔ)上，針對原位替換情境下數(shù)字集成電路的板級應(yīng)用驗證通過改進提出了可行有效的驗證方案。所提出的方案將使用軟件仿真和FPGA模擬等手段來實現(xiàn)快速且有效的驗證，此外根據(jù)平臺的不同方案還被分為基于軟件仿真的應(yīng)用驗證方案和基于軟硬件協(xié)同仿真的應(yīng)用驗證方案。概括

3、而言本應(yīng)用驗證方案可分為兩步：第一步，采用信號完整性仿真的方法對元器件的應(yīng)用環(huán)境進行模擬，并提取表征應(yīng)用環(huán)境影響的噪聲信息；第二步，基于第一步得到的應(yīng)用環(huán)境信息，使用純軟件仿真的方法對器件的仿真模型進行驗證，或者采用軟硬件協(xié)同仿真的方法對實體芯片進行驗證。本文首先對整個方案的流程進行了說明，并詳細地介紹了實現(xiàn)該方案的技術(shù)細節(jié)；其次針對處理器器件、存儲器件以及接口器件的實例，使用本文提出的應(yīng)用驗證方案進行了應(yīng)用驗證。此外，依據(jù)方案要求本文

4、還對數(shù)字集成電路仿真模型的建立進行了論述，并使用System Verilog語言設(shè)計和驗證了處理器實例80C52的功能模型。
　　本論文基于所提出的數(shù)字集成電路原位替換應(yīng)用驗證方案，得到了數(shù)字集成電路實例的板級應(yīng)用驗證結(jié)果。其中處理器器件和接口器件通過了應(yīng)用驗證，可正常工作；而存儲器件沒有通過應(yīng)用驗證，在特定應(yīng)用環(huán)境下未能正確工作。本文所提出的數(shù)字集成電路原位替換應(yīng)用驗證方案，能夠有效地對數(shù)字集成電路在特定應(yīng)用環(huán)境下的工作狀態(tài)進行