基于PCI總線的主設(shè)備功能仿真與驗(yàn)證.pdf

1、隨著大規(guī)模集成電路技術(shù)的快速發(fā)展和廣泛應(yīng)用，集成電路對(duì)功能、時(shí)鐘頻率、功耗、穩(wěn)定性等指標(biāo)具有越來(lái)越高的要求。其中，電路功能的正確性是最基本也是最重要的要求，電路驗(yàn)證是確保其功能正確性的關(guān)鍵手段。本文在某款圖形處理器項(xiàng)目基礎(chǔ)上，對(duì)PCI主機(jī)接口的主設(shè)備功能進(jìn)行了驗(yàn)證。PCI主機(jī)接口是圖形處理器對(duì)外的通信接口，其內(nèi)部集成了命令處理器和數(shù)據(jù)傳輸控制器兩個(gè)主設(shè)備，它們通過(guò)發(fā)起PCI總線傳輸操作實(shí)現(xiàn)圖形處理器與外部主機(jī)之間的數(shù)據(jù)傳輸和解析等功能。

2、主設(shè)備在圖形處理器中扮演著數(shù)據(jù)源入口關(guān)卡的重要角色，因此對(duì)主設(shè)備進(jìn)行完整的功能驗(yàn)證具有十分重要的意義。
　　本文首先對(duì)命令處理器和數(shù)據(jù)傳輸控制器的功能進(jìn)行深入分析，提取出待測(cè)模塊的基本功能點(diǎn)。其次結(jié)合待測(cè)模塊已有的設(shè)計(jì)代碼對(duì)每個(gè)功能點(diǎn)進(jìn)行驗(yàn)證項(xiàng)的策劃，包括劃分具體的總線傳輸操作類型等。然后分析主設(shè)備驗(yàn)證環(huán)境的搭建需求，根據(jù)分析結(jié)果編寫主設(shè)備在總線操作中所需要的圖形繪制命令、圖形像素?cái)?shù)據(jù)以及用戶染色程序三種不同類型的二進(jìn)制源數(shù)據(jù)文件

3、。此外，根據(jù)時(shí)序約束開(kāi)發(fā)與主設(shè)備進(jìn)行交互操作的存儲(chǔ)管理單元和圖像處理單元的基本功能模型。緊接著在 Linux環(huán)境下搭建待測(cè)模塊的驗(yàn)證平臺(tái)，完成待測(cè)模塊與模型間的互連和測(cè)試平臺(tái)的調(diào)試、激勵(lì)生成、仿真結(jié)果對(duì)比方法等，并編寫自動(dòng)化驗(yàn)證的運(yùn)行腳本。之后，選取動(dòng)態(tài)定向驗(yàn)證和隨機(jī)驗(yàn)證相結(jié)合的驗(yàn)證方法，并根據(jù)驗(yàn)證策劃表分別開(kāi)發(fā)了50項(xiàng)命令處理器的驗(yàn)證用例和9項(xiàng)數(shù)據(jù)傳輸控制器的驗(yàn)證用例。最后通過(guò)仿真工具對(duì)命令處理和數(shù)據(jù)傳輸控制器分別進(jìn)行功能仿真與驗(yàn)證，

4、自動(dòng)化監(jiān)測(cè)必要的標(biāo)志信號(hào)，并將仿真結(jié)果與參考文本源數(shù)據(jù)進(jìn)行一致性對(duì)比，得出仿真結(jié)論。在仿真工作完成后，使用腳本分別統(tǒng)計(jì)兩個(gè)主設(shè)備的功能覆蓋率和代碼覆蓋率，并對(duì)覆蓋率報(bào)告的結(jié)果進(jìn)行分析和改進(jìn)說(shuō)明。
　　在進(jìn)行仿真驗(yàn)證時(shí)，通過(guò)對(duì)部分驗(yàn)證用例進(jìn)行修改并多次回歸驗(yàn)證使得待測(cè)模塊的覆蓋率逐步上升。最終驗(yàn)證結(jié)果顯示，命令處理器和數(shù)據(jù)傳輸控制器的功能覆蓋率均達(dá)到100％，命令處理器的語(yǔ)句覆蓋率和分支覆蓋率均達(dá)到96％以上，數(shù)據(jù)傳輸控制器的語(yǔ)句覆