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

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

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

【學(xué)位級(jí)別】：碩士

【部分圖文】：

UVM驗(yàn)證方法學(xué)平臺(tái)基本架構(gòu)

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

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

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

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



本文編號(hào)：3086473