資源描述：
《soc功能驗證自動化系統(tǒng)的設(shè)計與實現(xiàn)new》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、合肥工業(yè)大學(xué)碩士學(xué)位論文SoC功能驗證自動化系統(tǒng)的設(shè)計與實現(xiàn)姓名：周萌申請學(xué)位級別：碩士專業(yè)：微電子學(xué)與固體電子學(xué)指導(dǎo)教師：劉聲雷20040401SoC功能驗證自動化系統(tǒng)的設(shè)計與實現(xiàn)摘要驗證(Verification)一直是芯片設(shè)計領(lǐng)域中最困難和最具挑戰(zhàn)性的課題之，它是芯片沒計過程中發(fā)現(xiàn)概念上、功能上或是實現(xiàn)上的錯誤的唯一手段。從設(shè)計丌始到設(shè)計綜合、系統(tǒng)軟件、逐步求精和調(diào)試等階段，驗證是貫穿芯片設(shè)計全流程的重要組成部分，而小是只在設(shè)計完成后才考慮的事情。大量的統(tǒng)計表明，驗證工作約占總設(shè)計工作量的50％～80％。近兒年來隨著專用集成電
2、路(ASIC)和系統(tǒng)芯片(SoC)的復(fù)雜度的不斷提高，以及來自面市時間的巨大壓力，芯片驗證，尤其是功能驗證幣日益成為電子產(chǎn)品開發(fā)和設(shè)計的“瓶頸”。同時在SoC設(shè)計中，IP重用設(shè)計方法學(xué)和大量新的設(shè)計技術(shù)的采用，使得產(chǎn)品設(shè)計和產(chǎn)品功能驗證之間出現(xiàn)了牛產(chǎn)率的“剪，J差”，而解決方法就是在功能驗證中引入新的驗證方法學(xué)和基于新的方法學(xué)上的驗證技術(shù)。大量實踐證明，基于事務(wù)的驗證重用方法學(xué)是提高功能驗證效率的最有效的方法之一。本論文在該方法學(xué)基礎(chǔ)上，完成了一個SoC功能驗證自動化系統(tǒng)的設(shè)計與實現(xiàn)，主要工作如下：1．研究了現(xiàn)有的功能驗證工具，提出
3、了一個層次化的驗證系統(tǒng)結(jié)構(gòu)，該結(jié)構(gòu)具有較好的重用性，更容易實現(xiàn)自動化流程；2．在該體系結(jié)構(gòu)下，研究了驗證工具的集成、設(shè)計數(shù)據(jù)的抽象和自動化流程的實現(xiàn)等問題；3．作為對提出的體系結(jié)構(gòu)的實踐，在UNIX平臺下，用Verilog和C實現(xiàn)了該體系，并應(yīng)用7-MCU的功能驗汪中：．4．討論了功能驗證平臺中總線功能模型(BusFunctionModel，BFM)和總線監(jiān)視器(BusMonitor)的設(shè)計方法，給出了叮重用設(shè)計的規(guī)則；本論文建立的SoC功能驗證系統(tǒng)結(jié)構(gòu)，可以應(yīng)用于較大規(guī)模的SoC的系統(tǒng)級、寄存器傳輸級和門級的驗證中，通過本課題研究
4、，為圈內(nèi)SoC功能驗證積累經(jīng)驗，為國家超大集成電路的發(fā)展奠定一個堅實的基礎(chǔ)。關(guān)鍵詞：SoC、功能驗證、測試平臺、事務(wù)驗證模型DesignandImplementationofSoCFunctionalVerificationAutomationSystemAbstractVerificationisprobablythemostdifficultandimportantaspectofSystem—on—Chip(SoC)design．Itistheonlyopportunitytofindconceptual，functional
5、，andimplementationerrorsbeforethedesigniscommittedtosilicon，F(xiàn)orChipdesign，verificationmustbeanintegralpartofthedesignprocessfromthestart，alongwithsynthesis，systemsoftware，bringup，anddebugstrategies．Formanyteams，verificationtakes50％一80％oftheoveralldesigneffort．Intheelec
6、tronicindustrytoday，thecombinationofincreasingcomplexityoftodaysASICandsystemsdesignsandrelentlesstime—to—market(TTM)pressureshasresultedinverification，especiallyfunctionalverification，jumpingtothetopofthelistofbottlenecksinthedesignanddevelopmentofelectronicproductsut
7、ilizingSoC．Atransaction—basedverificationmethodology(TBV)canbethemosteffectivemethodtomakefunctionalverification．BasedontheTBVmethodology．a(chǎn)frameworkforfunctionalverificationautomationsolutionisproposedinthisdissertation．Themainworksareasfollows：1．Bystudyingthetoolsforf
8、unctionverification，alayeredarchitectureisproposedinthisdissertation．Thelayeredarchitecturehasabetterreusability，andc
