本文關(guān)鍵詞：基于多模擬器協(xié)同模擬的微處理器驗(yàn)證技術(shù)研究

  更多相關(guān)文章： 微處理器驗(yàn)證 協(xié)同模擬 GEM5模擬器 RTL模型 System Verilog DPI

【摘要】：隨著通用高性能微處理器進(jìn)入多核時(shí)代,處理器芯片的設(shè)計(jì)規(guī)模大大增加,隨之而來(lái)的是功能驗(yàn)證復(fù)雜度的急劇提升,開(kāi)發(fā)一種可以快速定位設(shè)計(jì)錯(cuò)誤的驗(yàn)證平臺(tái),對(duì)縮短處理器的上市時(shí)間具有至關(guān)重要的作用。本文設(shè)計(jì)并實(shí)現(xiàn)了一種基于Verilog模擬器與C模擬器協(xié)同模擬的微處理器驗(yàn)證平臺(tái)BugFinder。該平臺(tái)利用GEM5模擬器實(shí)現(xiàn)了待驗(yàn)證微處理器的參考模型,并通過(guò)SystemVerilog DPI接口將待驗(yàn)證微處理器的RTL模型與GEM5參考模型相連。通過(guò)在RTL和GEM5上運(yùn)行相同的測(cè)試程序,并比較每條指令的執(zhí)行結(jié)果,當(dāng)RTL設(shè)計(jì)錯(cuò)誤被觸發(fā)時(shí),可以快速準(zhǔn)確的定位到出錯(cuò)現(xiàn)場(chǎng)。本文的主要工作如下:1.提出了一種RTL和C模型協(xié)同模擬驗(yàn)證的框架。分析了協(xié)同模擬的基本理論、總體架構(gòu)、同步需求、通信方法等。2.在所提出的框架基礎(chǔ)上,設(shè)計(jì)了一個(gè)微處理器協(xié)同模擬驗(yàn)證的原型系統(tǒng)。該系統(tǒng)包含GEM5參考模型、RTL信息提取模塊、控制模塊等。重點(diǎn)介紹了RTL信息提取、通信機(jī)制、同步方法等。3.通過(guò)處理器實(shí)際驗(yàn)證過(guò)程和RTL錯(cuò)誤注入兩種方法測(cè)試了BugFinder平臺(tái)的有效性。結(jié)果顯示BugFinder平臺(tái)可以快速定位到錯(cuò)誤現(xiàn)場(chǎng),有效縮短了錯(cuò)誤調(diào)試的時(shí)間。
【學(xué)位授予單位】：國(guó)防科學(xué)技術(shù)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類(lèi)號(hào)】：TP332

【相似文獻(xiàn)】

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

1 屈玉峰;郭亮;馮根寶;;搭建基于E語(yǔ)言參考模型的驗(yàn)證平臺(tái)[J];中國(guó)集成電路;2005年09期

2 詹文法,馬俊,張溯,許修兵;一種可重用的驗(yàn)證平臺(tái)結(jié)構(gòu)[J];微機(jī)發(fā)展;2005年03期

3 詹文法;李麗;程作仁;張溯;;一種基于總線的可重用驗(yàn)證平臺(tái)研究[J];電子技術(shù)應(yīng)用;2006年05期

4 期彤;;新思科技設(shè)計(jì)系統(tǒng)、驗(yàn)證平臺(tái)雙線出擊[J];電子設(shè)計(jì)應(yīng)用;2009年05期

5 張健;黃蓓;王玉艷;;交換控制電路功能驗(yàn)證平臺(tái)設(shè)計(jì)[J];計(jì)算機(jī)工程;2006年16期

6 萬(wàn)超;申敏;張亞楠;;通道在層次化驗(yàn)證平臺(tái)中的應(yīng)用[J];電子測(cè)試;2007年05期

7 袁艷;申敏;;覆蓋率技術(shù)的提高在RVM層次化驗(yàn)證方法中的應(yīng)用[J];電子測(cè)試;2008年01期

8 宋秀蘭;吳曉波;;高性能驗(yàn)證平臺(tái)設(shè)計(jì)與搭建[J];電子器件;2008年06期

9 劉芳;謝崢;連志斌;王新安;;一種可重構(gòu)的通用總線接口驗(yàn)證平臺(tái)的研究及實(shí)現(xiàn)[J];電子器件;2011年03期

10 王紅衛(wèi);占楊林;梁利平;;以覆蓋率為導(dǎo)向的自動(dòng)化驗(yàn)證平臺(tái)[J];電子測(cè)試;2013年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前6條

1 王立勝;王秉臣;朱波;朱智超;賴(lài)安學(xué);;基于大型飛行器的信息系統(tǒng)仿真驗(yàn)證平臺(tái)設(shè)計(jì)[A];中國(guó)宇航學(xué)會(huì)深空探測(cè)技術(shù)專(zhuān)業(yè)委員會(huì)第十屆學(xué)術(shù)年會(huì)論文集[C];2013年

2 華靜;;虛擬化技術(shù)構(gòu)建金融云業(yè)務(wù)驗(yàn)證平臺(tái)[A];2013年中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)年會(huì)論文集[C];2013年

3 徐文進(jìn);田澤;;基于AFDX-ES SOC驗(yàn)證平臺(tái)的向量中斷控制器驗(yàn)證研究[A];第十六屆計(jì)算機(jī)工程與工藝年會(huì)暨第二屆微處理器技術(shù)論壇論文集[C];2012年

4 淮治華;田澤;趙強(qiáng);韓煒;;基于DSP的SoC FPGA原型驗(yàn)證平臺(tái)的構(gòu)建與應(yīng)用[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

5 陳小龍;荊濤;;如何在FPGA或ASIC設(shè)計(jì)中用TCL為HDL模型搭建自動(dòng)驗(yàn)證平臺(tái)[A];全國(guó)第一屆嵌入式技術(shù)聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2006年

6 iJ淑媚;灻斐章;周佩廷;R壭憔，

本文編號(hào)：1204748