PCI總線技術(shù)經(jīng)過多年的發(fā)展,目前仍廣泛應(yīng)用于嵌入式系統(tǒng)和工業(yè)控制系統(tǒng)等領(lǐng)域。在PCI接口實(shí)現(xiàn)方式中,IP核憑借開發(fā)速度快、靈活性好等優(yōu)點(diǎn)得到了廣泛應(yīng)用,但價格比較昂貴。開源平臺Open Cores提供了免費(fèi)的PCI接口固件,可用于實(shí)現(xiàn)PCI接口,但是沒有對其進(jìn)行充分詳細(xì)的功能驗證。本文基于UVM（Universal Verification Methodology）搭建了驗證平臺,對PCI總線接口固件進(jìn)行仿真驗證。本文首先分析了PCI和WISHBONE總線協(xié)議以及UVM,并給出了驗證目標(biāo)。然后介紹了PCI接口固件的設(shè)計結(jié)構(gòu)和功能特點(diǎn),在此基礎(chǔ)上制定了PCI接口固件的驗證計劃,包括驗證功能點(diǎn)的提取、驗證平臺實(shí)現(xiàn)方案和運(yùn)行方案,運(yùn)行方案又包括激勵、檢查、覆蓋率收集和斷言方案。本文根據(jù)制定的驗證計劃,完成了驗證平臺結(jié)構(gòu)、驗證事務(wù)和驗證組件的設(shè)計,為了提高驗證平臺搭建工作的效率,使驗證平臺文件結(jié)構(gòu)更加規(guī)范且便于維護(hù),本文先利用代碼生成器Easier UVM生成驗證平臺的基本框架,然后在框架的基礎(chǔ)上根據(jù)需要進(jìn)行改進(jìn)和補(bǔ)充,最終完成了驗證平臺的搭建工作。在驗證平臺中使用虛擬序列實(shí)現(xiàn)了層次化的序列... 

【文章來源】：哈爾濱工業(yè)大學(xué)黑龍江省 211工程院校 985工程院校

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

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

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 課題背景及研究的目的和意義
    1.2 國內(nèi)外研究現(xiàn)狀及分析
        1.2.1 PCI總線技術(shù)
        1.2.2 驗證方法學(xué)
    1.3 主要研究內(nèi)容
    1.4 本文結(jié)構(gòu)
第2章 PCI接口固件分析及驗證計劃制定
    2.1 固件分析
        2.1.1 WB Slave Unit
        2.1.2 PCI Target Unit
        2.1.3 配置空間
    2.2 驗證需求分析
        2.2.1 驗證要求
        2.2.2 驗證功能點(diǎn)
    2.3 應(yīng)用試驗
    2.4 驗證計劃
        2.3.1 UVM驗證方法學(xué)概述
        2.3.2 平臺搭建方案
        2.3.3 激勵產(chǎn)生方案
        2.3.4 結(jié)果檢查方案
        2.3.5 覆蓋率收集方案
    2.5 本章小結(jié)
第3章 UVM驗證平臺搭建和運(yùn)行
    3.1 驗證平臺設(shè)計
        3.1.1 驗證平臺結(jié)構(gòu)
        3.1.2 驗證事務(wù)設(shè)計
        3.1.3 驗證組件設(shè)計
    3.2 覆蓋率收集和斷言
    3.3 驗證平臺的文件結(jié)構(gòu)和工作流程
    3.4 本章小結(jié)
第4章 驗證結(jié)果及分析
    4.1 仿真環(huán)境
    4.2 功能驗證過程
    4.3 結(jié)果分析
        4.3.1 覆蓋率結(jié)果分析
        4.3.2 斷言結(jié)果分析
    4.5 本章小節(jié)
結(jié)論
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表的論文及其它成果
致謝


【參考文獻(xiàn)】：
期刊論文
[1]基于OVM的可重用自動化驗證平臺[J]. 楊小麗.  西安航空學(xué)院學(xué)報. 2016(05)
[2]基于WISHBONE總線的雙向PCI高速傳輸接口設(shè)計[J]. 梁燁,簡獻(xiàn)忠,肖兒良,姜冠祥,蔡留美,鄭照平.  電子技術(shù)應(yīng)用. 2016(08)
[3]基于VMM的ALU驗證[J]. 蘇雪,潘明,翟江濤.  現(xiàn)代電子技術(shù). 2015(07)
[4]基于Xilinx FPGA的PCIe總線接口設(shè)計與實(shí)現(xiàn)[J]. 信侃.  無線電通信技術(shù). 2014(04)
[5]采用UVM的數(shù)字抽取濾波器的驗證[J]. 駱麗,程成.  北京交通大學(xué)學(xué)報. 2014(02)
[6]一種基于UVM面向RISCCPU的可重用功能驗證平臺[J]. 謝崢,王騰,雍珊珊,陳旭,蘇吉婷,王新安.  北京大學(xué)學(xué)報(自然科學(xué)版). 2014(02)
[7]基于IP核的PCI接口FPGA設(shè)計實(shí)現(xiàn)[J]. 張麗君.  無線電通信技術(shù). 2013(01)
[8]基于RVM的AVS視頻解碼芯片的驗證[J]. 付芳芳.  科學(xué)技術(shù)與工程. 2012(23)
[9]基于UVM驗證方法學(xué)的AES模塊級驗證[J]. 田勁,王小力.  微電子學(xué)與計算機(jī). 2012(08)
[10]基于eRM建立自動化的驗證平臺[J]. 文良,劉佑寶,吳龍勝.  現(xiàn)代電子技術(shù). 2011(12)

碩士論文
[1]基于UVM的SpaceWire固件功能驗證[D]. 韓健.哈爾濱工業(yè)大學(xué) 2019
[2]基于UVM的FPGA代碼功能驗證技術(shù)研究[D]. 鞠志敏.哈爾濱工業(yè)大學(xué) 2018
[3]基于UVM的MC-SOC中可重用驗證平臺的設(shè)計與實(shí)現(xiàn)[D]. 李世超.電子科技大學(xué) 2018
[4]基于UVM的SoC系統(tǒng)驗證研究[D]. 陳靜.電子科技大學(xué) 2017
[5]PCI總線多功能擴(kuò)展卡IP核的設(shè)計與實(shí)現(xiàn)[D]. 徐繼彬.北京郵電大學(xué) 2017
[6]基于PLB的PCI接口IP核驗證[D]. 田琳.西安電子科技大學(xué) 2016
[7]基于UVM可重用驗證平臺的研究[D]. 張怡琳.西安電子科技大學(xué) 2015
[8]基于PCI Express總線高速數(shù)據(jù)采集系統(tǒng)的設(shè)計[D]. 牛曉軍.重慶大學(xué) 2013
[9]SoC驗證方法研究及I2C通信模塊驗證的實(shí)現(xiàn)[D]. 賽斌.天津大學(xué) 2009



本文編號：3429433