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

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

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

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