驗證與設(shè)計密不可分。隨著IC設(shè)計的發(fā)展,IP的功能逐漸復(fù)雜,驗證難度和工作量日益增加,驗證成為具有挑戰(zhàn)性的工作。為了驗證多個接口標(biāo)準相同但功能不同的圖像處理加速IP,本文設(shè)計了一種可復(fù)用層次化的圖像處理加速IP驗證平臺,有效地降低了驗證成本,提高了驗證效率。所搭建的可復(fù)用層次化圖像處理加速IP驗證平臺主要有三方面特征:其一,本驗證平臺基于層次化設(shè)計思想分為三個層次搭建,分別是能夠進行數(shù)據(jù)預(yù)處理和配置驗證需求相關(guān)參數(shù)并生成宏定義頭文件的場景層;提供多個低層次基礎(chǔ)事務(wù)處理驗證組件的指令層;提供多個復(fù)雜事務(wù)處理驗證組件的功能層。其二,本驗證平臺可實現(xiàn)多層次可重用性。第一個層次,本驗證平臺實現(xiàn)了基礎(chǔ)事務(wù)處理驗證組件的可重用。第二個層次,本驗證平臺可滿足某一圖像處理加速IP不同的驗證需求,從而實現(xiàn)對其所有功能點的全面驗證。在驗證某一IP的過程中,通過配置位于宏定義頭文件內(nèi)的參數(shù),可實現(xiàn)對該驗證平臺全局可配置參數(shù)的設(shè)置。第三個層次,本驗證平臺可對不同圖像處理加速IP進行功能驗證。在驗證不同圖像處理加速IP的過程中,通過配置位于宏定義頭文件內(nèi)的IP模塊選擇位,該驗證平臺的驗證組件可實現(xiàn)靈活增減或更替... 

【文章來源】：華中科技大學(xué)湖北省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：87 頁

【學(xué)位級別】：碩士

【部分圖文】：

并行標(biāo)記與特征值統(tǒng)計IP的設(shè)計漏洞1如圖4-1所示，應(yīng)輸入圖像數(shù)據(jù)總個數(shù)fifo_data_1_sum_num為48，加上一個輸

科 技 大 學(xué) 碩 士 學(xué) 位 狀態(tài)、參數(shù) FIFO 寫錯誤狀態(tài)、圖像數(shù)據(jù) FIFO1錯誤狀態(tài)、圖像數(shù)據(jù) FIFO2 的校驗錯誤狀態(tài)、據(jù) FIFO 讀錯誤狀態(tài)。其余幀圖像測試時，IP 90.2%，各 IP 設(shè)計文件的詳細代碼覆蓋率情況展示了該 IP 各設(shè)計文件的語句覆蓋率、分支覆蓋式覆蓋率。

圖 4-11 代碼覆蓋率未覆蓋到情況 111 可知參數(shù)數(shù)據(jù) FIFO 的 fifo_para_data_i 的翻轉(zhuǎn)率嚴重不成的： IP 進行正常工作狀態(tài)或故障異常狀態(tài)的驗證，向深度為 1兩個數(shù)據(jù)，一個是參數(shù)數(shù)據(jù)，另一個是參數(shù)數(shù)據(jù)的校驗值同時，根據(jù)并行標(biāo)記與特征值統(tǒng)計IP規(guī)定的參數(shù)數(shù)據(jù)格式，不部某些位固定填充為 1`b0，且以這種方式填充的“0”不指 128bits 參數(shù)數(shù)據(jù)是由多個參數(shù)拼接組成的，這些參數(shù)某些所述，在驗證過程中翻轉(zhuǎn)覆蓋率是無法覆蓋到的。冗余：case 語句存在代碼冗余 中（a）和（b）分別展示了不同 IP 設(shè)計模塊中語句覆蓋率


本文編號：3571938