發(fā)布時(shí)間：2017-04-10 22:16

  本文關(guān)鍵詞：手機(jī)基帶處理器系統(tǒng)控制單元的設(shè)計(jì)與驗(yàn)證，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著SOC復(fù)雜度和集成度的不斷增加,IP復(fù)用技術(shù)已經(jīng)成為IC設(shè)計(jì)領(lǐng)域的主流。完善的復(fù)位管理機(jī)制是芯片正常工作的保證,而高效的復(fù)位機(jī)制由系統(tǒng)控制單元(System Control Unit,SCU)來(lái)保障,因此設(shè)計(jì)一個(gè)優(yōu)質(zhì)的SCU對(duì)芯片而言至關(guān)重要。目前SOC驗(yàn)證已經(jīng)成為阻礙IC發(fā)展的主要因素,還沒(méi)有一種單一的驗(yàn)證技術(shù)能對(duì)一個(gè)IC設(shè)計(jì)進(jìn)行徹底的驗(yàn)證。為了保證驗(yàn)證質(zhì)量,高效率地開(kāi)展驗(yàn)證工作,通常采用多種驗(yàn)證方法相結(jié)合的手段來(lái)完成整個(gè)系統(tǒng)的驗(yàn)證工作,本文將采用動(dòng)態(tài)仿真和基于斷言的形式驗(yàn)證這兩種方法對(duì)SCU進(jìn)行RTL級(jí)功能驗(yàn)證。本文設(shè)計(jì)的SCU包括:復(fù)位模塊、E-fuse模塊、啟動(dòng)模塊、看門(mén)狗模塊和中斷模塊。復(fù)位模塊管理180+個(gè)復(fù)位信號(hào)的產(chǎn)生邏輯;E-fuse模塊為芯片定制永久參數(shù);啟動(dòng)模塊完成系統(tǒng)的初始化配置;看門(mén)狗模塊監(jiān)控SOC的運(yùn)作,防止其因?yàn)殄e(cuò)誤的程序而跑飛;中斷模塊通過(guò)管理部分中斷信號(hào)的檢測(cè)和處理邏輯,協(xié)助CPU處理中斷。通過(guò)各模塊的協(xié)同作用,SCU實(shí)現(xiàn)了整個(gè)芯片的復(fù)位管理。完成SCU功能特性設(shè)計(jì)后,通過(guò)劃分驗(yàn)證類型,制定驗(yàn)證規(guī)范對(duì)SCU各個(gè)模塊進(jìn)行了功能驗(yàn)證。在模塊級(jí)驗(yàn)證中結(jié)合動(dòng)態(tài)仿真和基于斷言的形式驗(yàn)證這兩種方法對(duì)各模塊進(jìn)行交叉驗(yàn)證。在動(dòng)態(tài)仿真中,建立測(cè)試平臺(tái),分析測(cè)試平臺(tái)的架構(gòu)和工作機(jī)制,編寫(xiě)測(cè)試實(shí)例進(jìn)行驗(yàn)證;利用形式驗(yàn)證不依賴測(cè)試平臺(tái)、對(duì)組合邏輯驗(yàn)證效率高、窮舉等優(yōu)勢(shì)對(duì)復(fù)位狀態(tài)機(jī)(RST_FSM)、啟動(dòng)模塊和看門(mén)狗計(jì)數(shù)器的讀/寫(xiě)進(jìn)行了完備的功能驗(yàn)證,其中通過(guò)108個(gè)斷言即可將RST_FSM驗(yàn)證完整,還可以自動(dòng)收集100%的功能覆蓋率,利用Jasper工具批量處理的特點(diǎn)只需1分鐘就可以保證RST_FSM的正確。RST_FSM功能特性的完備性高效地保障了整個(gè)系統(tǒng)運(yùn)行環(huán)境的正確,有助于提高整個(gè)系統(tǒng)的驗(yàn)證效率、縮短驗(yàn)證時(shí)間。在系統(tǒng)級(jí)驗(yàn)證中,通過(guò)動(dòng)態(tài)仿真技術(shù)對(duì)E-fuse模塊和中斷模塊進(jìn)行了充分的功能驗(yàn)證,保證其在整個(gè)芯片上的功能特性也可以正常實(shí)現(xiàn)。功能覆蓋率分析結(jié)果(99.7%的語(yǔ)句覆蓋率和99.6%的分支覆蓋率)表明本文的SCU設(shè)計(jì)正確,驗(yàn)證完備。
【關(guān)鍵詞】：SOC復(fù)位機(jī)制 系統(tǒng)控制單元 設(shè)計(jì) 功能驗(yàn)證
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP332
【目錄】：

• 摘要5-6
• ABSTRACT6-11
• 縮略語(yǔ)對(duì)照表11-15
• 第一章 緒論15-23
• 1.1 SOC的研究背景和意義15-19
• 1.1.1 SOC的復(fù)位管理機(jī)制16-18
• 1.1.2 SOC設(shè)計(jì)和驗(yàn)證的研究背景18-19
• 1.2 SOC功能驗(yàn)證的發(fā)展現(xiàn)狀及前景19-20
• 1.2.1 功能驗(yàn)證的發(fā)展現(xiàn)狀19-20
• 1.2.2 功能驗(yàn)證的發(fā)展前景20
• 1.3 章節(jié)介紹20-23
• 第二章 系統(tǒng)控制單元的設(shè)計(jì)23-39
• 2.1 系統(tǒng)控制單元的設(shè)計(jì)思想23-24
• 2.2 復(fù)位模塊24-29
• 2.2.1 復(fù)位類型24-25
• 2.2.2 復(fù)位方式25-28
• 2.2.3 復(fù)位管理28-29
• 2.3 E-fuse模塊29-32
• 2.3.1 E-fuse的工作原理29-31
• 2.3.2 E-fuse類型31-32
• 2.4 啟動(dòng)模塊32-34
• 2.4.1 啟動(dòng)模塊的工作原理32-33
• 2.4.2 啟動(dòng)類型33-34
• 2.5 看門(mén)狗模塊34-35
• 2.5.1 看門(mén)狗的工作原理34
• 2.5.2 看門(mén)狗計(jì)數(shù)器34-35
• 2.6 中斷模塊35-37
• 2.6.1 中斷的工作原理35-36
• 2.6.2 SCU的中斷處理36-37
• 2.7 本章小結(jié)37-39
• 第三章 系統(tǒng)控制單元的驗(yàn)證39-63
• 3.1 功能驗(yàn)證的原理39-41
• 3.2 系統(tǒng)控制單元的驗(yàn)證類型41
• 3.2.1 模塊級(jí)驗(yàn)證41
• 3.2.2 系統(tǒng)級(jí)驗(yàn)證41
• 3.3 系統(tǒng)控制單元的驗(yàn)證規(guī)范和目標(biāo)41-42
• 3.3.1 系統(tǒng)控制單元的驗(yàn)證規(guī)范41-42
• 3.3.2 系統(tǒng)控制單元的驗(yàn)證目標(biāo)42
• 3.4 基于動(dòng)態(tài)仿真的功能驗(yàn)證42-47
• 3.4.1 仿真的驗(yàn)證策略43-44
• 3.4.2 測(cè)試平臺(tái)的架構(gòu)44-45
• 3.4.3 測(cè)試實(shí)例的工作機(jī)制45-47
• 3.5 基于斷言的形式驗(yàn)證47-62
• 3.5.1 模塊級(jí)驗(yàn)證的重要意義47-48
• 3.5.2 基于斷言的形式驗(yàn)證的工作原理48-50
• 3.5.3 基于斷言的形式驗(yàn)證的設(shè)計(jì)思想50-51
• 3.5.4 基于斷言的形式驗(yàn)證的實(shí)現(xiàn)51-62
• 3.6 本章小結(jié)62-63
• 第四章 系統(tǒng)控制單元的驗(yàn)證結(jié)果63-77
• 4.1 復(fù)位模塊的驗(yàn)證結(jié)果65-66
• 4.2 E-fuse模塊的驗(yàn)證結(jié)果66-68
• 4.3 啟動(dòng)模塊的驗(yàn)證結(jié)果68-69
• 4.4 看門(mén)狗模塊的驗(yàn)證結(jié)果69-73
• 4.5 中斷模塊的驗(yàn)證結(jié)果73-74
• 4.6 覆蓋率結(jié)果及分析74-75
• 4.7 本章小結(jié)75-77
• 第五章 總結(jié)與展望77-79
• 參考文獻(xiàn)79-81
• 致謝81-83
• 作者簡(jiǎn)介83-84

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 羅浩;;SoC技術(shù)簡(jiǎn)述[J];湖北水利水電職業(yè)技術(shù)學(xué)院學(xué)報(bào);2006年01期

  本文關(guān)鍵詞：手機(jī)基帶處理器系統(tǒng)控制單元的設(shè)計(jì)與驗(yàn)證，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：297647