面向無線傳感器網(wǎng)絡(luò)的UVM驗(yàn)證方法應(yīng)用研究.pdf

1、隨著 SoC系統(tǒng)規(guī)模的持續(xù)擴(kuò)大，系統(tǒng)驗(yàn)證復(fù)雜度也隨之增加。傳統(tǒng)的驗(yàn)證方法很難進(jìn)行完備的驗(yàn)證，驗(yàn)證技術(shù)已成為制約 SoC技術(shù)發(fā)展的瓶頸。為縮小與設(shè)計(jì)制造的差距，一系列高級的驗(yàn)證方法學(xué)和驗(yàn)證語言得到了快速發(fā)展。UVM（Universal Verification Methodology）驗(yàn)證方法學(xué)是由眾多業(yè)內(nèi)專家為了自身研發(fā)的需求聯(lián)合研發(fā)的一種具有強(qiáng)大功能的驗(yàn)證方法學(xué)。研究及應(yīng)用UVM驗(yàn)證方法學(xué)具有重要的實(shí)用意義。
　　本文研究了基于

2、UVM驗(yàn)證方法學(xué)與SystemVerilog語言來搭建可重用自動(dòng)化驗(yàn)證平臺的方法，并用其進(jìn)行ZigBee無線傳感器網(wǎng)絡(luò)芯片發(fā)送子系統(tǒng)的功能驗(yàn)證。論文對UVM驗(yàn)證方法、驗(yàn)證平臺設(shè)計(jì)、無線傳感器網(wǎng)絡(luò)發(fā)送子系統(tǒng)等展開了深入的研究，具體的研究內(nèi)容及主要成果如下：
　　1.論文首先對所使用的UVM驗(yàn)證方法進(jìn)行了詳細(xì)的分析，包括所涉及到的概念、重要的功能機(jī)制、UVM驗(yàn)證方法學(xué)的優(yōu)點(diǎn)及基礎(chǔ)框架。在分析驗(yàn)證平臺整體結(jié)構(gòu)的基礎(chǔ)上，采用自頂向下方法設(shè)

3、計(jì)通用驗(yàn)證平臺的5層功能模型，包括頂層、測試用例層、環(huán)境層、功能層與信號命令層。通過各層之間的端口實(shí)現(xiàn)了信號參數(shù)的傳遞。
　　2.詳細(xì)分析了待測試的無線傳感器網(wǎng)絡(luò)芯片發(fā)送子系統(tǒng)的協(xié)議、接口及基本功能結(jié)構(gòu)。提出了待測試實(shí)例（DUT）的待測功能點(diǎn)和相應(yīng)的驗(yàn)證方案，并提出無線傳感器網(wǎng)絡(luò)芯片發(fā)送子系統(tǒng)驗(yàn)證平臺的整體結(jié)構(gòu)。
　　3.根據(jù)驗(yàn)證平臺設(shè)計(jì)方法及結(jié)構(gòu)，搭建無線傳感器網(wǎng)絡(luò)發(fā)送子系統(tǒng)驗(yàn)證平臺，完成驗(yàn)證環(huán)境各級組件的設(shè)計(jì)實(shí)現(xiàn)，包括信

4、息傳輸類、信號命令層組件、代理器、參考模型、記分板、環(huán)境組件、測試用例層組件等，并對驗(yàn)證環(huán)境的可重用性進(jìn)行了分析。
　　4.論文采用SystemVerilog語言設(shè)計(jì)實(shí)現(xiàn)了基于UVM的無線傳感器網(wǎng)絡(luò)驗(yàn)證平臺，并在ModelSim環(huán)境下進(jìn)行了驗(yàn)證測試。驗(yàn)證結(jié)果包括計(jì)分板對標(biāo)準(zhǔn)結(jié)果與待測結(jié)果的對比輸出，用于輔助觀測DUT的輸入與輸出的仿真波形及覆蓋率統(tǒng)計(jì)。仿真結(jié)果顯示本文分析出的功能點(diǎn)全部被覆蓋，語句覆蓋率達(dá)到了90％以上。其結(jié)果表明