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

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

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

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