隨著數(shù)字集成電路設(shè)計規(guī)模和復(fù)雜度的提升,對其驗證技術(shù)的要求也越來越高。驗證質(zhì)量已成為影響最終芯片質(zhì)量最為關(guān)鍵的因素。為了提高驗證效率,減少芯片開發(fā)的時間和人力成本,業(yè)內(nèi)在SystemVerilog基礎(chǔ)上開發(fā)了UVM驗證方法學,這種新的驗證方法學采用面向?qū)ο筌浖O(shè)計思想,設(shè)計靈活,具有非常好的可擴展性和可復(fù)用性,正逐漸成為數(shù)字集成電路領(lǐng)域主流的驗證技術(shù)。AXI總線具有高帶寬和低延時的特征,以突發(fā)傳輸為主,并支持outstanding傳輸,亂序傳輸和間插操作,多個主機和從機可通過AXI總線進行互聯(lián)。利用AXI總線可有效提高數(shù)據(jù)傳輸量,因而廣泛應(yīng)用于SoC設(shè)計,可大幅提高SoC的性能。基于UVM搭建了一個AXI總線驗證平臺,該平臺具有良好的可配置性,可復(fù)用性,模塊層次結(jié)構(gòu)清晰,代碼簡潔,可輸出各種復(fù)雜激勵。設(shè)計了隨機測試,基礎(chǔ)測試與錯誤測試三種測試用例對支持AXI4接口的Block RAM進行了驗證,并通過構(gòu)建多Master和多Slave模擬互聯(lián),驗證了多AXI設(shè)備互聯(lián)的場景,仿真驗證的最終功能覆蓋率達到100%。仿真結(jié)果表明驗證平臺功能正確,可滿足對AXI總線的驗證要求,提高驗證內(nèi)置AXI... 

【文章來源】：合肥工業(yè)大學安徽省 211工程院校 教育部直屬院校

【文章頁數(shù)】：74 頁

【學位級別】：碩士

【部分圖文】：

UVM驗證方法學平臺基本架構(gòu)

UVM類的樹形結(jié)構(gòu)

UVM的Phase機制Fig2.4PhasemechanisminUVM在進入run_phase()進行仿真時，run_phase的部分代碼如下：tasktest_case::run_phase(uvm_phasephase);

【參考文獻】：
期刊論文
[1]基于UVM的DBF系統(tǒng)模塊級可重用驗證平臺的實現(xiàn)[J]. 鄧慶勇,朱鵬,習建博.  微電子學與計算機. 2018(01)
[2]基于UVM的多通路航空總線收發(fā)器IP驗證[J]. 閻芳,李哲瑋,田毅,范毓洋.  電光與控制. 2018(01)
[3]基于UVM的CPU卡芯片驗證平臺[J]. 錢一文,景為平,蔣斌.  微電子學與計算機. 2016(06)
[4]AXI總線加密模塊的設(shè)計與驗證[J]. 賀依盟,周亞軍.  杭州電子科技大學學報(自然科學版). 2016(01)
[5]基于UVM驗證方法學的FFTbuffer模塊級驗證[J]. 李前勇,申敏.  廣東通信技術(shù). 2015(11)
[6]覆蓋率驅(qū)動的芯片功能驗證設(shè)計與實現(xiàn)[J]. 羅莉,何鴻君,竇強,徐煒遐.  計算機工程與科學. 2013(01)
[7]基于VMM方法的SOC集成驗證[J]. 李磊,羅勝欽.  電子與封裝. 2011(01)
[8]IP可重用的AMBA AXI總線驗證平臺設(shè)計與實現(xiàn)[J]. 侯秋菊,沈海華.  計算機工程與設(shè)計. 2008(07)

碩士論文
[1]基于UVM的AXI4總線協(xié)議接口IP驗證的研究與實現(xiàn)[D]. 李兆斌.暨南大學 2017
[2]一種基于UVM和AXI接口的通用驗證環(huán)境[D]. 單士剛.西安電子科技大學 2017
[3]基于UVM的HIMAC模塊驗證平臺的設(shè)計與實現(xiàn)[D]. 金淼.西安電子科技大學 2015
[4]基于UVM架構(gòu)的EHCI驗證環(huán)境研究與開發(fā)[D]. 程海燕.電子科技大學 2014
[5]基于SoC的AMBAIO系統(tǒng)驗證[D]. 白晗.國防科學技術(shù)大學 2012



本文編號：3086473