面向無線傳感器網(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ì)制造的差距，一系列高級(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)證平臺(tái)的方法，并用其進(jìn)行ZigBee無線傳感器網(wǎng)絡(luò)芯片發(fā)送子系統(tǒng)的功能驗(yàn)證。論文對(duì)UVM驗(yàn)證方法、驗(yàn)證平臺(tái)設(shè)計(jì)、無線傳感器網(wǎng)絡(luò)發(fā)送子系統(tǒng)等展開了深入的研究，具體的研究?jī)?nèi)容及主要成果如下：
　　1.論文首先對(duì)所使用的UVM驗(yàn)證方法進(jìn)行了詳細(xì)的分析，包括所涉及到的概念、重要的功能機(jī)制、UVM驗(yàn)證方法學(xué)的優(yōu)點(diǎn)及基礎(chǔ)框架。在分析驗(yàn)證平臺(tái)整體結(jié)構(gòu)的基礎(chǔ)上，采用自頂向下方法設(shè)

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

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