隨著車用數(shù)據(jù)處理量的飛速增長,車載微控制單元(MCU)逐步發(fā)展為低功耗、高計算能力與高集成化的片上系統(tǒng),車載MCU對計算能力的嚴(yán)苛要求給驗證工作帶來了極大的挑戰(zhàn)。本論文結(jié)合作者在某半導(dǎo)體公司的實習(xí)項目,對車載MCU的子模塊和系統(tǒng)功能進(jìn)行研究,根據(jù)提取的模塊級和系統(tǒng)級功能驗證點(diǎn),制定了模塊級和系統(tǒng)級驗證方案并設(shè)計了功能覆蓋率模型。最終基于UVM驗證方法學(xué)搭建了模塊級和系統(tǒng)級的驗證平臺,完成了對車載MCU各子模塊和系統(tǒng)的功能驗證。車載MCU模塊眾多,功能驗證過程復(fù)雜。為加快覆蓋率收斂速度和提高驗證效率,本文采用自頂向下的設(shè)計原則,首先依據(jù)車載MCU的結(jié)構(gòu)特點(diǎn),設(shè)計了AHB_UVC和APB_UVC模擬AHB和APB總線主機(jī)配置寄存器的行為,設(shè)計了PWT_UVC、MSCAN_UVC、UART_UVC等高層級通用驗證組件產(chǎn)生PWT、MSCAN、UART等模塊的輸入激勵,對各模塊的響應(yīng)行為進(jìn)行收集并對各模塊的功能正確性進(jìn)行判斷。然后對各UVC結(jié)構(gòu)進(jìn)行細(xì)致劃分,將UVC劃分為激勵產(chǎn)生單元、交互單元、比...

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

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

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景與意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 課題來源及本文主要內(nèi)容
    1.4 論文結(jié)構(gòu)安排
第二章 功能驗證方法
    2.1 功能驗證方法
        2.1.1 IP級功能驗證方法
        2.1.2 SoC級功能驗證方法
        2.1.3 UVM 驗證平臺結(jié)構(gòu)
        2.1.4 斷言在芯片驗證中的應(yīng)用
    2.2 UVM驗證方法學(xué)
        2.2.1 事務(wù)級傳輸模型與phase機(jī)制
        2.2.2 工廠模式與sequence機(jī)制
    2.3 本章小結(jié)
第三章 車載MCU功能驗證點(diǎn)提取與驗證計劃
    3.1 車載MCU功能驗證點(diǎn)提取
        3.1.1 片內(nèi)總線數(shù)據(jù)傳輸特征提取
        3.1.2 子模塊功能驗證點(diǎn)提取
        3.1.3 系統(tǒng)級功能驗證點(diǎn)提取
    3.2 車載MCU驗證計劃
        3.2.1 驗證目標(biāo)
        3.2.2 驗證平臺規(guī)劃
        3.2.3 功能覆蓋組
    3.3 本章小結(jié)
第四章 車載MCU驗證平臺設(shè)計
    4.1 驗證平臺總體架構(gòu)
        4.1.1 IP級驗證平臺架構(gòu)設(shè)計
        4.1.2 SoC級驗證平臺架構(gòu)設(shè)計
    4.2 UVC級建模
        4.2.1 BUS UVC設(shè)計
        4.2.2 IP UVC設(shè)計
    4.3 UVC基本單元設(shè)計
        4.3.1 激勵產(chǎn)生單元設(shè)計
        4.3.2 交互單元設(shè)計
        4.3.3 比較單元設(shè)計
        4.3.4 環(huán)境類組件設(shè)計
        4.3.5 虛擬時序設(shè)計
    4.4 斷言設(shè)計及覆蓋組建模
        4.4.1 斷言設(shè)計
        4.4.2 覆蓋組建模
    4.5 驗證平臺完備性的優(yōu)化
        4.5.1 可變時鐘模擬
        4.5.2 灰盒驗證
        4.5.3 回調(diào)實現(xiàn)
    4.6 驗證平臺復(fù)用性分析
    4.7 本章小結(jié)
第五章 車載MCU驗證實施及結(jié)果分析
    5.1 仿真環(huán)境搭建
    5.2 功能驗證及結(jié)果分析
        5.2.1 APB外設(shè)模塊驗證
        5.2.2 時鐘和復(fù)位功能驗證
        5.2.3 數(shù)據(jù)通路驗證
        5.2.4 內(nèi)存控制器驗證
        5.2.5 IP交互功能驗證
        5.2.6 DMA功能驗證
        5.2.7 中斷響應(yīng)檢查
        5.2.8 回歸驗證結(jié)果
    5.3 覆蓋率分析
        5.3.1 代碼覆蓋率
        5.3.2 功能覆蓋率
        5.3.3 斷言覆蓋率
    5.4 驗證平臺性能分析
    5.5 本章小結(jié)
第六章 總結(jié)與展望
    6.1 全文總結(jié)
    6.2 未來與展望
參考文獻(xiàn)
致謝
作者簡介



本文編號：3750497