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

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

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

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