視頻信號處理芯片子系統(tǒng)的功能驗證.pdf

1、功能驗證已成為芯片設(shè)計的重大瓶頸。據(jù)統(tǒng)計，在現(xiàn)代IC設(shè)計中，功能驗證所花費的時間約占整個設(shè)計周期的60％～80％，但卻仍有超過2/3的芯片設(shè)計需要重新流片以糾正功能錯誤。目前基于仿真的驗證依然是業(yè)界采用的主要驗證方式，然而傳統(tǒng)的基于仿真的驗證存在可觀察性低、可控性差以及自動化水平低等缺陷，如何快速有效地實現(xiàn)功能驗證平臺完成功能驗證成為當今IC設(shè)計驗證領(lǐng)域的重要研究方向之一。 本論文屬于天津市科技發(fā)展計劃項目“視頻信號處理芯片的研

2、發(fā)”中的一部分，主要研究了視頻信號處理芯片子系統(tǒng)的功能驗證，提出了一種適合視頻信號處理芯片子系統(tǒng)驗證的解決方案，包括驗證路線的制定、功能驗證方法的確定、驗證流程的規(guī)劃和驗證語言及工具的選擇。論文分析了視頻處理芯片的架構(gòu)，并據(jù)此將整個視頻信號處理芯片的驗證歸結(jié)為OSD子系統(tǒng)的驗證和格式轉(zhuǎn)換子系統(tǒng)的驗證；根據(jù)這兩大子系統(tǒng)各自的特點，論文制定了層次化驗證和自底向上驗證相結(jié)合的驗證路線及相應(yīng)的功能驗證方法；借鑒當前流行的驗證技術(shù)和方法，論文描述

3、了適合視頻信號處理芯片子系統(tǒng)驗證的定向測試和約束隨機測試相結(jié)合的激勵產(chǎn)生方式、基于斷言和數(shù)據(jù)比對的結(jié)果檢查機制、功能覆蓋率和代碼覆蓋率相結(jié)合的覆蓋率機制以及基于VMM方法學思想的層次化驗證平臺構(gòu)建等驗證流程中的關(guān)鍵環(huán)節(jié)。論文選擇SystemVerilog語言作為視頻信號處理芯片子系統(tǒng)的驗證語言、Mentor的Questasim6.2e作為驗證工具。最后根據(jù)OSD子系統(tǒng)和格式轉(zhuǎn)換子系統(tǒng)的設(shè)計規(guī)范以及提出的功能驗證方案，論文詳細討論了這兩大