【摘要】：隨著計算機技術(shù)的發(fā)展,尤其是現(xiàn)場可編程門陣列(FPGA)的出現(xiàn),使動態(tài)可重構(gòu)技術(shù)成為嵌入式領(lǐng)域研究的熱點和重點�；贔PGA的動態(tài)可重構(gòu)系統(tǒng)采用硬件電路實現(xiàn)計算功能,并允許在系統(tǒng)執(zhí)行過程中對FPGA的全部或者部分邏輯資源進行動態(tài)的功能變換。因此,動態(tài)可重構(gòu)系統(tǒng)能夠提供接近專用電路(ASIC)的計算性能和接近軟件的可編程性。 動態(tài)可重構(gòu)系統(tǒng)體系結(jié)構(gòu)的復雜性,以及通過動態(tài)可重構(gòu)計算所實現(xiàn)的系統(tǒng)功能的復雜性為基于該技術(shù)的嵌入式系統(tǒng)的設(shè)計帶來了巨大挑戰(zhàn)。如何在系統(tǒng)的各個設(shè)計階段,針對不同抽象級別的系統(tǒng)設(shè)計驗證系統(tǒng)的正確性,是擺在所有系統(tǒng)設(shè)計者面前的一個亟待解決的問題。 基于這一背景,本文為動態(tài)可重構(gòu)系統(tǒng)的開發(fā)設(shè)計了一套完整的系統(tǒng)驗證環(huán)境。這一環(huán)境主要包括兩個服務(wù)于不同設(shè)計階段的驗證工具/平臺。本文設(shè)計并實現(xiàn)了一個面向高抽象級別系統(tǒng)模型的形式化驗證工具,這一工具通過數(shù)學公式推導、模型檢測等理論和技術(shù),對動態(tài)可重構(gòu)系統(tǒng)中的調(diào)度算法和放置策略等設(shè)計進行驗證,以保證系統(tǒng)在性能、面積、可預測性等方面的需求得到滿足。此外,本文還設(shè)計實現(xiàn)了一個基于uC/OS-Ⅱ?qū)崟r操作系統(tǒng)的原型平臺,該平臺允許在實際操作系統(tǒng)環(huán)境下,對所采用的實時調(diào)度策略、軟硬件通信機制等詳細設(shè)計進行驗證,以保證在實際環(huán)境下策略或機制設(shè)計的正確性。 通過設(shè)計這樣一套完整的動態(tài)可重構(gòu)系統(tǒng)驗證環(huán)境,使得設(shè)計者可以在動態(tài)可重構(gòu)系統(tǒng)開發(fā)的不同時期對系統(tǒng)的正確性進行驗證,從而保證設(shè)計質(zhì)量,提高設(shè)計效率,降低設(shè)計成本,減少基于可重構(gòu)技術(shù)的嵌入式系統(tǒng)的開發(fā)周期和上市時間。
【學位授予單位】：東北大學
【學位級別】：碩士
【學位授予年份】：2010
【分類號】：TP368.1;TN791

【相似文獻】

相關(guān)期刊論文 前10條

1 朱明程;FPGA動態(tài)可重構(gòu)技術(shù)及其應(yīng)用[J];電子產(chǎn)品世界;2000年06期

2 朱明程,溫粵;FPGA動態(tài)可重構(gòu)數(shù)字電路容錯系統(tǒng)的研究[J];東南大學學報(自然科學版);2000年04期

3 溫廣翔 ,徐欣;單芯片動態(tài)可重構(gòu)信號處理器研究與實現(xiàn)[J];電子設(shè)計應(yīng)用;2003年08期

4 朱明程,黃強;FPGA動態(tài)可重構(gòu)邏輯設(shè)計初探[J];半導體技術(shù);2000年04期

5 張毅,汪東升;一種嵌入式處理器的動態(tài)可重構(gòu)Cache設(shè)計[J];計算機工程與應(yīng)用;2004年08期

6 葉建華,陸農(nóng)春,黃凌;基于CPCI總線的動態(tài)可重構(gòu)系統(tǒng)[J];電訊技術(shù);2004年06期

7 虞濤,劉永清,鄭于海;網(wǎng)絡(luò)制造環(huán)境下,多Agent協(xié)同工作的動態(tài)可重構(gòu)ERP系統(tǒng)[J];機電工程;2003年03期

8 李開宇,張煥春,經(jīng)亞枝;基于FPGA動態(tài)可重構(gòu)的高速、高質(zhì)量的圖像放大[J];中國圖象圖形學報;2005年01期

9 劉凱,徐欣,徐暉;基于CPCI的動態(tài)可重構(gòu)數(shù)據(jù)采集系統(tǒng)[J];微處理機;2005年05期

10 閔華松;周黃鶴;陳羽亭;;可重構(gòu)的嵌入式虛擬儀器設(shè)計方法[J];計算機工程;2009年16期

相關(guān)會議論文 前10條

1 肖松;李躍華;張金林;;基于FPGA局部動態(tài)可重構(gòu)的抗SEU容錯系統(tǒng)研究[A];教育部中南地區(qū)高等學校電子電氣基礎(chǔ)課教學研究會第二十屆學術(shù)年會會議論文集（下冊）[C];2010年

2 尚麗娜;高廣春;;動態(tài)重構(gòu)兩種模式的分析與對比[A];第三屆全國虛擬儀器大會論文集[C];2008年

3 吳鈴鈴;周干民;何偉;高明倫;;IP軟核的形式化驗證[A];全國第十五屆計算機科學與技術(shù)應(yīng)用學術(shù)會議論文集[C];2003年

4 苗潔君;王克;;密碼模塊的形式化設(shè)計和驗證研究[A];第二十一次全國計算機安全學術(shù)交流會論文集[C];2006年

5 劉力軻;游定山;楊佳;元國軍;沈華;;集合通信芯片物理設(shè)計階段的驗證方法[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

6 郭建;韓俊剛;;基于PSL的FIFO的驗證[A];第五屆中國測試學術(shù)會議論文集[C];2008年

7 余興超;馬爭先;王玉斌;董榮勝;;基于UPPAAL的簡單網(wǎng)絡(luò)支付協(xié)議形式化驗證[A];廣西計算機學會2010年學術(shù)年會論文集[C];2010年

8 李彩虹;章超;李廉;孫守卿;;分布式同步仲裁器電路的SPIN建模和驗證[A];2005年全國理論計算機科學學術(shù)年會論文集[C];2005年

9 趙江濱;史鐵林;軒建平;胡友民;;機電設(shè)備全壽命即時可重構(gòu)健康管理技術(shù)研究[A];2008年全國振動工程及應(yīng)用學術(shù)會議暨第十一屆全國設(shè)備故障診斷學術(shù)會議論文集[C];2008年

10 何青;駱翔宇;蘇開樂;;對弈必勝策略的符號化模型檢測[A];2006年全國理論計算機科學學術(shù)年會論文集[C];2006年

相關(guān)重要報紙文章 前7條

1 中科院計算所工程中心 沈玉良;動態(tài)可重構(gòu)的虛擬計算環(huán)境[N];中國計算機報;2006年

2 韓曉明;RCSI:企業(yè)計算機新架構(gòu)[N];中國計算機報;2004年

3 本報記者 江波;電子政務(wù)需“研發(fā)”[N];網(wǎng)絡(luò)世界;2002年

4 記者 陳蜜;五項省“十五”科技成果在溫推介 制造業(yè)企業(yè)可免費使用[N];溫州日報;2007年

5 本報記者 李國敏;ERP軟件成功的關(guān)鍵[N];科技日報;2002年

6 如楓;安易全面進軍電子政務(wù)[N];中國計算機報;2002年

7 中國科學技術(shù)大學計算機系系統(tǒng)結(jié)構(gòu) 實驗室　王峰 陳艾;可重構(gòu)計算：高效靈活的計算技術(shù)[N];計算機世界;2005年

相關(guān)博士學位論文 前10條

1 陸雯青;基于多類型運算單元的動態(tài)可重構(gòu)基帶處理架構(gòu)與電路設(shè)計方法研究[D];復旦大學;2011年

2 劉莉;VXI測試平臺中動態(tài)可重構(gòu)多DSP系統(tǒng)設(shè)計方法的研究[D];浙江大學;2003年

3 張登攀;網(wǎng)格環(huán)境下可重構(gòu)測量理論研究[D];華中科技大學;2007年

4 侯慧;基于FPGA的可重配置片上系統(tǒng)[D];復旦大學;2008年

5 任小西;基于可重構(gòu)計算的高可靠星載計算機體系結(jié)構(gòu)研究[D];湖南大學;2007年

6 王宇e，

本文編號：2589010