基于UVM驗證方法學(xué)的圖像縮放模塊的驗證.pdf

1、隨著集成電路規(guī)模的不斷增大,在整個芯片項目周期中,驗證環(huán)節(jié)所用的周期逐漸占到總項目周期的80％,驗證技術(shù)已經(jīng)跟不上設(shè)計和制造能力的發(fā)展,已經(jīng)成為制約芯片設(shè)計行業(yè)發(fā)展的瓶頸。為了提高設(shè)計效率,業(yè)內(nèi)人士不斷的提出先進的驗證理論,革新驗證技術(shù),并應(yīng)用于實際項目中。本文所使用的驗證方法學(xué)就是比較先進的 UVM驗證方法學(xué)。
　　本文以實際的視頻處理芯片設(shè)計項目為依托,對項目中圖像縮放模塊進行全面的模塊級驗證,確保模塊設(shè)計符合設(shè)計規(guī)范。文章首

2、先指出了驗證技術(shù)發(fā)展所面臨的挑戰(zhàn),并對驗證語言的發(fā)展狀況做了詳細的描述;其次介紹了驗證技術(shù)的基本理論和 UVM驗證方法學(xué),主要介紹了功能驗證的發(fā)展演變、基于覆蓋率的功能驗證、驗證平臺的激勵產(chǎn)生和結(jié)果判斷,以及 UVM驗證方法學(xué)的特性和相關(guān)機制。方法學(xué)建立在高級驗證語言的基礎(chǔ)之上,能夠使用高級語言提供的驗證環(huán)境的基本結(jié)構(gòu)。UVM驗證方法學(xué)主要采用了 System Verilog語言進行基本平臺的構(gòu)建,繼承了其層次化組件、隨機約束以及覆蓋率

3、等特點,同時也繼承了OVM驗證方法學(xué)的基本特性。圖像縮放模塊是數(shù)字電視視頻處理芯片中的重要模塊之一。實現(xiàn)信號源圖像的調(diào)整,使之能夠適應(yīng)不同型號的顯示屏。本文通過分析此模塊的架構(gòu)、功能及接口,制定了驗證策略,并提煉出測試點。根據(jù)驗證策略和測試點,搭建驗證平臺,完成各個組件并對平臺進行調(diào)試,進行大量測試用例仿真。本平臺通過定向測試和隨機測試相結(jié)合的方式對模塊進行驗證,達到了100%的行覆蓋率和93%的功能覆蓋率,達到了預(yù)期目標。本次驗證效率