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

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

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

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 課題背景及研究的目的和意義
    1.2 國內外研究現(xiàn)狀及分析
        1.2.1 PCI總線技術
        1.2.2 驗證方法學
    1.3 主要研究內容
    1.4 本文結構
第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 驗證功能點
    2.3 應用試驗
    2.4 驗證計劃
        2.3.1 UVM驗證方法學概述
        2.3.2 平臺搭建方案
        2.3.3 激勵產生方案
        2.3.4 結果檢查方案
        2.3.5 覆蓋率收集方案
    2.5 本章小結
第3章 UVM驗證平臺搭建和運行
    3.1 驗證平臺設計
        3.1.1 驗證平臺結構
        3.1.2 驗證事務設計
        3.1.3 驗證組件設計
    3.2 覆蓋率收集和斷言
    3.3 驗證平臺的文件結構和工作流程
    3.4 本章小結
第4章 驗證結果及分析
    4.1 仿真環(huán)境
    4.2 功能驗證過程
    4.3 結果分析
        4.3.1 覆蓋率結果分析
        4.3.2 斷言結果分析
    4.5 本章小節(jié)
結論
參考文獻
攻讀碩士學位期間發(fā)表的論文及其它成果
致謝


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

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



本文編號：3429433