基于VMM的圖像處理子系統(tǒng)驗(yàn)證平臺的研究與設(shè)計(jì).pdf

1、功能驗(yàn)證已經(jīng)成為當(dāng)今超大規(guī)模專用集成電路和系統(tǒng)級芯片項(xiàng)目開發(fā)的瓶頸。傳統(tǒng)的定向測試驗(yàn)證方法已經(jīng)不能滿足對高復(fù)雜度設(shè)計(jì)進(jìn)行完備驗(yàn)證的要求。為提高驗(yàn)證生產(chǎn)率,一系列先進(jìn)的功能驗(yàn)證方法和驗(yàn)證語言得到了發(fā)展。在此基礎(chǔ)上,驗(yàn)證方法學(xué)為模塊和系統(tǒng)級驗(yàn)證提供了完整的解決方案,使驗(yàn)證平臺能夠具備更高的自動(dòng)化程度和可復(fù)用性,從而提高了驗(yàn)證效率。
　　 本文研究了圖像處理子系統(tǒng)的功能驗(yàn)證,該系統(tǒng)是課題組開發(fā)的多制式視頻顯示后處理芯片中的核心算法單元

2、,用于在相同幀頻下實(shí)現(xiàn)多種VESA視頻制式之間的轉(zhuǎn)換。本文以VMM驗(yàn)證方法學(xué)為指導(dǎo),為圖像處理子系統(tǒng)開發(fā)驗(yàn)證計(jì)劃,確定需要覆蓋檢查的功能點(diǎn)。在驗(yàn)證平臺的設(shè)計(jì)上,采用VMM驗(yàn)證方法學(xué)推薦的分層式驗(yàn)證平臺結(jié)構(gòu),使用SystemVerilog語言自行開發(fā)驗(yàn)證組件,完成驗(yàn)證平臺的搭建。本文研究的圖像處理子系統(tǒng)驗(yàn)證平臺能夠生成36種VESA視頻信號,支持對待測設(shè)計(jì)的輸出時(shí)序和圖像處理質(zhì)量進(jìn)行分析和評估。驗(yàn)證平臺集成了約束隨機(jī)化驗(yàn)證、功能覆蓋率驅(qū)動(dòng)