【摘要】：隨著集成電路工藝持續(xù)高速發(fā)展,片上處理器核數(shù)目呈現(xiàn)指數(shù)增長規(guī)律,設計復雜程度不斷增長,對處理器驗證提出了嚴峻的挑戰(zhàn),至今仍缺乏有效的工具手段。提出了一種多核處理器事務級模型的多視圖協(xié)同驗證方法,將模擬驗證、形式驗證、應用驗證三種不同驗證視圖,采用統(tǒng)一平臺集成為一體化驗證環(huán)境。從而可在一體化驗證環(huán)境中,充分發(fā)揮多種驗證方法綜合應用的優(yōu)勢,協(xié)同高效完成多核處理器事務級模型驗證任務�；赟oCLib事務級建模仿真平臺實現(xiàn)了一個具有良好可擴展性的多視圖協(xié)同驗證環(huán)境MVIE。初步應用實驗結(jié)果表明,多視圖協(xié)同驗證和傳統(tǒng)單一視圖驗證方法相比,在模型驗證的方便性、完備性、高效性以及模型數(shù)據(jù)一致性維護等方面,具有明顯的優(yōu)勢。
[Abstract]:With the continuous rapid development of integrated circuit (IC) technology, the number of on-chip processor cores is increasing exponentially, and the design complexity is increasing, which poses a severe challenge to processor verification, and still lacks effective tools. In this paper, a multi-view co-verification method for multi-core processor transaction level model is proposed. Three different verification views, simulation verification, formal verification and application verification, are integrated into an integrated verification environment using a unified platform. Therefore, in the integrated verification environment, we can give full play to the advantages of the integrated application of multiple verification methods, and accomplish the task of multi-core processor transaction level model verification in cooperation and efficiency. Based on SoCLib transaction level modeling and simulation platform, a multi-view collaborative verification environment MVIE. with good scalability is implemented. The experimental results show that compared with the traditional single view verification method, multi-view collaborative verification has obvious advantages in the aspects of convenience, completeness, efficiency and consistency maintenance of model data.
【作者單位】： 國防科學技術大學高性能計算國家重點實驗室;
【基金】：國家自然科學基金資助項目(61133007)
【分類號】：TP332

【參考文獻】

相關期刊論文 前1條

1 方亮;戎蒙恬;劉文江;毛軍發(fā);;基于SCV的事務級驗證建模[J];計算機工程;2007年15期

【共引文獻】

相關碩士學位論文 前2條

1 華陽;基于VLX++庫的事務級驗證方法研究[D];大連海事大學;2008年

2 王勝;基于SystemC的時態(tài)邏輯屬性驗證方法研究[D];北京化工大學;2009年

【相似文獻】

相關期刊論文 前10條

1 喬保軍;石峰;計衛(wèi)星;;多核處理器核間互連的新型互連網(wǎng)絡[J];北京理工大學學報;2007年06期

2 喻之斌;金海;;多核處理器體系結(jié)構(gòu)軟件仿真技術：研究綜述[J];計算機科學;2007年10期

3 葉群輝;江衍煊;;數(shù)據(jù)流語言簡化并行編程[J];電腦與信息技術;2011年02期

4 司炯;李東生;;基于遺傳算法的多處理器系統(tǒng)任務調(diào)度[J];微型機與應用;2011年10期

5 章承科;;多核處理器構(gòu)架的高速JPEG解碼算法[J];單片機與嵌入式系統(tǒng)應用;2006年01期

6 鄒峰;祝永新;;一種軟件事務存儲模型的設計和模擬[J];信息技術;2008年09期

7 姚信安;胡世平;宋飛;;多核處理器電壓調(diào)節(jié)模塊的研究與實現(xiàn)[J];計算機工程與科學;2009年S1期

8 黃志鋼;陶旭東;潘振杰;;一種異構(gòu)多核處理器體系結(jié)構(gòu)的軟件仿真[J];沈陽理工大學學報;2010年06期

9 游佐勇;羅省賢;;多核計算環(huán)境下快速排序并行算法的實現(xiàn)[J];電腦與電信;2011年01期

10 王佐;石峰;;基三網(wǎng)絡中一種最短路徑路由算法[J];北京理工大學學報;2009年05期

相關會議論文 前8條

1 郭建軍;戴葵;王志英;;一種多核處理器存儲層次性能評估模型[A];第八屆全國信息隱藏與多媒體安全學術大會湖南省計算機學會第十一屆學術年會論文集[C];2009年

2 蔣漢平;李臘元;;基于多核處理器的NAT-PT的軟件架構(gòu)的研究[A];中國通信學會第五屆學術年會論文集[C];2008年

3 潘送軍;胡瑜;李曉維;;多核處理器瞬態(tài)故障敏感性分析[A];第五屆中國測試學術會議論文集[C];2008年

4 張煒;馮權友;曾超;竇文華;;一種基于光互連技術的存儲墻問題解決方案[A];中國電子學會第十六屆信息論學術年會論文集[C];2009年

5 盧宇彤;楊學軍;所光;;一種面向多核系統(tǒng)的并行計算任務分配方法[A];第八屆全國信息隱藏與多媒體安全學術大會湖南省計算機學會第十一屆學術年會論文集[C];2009年

6 計衛(wèi)星;王永輝;宋紅;;一種面向M5的圖形化并行模擬技術研究[A];2010年全國開放式分布與并行計算機學術會議論文集[C];2010年

7 所光;楊學軍;;雙核處理器性能最優(yōu)的共享Cache劃分[A];2008年全國開放式分布與并行計算機學術會議論文集(上冊)[C];2008年

8 桂亞東;;高效能計算機技術展望[A];慶祝中國力學學會成立50周年暨中國力學學會學術大會’2007論文摘要集（下）[C];2007年

相關博士學位論文 前8條

1 李暉;高性能計算機若干關鍵問題研究[D];中國科學技術大學;2009年

2 楊曉奇;事務存儲編程和KD-50-I萬億次機軟件庫優(yōu)化的若干問題研究[D];中國科學技術大學;2008年

3 郭建軍;同步數(shù)據(jù)觸發(fā)體系結(jié)構(gòu)多核處理器存儲系統(tǒng)關鍵技術研究[D];國防科學技術大學;2008年

4 謝鋮;多內(nèi)核構(gòu)件化嵌入式操作系統(tǒng)的研究[D];浙江大學;2006年

5 陳娟;低功耗軟件優(yōu)化技術研究[D];國防科學技術大學;2007年

6 賴明澈;同步數(shù)據(jù)觸發(fā)多核處理器體系結(jié)構(gòu)關鍵技術研究[D];國防科學技術大學;2008年

7 孫小涓;海量網(wǎng)絡流實時處理的優(yōu)化技術研究[D];中國科學院研究生院（計算技術研究所）;2008年

8 扈嘯;嵌入式多核處理器在線追蹤調(diào)試與錯誤檢測關鍵技術研究[D];國防科學技術大學;2007年

相關碩士學位論文 前10條

1 張蔭芾;基于多核處理器架構(gòu)的嵌入式微內(nèi)核操作系統(tǒng)的研究與設計[D];上海交通大學;2009年

2 陳龔;基于SOPC技術的多核處理器的設計與實現(xiàn)[D];華東師范大學;2010年

3 宋志軍;基于多核（多處理單元）的防火墻架構(gòu)研究與關鍵技術實現(xiàn)[D];電子科技大學;2009年

4 黃冕;X處理器存儲一致性模型的研究與實現(xiàn)[D];國防科學技術大學;2008年

5 倪俊杰;基于SimpleScalar的性能和功耗分析多核模擬器[D];上海交通大學;2008年

6 何進仙;基于多核系統(tǒng)的內(nèi)存管理研究[D];電子科技大學;2009年

7 潘東;多核環(huán)境任務分配問題復雜性及求解模型研究[D];大連理工大學;2009年

8 鄒峰;多核處理器的事務存儲模型的模擬和編譯實現(xiàn)[D];上海交通大學;2008年

9 曹婷婷;基于多核處理器串行程序并行化改造和性能優(yōu)化[D];西南交通大學;2009年

10 王興杰;并行嵌入式操作系統(tǒng)中斷管理的研究及應用[D];西南交通大學;2008年

，

本文編號：2367693