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

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

【學位級別】：碩士

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



本文編號：3750497