面向無線傳感器網絡的UVM驗證方法應用研究.pdf

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

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

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

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