人工智能計(jì)算機(jī)視覺(jué)、自動(dòng)駕駛、安防監(jiān)控和移動(dòng)設(shè)備等領(lǐng)域?qū)z像頭傳感器分辨率的要求日益提高,基于MIPI協(xié)議的CSI-2高清攝像頭被廣泛應(yīng)用于各種嵌入式圖像設(shè)備�；贛IPI CSI-2規(guī)范的設(shè)計(jì)工作對(duì)于圖像處理芯片來(lái)說(shuō)意義重大,與其相關(guān)的驗(yàn)證工作不容忽視。本文結(jié)合作者在某半導(dǎo)體公司實(shí)習(xí)的項(xiàng)目,對(duì)MIPI CSI-2接收端的功能驗(yàn)證進(jìn)行研究,首先確定了待測(cè)設(shè)計(jì)MIPI CSI-2接收端及子模塊的驗(yàn)證目標(biāo),包括激勵(lì)產(chǎn)生方式、結(jié)果比對(duì)策略的確立和功能點(diǎn)的提取。根據(jù)驗(yàn)證計(jì)劃進(jìn)行功能覆蓋率建模和驗(yàn)證方案的設(shè)計(jì),基于UVM方法搭建驗(yàn)證平臺(tái),設(shè)計(jì)驗(yàn)證組件,最終實(shí)現(xiàn)了對(duì)CSI-2接收端控制器、Form和WrDMA等模塊的功能驗(yàn)證。MIPI CSI-2接收端實(shí)現(xiàn)了基于MIPI標(biāo)準(zhǔn)的CSI-2接收接口。該子系統(tǒng)從MIPI CSI-2攝像頭傳感器捕獲圖像,輸出圖像數(shù)據(jù)至圖像處理IP進(jìn)行后續(xù)的圖像處理。為加快驗(yàn)證向量收斂速度并提高驗(yàn)證效率,本文根據(jù)MIPI協(xié)議規(guī)范和待測(cè)設(shè)計(jì)特征,設(shè)計(jì)了受限隨機(jī)激勵(lì),同時(shí)結(jié)合覆蓋率驅(qū)動(dòng)的方法為驗(yàn)證平臺(tái)添加驗(yàn)證向量。為了提高驗(yàn)證平臺(tái)的重用性,基于UVM和灰盒測(cè)試的思想設(shè)計(jì)并實(shí)現(xiàn)了...

【文章來(lái)源】： 西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：145 頁(yè)

【文章目錄】：
摘要
ABSTRACT
符號(hào)對(duì)照表
縮略語(yǔ)對(duì)照表
第一章 緒論
    1.1 研究背景及意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 課題來(lái)源及本文主要內(nèi)容
    1.4 論文結(jié)構(gòu)安排
第二章 MIPI CSI-2、AMBA協(xié)議及驗(yàn)證方法分析
    2.1 MIPI CSI-2 協(xié)議分析
        2.1.1 MIPI CSI-2 協(xié)議層介紹
        2.1.2 PHY層特性
        2.1.3 多通道分配與合并
        2.1.4 低層級(jí)協(xié)議層
        2.1.5 通用數(shù)據(jù)存儲(chǔ)格式
    2.2 AMBA協(xié)議分析
        2.2.1 AHB協(xié)議
        2.2.2 APB協(xié)議
        2.2.3 AXI協(xié)議
    2.3 驗(yàn)證方法及技術(shù)
        2.3.1 驗(yàn)證過(guò)程及方法
        2.3.2 驗(yàn)證向量生成技術(shù)
        2.3.3 仿真階段控制方法
    2.4 本章小結(jié)
第三章 MIPI CSI-2 接收端特征提取及驗(yàn)證計(jì)劃
    3.1 MIPI CSI-2 RX整體設(shè)計(jì)方案
    3.2 重要子模塊設(shè)計(jì)特征提取
        3.2.1 D-PHY模塊
        3.2.2 CSI控制器
        3.2.3 Form模塊
        3.2.4 Wrdma模塊
    3.3 MIPI CSI-2 接收端驗(yàn)證計(jì)劃
        3.3.1 激勵(lì)產(chǎn)生和結(jié)果比對(duì)策略
        3.3.2 功能驗(yàn)證點(diǎn)提取
    3.4 本章小結(jié)
第四章 驗(yàn)證平臺(tái)的設(shè)計(jì)
    4.1 驗(yàn)證環(huán)境搭建
        4.1.1 層次化驗(yàn)證平臺(tái)架構(gòu)設(shè)計(jì)
        4.1.2 驗(yàn)證平臺(tái)工作流程設(shè)計(jì)
    4.2 UVC級(jí)建模
        4.2.1 MIPI UVC設(shè)計(jì)
        4.2.2 AXI UVC設(shè)計(jì)
        4.2.3 Wr DMA UVC設(shè)計(jì)
        4.2.4 Reset UVC設(shè)計(jì)
        4.2.5 AHB UVC設(shè)計(jì)
        4.2.6 APB UVC設(shè)計(jì)
    4.3 驗(yàn)證組件實(shí)現(xiàn)
        4.3.1 受限隨機(jī)激勵(lì)產(chǎn)生
        4.3.2 監(jiān)測(cè)采樣及結(jié)果比較
        4.3.3 交互組件實(shí)現(xiàn)
        4.3.4 環(huán)境及容器組件創(chuàng)建
    4.4 功能覆蓋率建模
    4.5 基于斷言的時(shí)序驗(yàn)證
    4.6 本章小結(jié)
第五章 功能驗(yàn)證及驗(yàn)證平臺(tái)自動(dòng)化探索
    5.1 測(cè)試用例設(shè)計(jì)及功能驗(yàn)證分析
        5.1.1 系統(tǒng)時(shí)鐘和復(fù)位
        5.1.2 CSI控制器功能
        5.1.3 Wr DMA功能
        5.1.4 Form功能
    5.2 結(jié)果報(bào)告分析
        5.2.1 仿真結(jié)果
        5.2.2 回歸測(cè)試結(jié)果
        5.2.3 覆蓋率報(bào)告分析
    5.3 UVM驗(yàn)證環(huán)境自動(dòng)生成
        5.3.1 總線接口模板設(shè)計(jì)
        5.3.2 自動(dòng)化代碼生成
        5.3.3 性能評(píng)估
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 論文研究工作總結(jié)
    6.2 未來(lái)展望
附錄1
附錄2
附錄3
參考文獻(xiàn)
致謝
作者簡(jiǎn)介


【參考文獻(xiàn)】：
期刊論文
[1]淺談漢明碼校驗(yàn)和糾錯(cuò)原理 [J]. 陳子軒.  中國(guó)新通信. 2016(23)
[2]基于UVM實(shí)現(xiàn)時(shí)間同步電路的功能驗(yàn)證 [J]. 王世中,田澤,吳曉成,張榮華,王治,王純委.  計(jì)算機(jī)技術(shù)與發(fā)展. 2013(07)
[3]下一代芯片設(shè)計(jì)與驗(yàn)證語(yǔ)言：SystemVerilog(驗(yàn)證篇) [J]. 鐘文楓.  電子設(shè)計(jì)應(yīng)用. 2008(12)

碩士論文
[1]基于UVM可重用驗(yàn)證平臺(tái)的研究[D]. 張怡琳.西安電子科技大學(xué). 2015
[2]面向無(wú)線傳感器網(wǎng)絡(luò)的UVM驗(yàn)證方法應(yīng)用研究[D]. 趙唯唯.西安電子科技大學(xué). 2014
[3]基于UVM的高效驗(yàn)證平臺(tái)設(shè)計(jì)及可重用性研究[D]. 黃欣.上海交通大學(xué). 2014
[4]基于ARM的LED顯示屏設(shè)計(jì) 及顯示效果的算法研究[D]. 邱云平.西南交通大學(xué). 2012
[5]基于OVM的SoC功能驗(yàn)證系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D]. 柏才明.華中科技大學(xué). 2011



本文編號(hào)：3552864