發(fā)布時間：2018-06-08 06:00

  本文選題：功能驗證 + 遺傳算法�。� 參考：《浙江大學》2017年博士論文

【摘要】：隨著嵌入式領域應用需求的不斷提高,多核處理器的體系結構變得愈加復雜,設計規(guī)模越來越龐大。功能驗證已經(jīng)成為多核處理器設計過程的制約瓶頸,高效的功能驗證方法可以有效地縮短多核處理器的驗證時間和面市時間。本文的研究工作針對多核處理器的功能驗證,從基于仿真的驗證方法出發(fā),對其相關的領域進行了研究和探索,提出多種技術以提高多核處理器的功能驗證效率,并成功應用于兩款多核處理器的功能驗證。本文的研究工作主要分成以下三個方面逐步展開:(一)基于遺傳算法的覆蓋率驅動測試產(chǎn)生器研究在多核處理器的功能驗證過程中,驗證人員利用覆蓋率識別沒有驗證的功能,評估驗證工作的進度。為了更好地建立覆蓋率與測試產(chǎn)生器之間的聯(lián)系,驅動測試產(chǎn)生器生成高質量的測試,本文提出一種基于遺傳算法的覆蓋率驅動測試產(chǎn)生器。利用改進的自適應遺傳算法建立覆蓋率與測試產(chǎn)生器之間的聯(lián)系,根據(jù)覆蓋率分析結果自動改變測試產(chǎn)生器的約束和限制,驅動測試產(chǎn)生器生成全新的測試。這些測試比原有的測試質量更高,可以覆蓋到原有的測試無法覆蓋的功能點。實驗結果表明,和隨機測試產(chǎn)生器相比,本文提出的測試產(chǎn)生器可以得到較高的覆蓋率,同時節(jié)約大約70%的驗證時間,顯著提高了多核處理器的功能驗證效率。(二)基于k均值算法的測試排序技術對于基于仿真的多核處理器功能驗證,利用測試產(chǎn)生器在短時間內(nèi)產(chǎn)生成百上千的測試是很有必要的,然而仿真大量的測試會耗費很長的時間,造成驗證效率低下,在驗證初期篩選出質量較高的測試可以極大程度提高驗證效率。為此,本文提出一種基于k均值算法的測試排序技術,根據(jù)測試的預估覆蓋率對測試進行重新排序,篩選出可以在較短時間內(nèi)得到較高覆蓋率的高質量測試,從而提高多核處理器的功能驗證效率。并在此基礎上提出三種改進k均值算法,進一步提高測試排序的效率和準確度。實驗結果表明,本文提出的改進k均值算法比標準的k均值算法具有更高的準確度和效率。相對于隨機仿真測試,本文提出的方法可以在節(jié)約90%仿真時間的情況下,得到相當?shù)母采w率。(三)對稱多核處理器參考模型研究基于仿真的多核處理器功能驗證效率很大程度決定于參考模型的仿真速度和準確度。本文提出一個高效的對稱多核處理器參考模型,建立一個功能精準級模型作為CPU流水線的參考模型,在保證準確度的同時,顯著縮短建立時間,提高仿真速度;利用一個時序精準級模型驗證對稱多核處理器的高速緩存一致性;并利用一個依賴時序序列作為以上兩個模型之間的接口。實驗結果表明,本文提出的參考模型擁有較低的建立難度,并且可以很好地兼顧仿真速度和準確度,能夠幫助驗證人員快速發(fā)現(xiàn)和定位對稱多核處理器的功能錯誤,提高功能驗證效率。
[Abstract]:With the increasing requirement of embedded applications, the architecture of multi-core processors becomes more and more complex and the design scale becomes larger and larger. Functional verification has become a bottleneck in the design process of multi-core processors. Efficient functional verification methods can effectively shorten the verification time and market time of multi-core processors. In this paper, the functional verification of multi-core processors is studied. Based on the simulation verification method, the related fields are studied and explored, and a variety of technologies are proposed to improve the efficiency of multi-core processors function verification. It has been successfully applied to the functional verification of two multi-core processors. The research work in this paper is divided into the following three aspects: (1) A coverage driven test generator based on genetic algorithm is developed step by step. In the process of functional verification of multi-core processors, validators use coverage to identify functions that are not verified. Evaluate the progress of validation work. In order to establish better relation between coverage and test generator and drive test generator to generate high quality test, this paper proposes a coverage driven test generator based on genetic algorithm. An improved adaptive genetic algorithm is used to establish the relation between the test generator and the test generator. According to the results of the coverage analysis, the constraints and limitations of the test generator are changed automatically, and the test generator is driven to generate a new test. These tests are of better quality than the original tests and can cover functional points that the original tests could not. The experimental results show that compared with the random test generator, the proposed test generator can obtain higher coverage, save about 70% of the verification time, and improve the efficiency of functional verification of the multi-core processor. (2) the test sequencing technology based on k-means algorithm is necessary for the functional verification of emulation based multi-core processors, and the use of test generators to generate hundreds of tests in a short time. However, simulation of a large number of tests will take a long time, resulting in low efficiency of verification, screening out high quality tests in the early stage of verification can greatly improve the efficiency of verification. For this reason, this paper proposes a test sorting technique based on k-means algorithm, which reorder the test according to the estimated coverage of the test, and select the high quality test which can get higher coverage in a short time. In order to improve the efficiency of functional verification of multi-core processors. On this basis, three improved k-means algorithms are proposed to further improve the efficiency and accuracy of test sorting. The experimental results show that the improved k-means algorithm is more accurate and efficient than the standard k-means algorithm. Compared with the random simulation test, the method proposed in this paper can save 90% of the simulation time and get considerable coverage. (3) Research on the reference Model of symmetric Multicore processor; the efficiency of multi-core processor function verification based on simulation depends largely on the simulation speed and accuracy of the reference model. In this paper, an efficient reference model of symmetric multi-core processor is proposed, and a functional precision level model is established as the reference model of CPU pipeline. It can shorten the time of establishment and improve the speed of simulation while ensuring accuracy. A timing precision level model is used to verify the cache consistency of a symmetric multicore processor, and a dependent sequence is used as the interface between the two models. The experimental results show that the reference model presented in this paper has lower difficulty in setting up, and it can well balance the simulation speed and accuracy, and can help the verifier to quickly detect and locate the functional errors of the symmetric multicore processor. Improve the efficiency of functional verification.
【學位授予單位】：浙江大學
【學位級別】：博士
【學位授予年份】：2017
【分類號】：TP332

【相似文獻】

相關期刊論文 前10條

1 許珊琳;;多核處理器——計算領域的又一次革命[J];中國集成電路;2006年05期

2 張洋;;虞志益:引領多核處理器創(chuàng)新之路[J];中國發(fā)明與專利;2013年01期

3 羽路;;多核處理器悄然崛起[J];集成電路應用;2005年05期

4 ;多核處理器強調(diào)多任務并行處理[J];每周電腦報;2006年35期

5 馮磊;;多核處理器的數(shù)量裸奔[J];信息系統(tǒng)工程;2006年11期

6 張浩;蘭峰;;多核處理器基本原理及其在汽車領域中應用的展望[J];汽車科技;2007年03期

7 何軍;王飆;;多核處理器的結構設計研究[J];計算機工程;2007年16期

8 肖紅;;基于多核處理器系統(tǒng)開發(fā)中的幾個問題[J];廣東廣播電視大學學報;2007年04期

9 張健浪;;三大于二,多核CPU之田忌賽馬[J];新電腦;2008年06期

10 都思丹;;前言:嵌入式多核處理器系統(tǒng)及視頻信號處理技術研究進展[J];南京大學學報(自然科學版);2009年01期

相關會議論文 前10條

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

2 彭林;張小強;劉德峰;謝倫國;田祖?zhèn)?;一種挖掘多核處理器存儲級并行的算法[A];第15屆全國信息存儲技術學術會議論文集[C];2008年

3 劉杰;馬彥;葉維;高劍剛;;多核處理器存儲體系分析[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

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

5 萬志濤;章恒;張若淵;;基于多核處理器的深度包檢測的實現(xiàn)和性能評估[A];中國通信學會信息通信網(wǎng)絡技術委員會2009年年會論文集（上冊）[C];2009年

6 方娟;張紅波;;多核處理器預取策略的研究[A];2010年全國開放式分布與并行計算機學術會議論文集[C];2010年

7 何軍;王飆;;通用多核處理器發(fā)展現(xiàn)狀和趨勢研究[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

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

9 萬志濤;;基于多核處理器的面向時延敏感服務的云基礎架構[A];中國通信學會信息通信網(wǎng)絡技術委員會2011年年會論文集（上冊）[C];2011年

10 陳遠知;;多核處理器的里程碑——TILE64[A];全國第三屆信號和智能信息處理與應用學術交流會專刊[C];2009年

相關重要報紙文章 前10條

1 記者 曹繼軍 顏維琦;我國多核處理器研究實現(xiàn)新突破[N];光明日報;2012年

2 慶廣;多核處理器助力無線多媒體業(yè)務拓展[N];中國電子報;2009年

3 北京大學計算語言所副所長 詹衛(wèi)東;多核服務器：計算優(yōu)勢更上層樓[N];計算機世界;2005年

4 北京大學計算語言所副所長 詹衛(wèi)東;雙/多核服務器 計算優(yōu)勢更上層樓[N];網(wǎng)絡世界;2005年

5 江南計算技術研究所 何正未;軟件滯后制約多核應用[N];計算機世界;2006年

6 李梅　編譯;多核處理器新年井噴[N];計算機世界;2007年

7 英特爾產(chǎn)品與平臺市場部門數(shù)字家庭市場經(jīng)理 莊淳杰;多核將大行其道[N];計算機世界;2007年

8 本報記者 陳斌;多核處理器的未來路徑[N];計算機世界;2008年

9 王悅承;Oracle改變多核定價模式[N];中國計算機報;2006年

10 ;多核：技術無懸念應用待拓展[N];計算機世界;2008年

相關博士學位論文 前10條

1 王樹朋;基于仿真的多核處理器功能驗證技術研究[D];浙江大學;2017年

2 柴松;片上多核處理器的調(diào)度算法研究[D];電子科技大學;2014年

3 付桂濤;面向多核處理器的令牌一致性協(xié)議優(yōu)化技術研究[D];國防科學技術大學;2014年

4 易娟;面向多核處理器系統(tǒng)的可靠性與能耗優(yōu)化調(diào)度研究[D];重慶大學;2016年

5 吳瓊;多核平臺軟件算法優(yōu)化的研究[D];吉林大學;2017年

6 王淼;面向多核處理器的并行編譯及優(yōu)化關鍵技術研究[D];國防科學技術大學;2010年

7 魏海濤;面向多核處理器的數(shù)據(jù)流程序編譯關鍵技術研究[D];華中科技大學;2010年

8 呂海;多核處理器芯片計算平臺中并行程序性能優(yōu)化的研究[D];北京工業(yè)大學;2012年

9 李建華;片上多核處理器緩存子系統(tǒng)優(yōu)化的研究[D];中國科學技術大學;2013年

10 杜建軍;共享高速緩存多核處理器的關鍵技術研究[D];重慶大學;2011年

相關碩士學位論文 前10條

1 秦培斌;基于多核路由器的加密卡驅動系統(tǒng)設計與實現(xiàn)[D];西南交通大學;2015年

2 張請;多核處理器關鍵技術研究[D];復旦大學;2014年

3 陳帥軍;基于國產(chǎn)多核處理器核級冗余靜態(tài)綁定和動態(tài)綁定機制的研究[D];哈爾濱工業(yè)大學;2015年

4 羅成;基于多核處理器的高速數(shù)碼印花機數(shù)據(jù)傳輸處理系統(tǒng)硬件設計[D];浙江大學;2015年

5 宦維祥;基于眾核的多租戶網(wǎng)絡出訪問控制的研究[D];復旦大學;2013年

6 楊杭軍;基于多核處理器的視頻編解碼并行算法研究[D];南京大學;2013年

7 吳熙;JPEG壓縮編碼在嵌入式多核處理器上的優(yōu)化技術研究[D];武漢紡織大學;2015年

8 王宗炎;基于OVP的多核處理器系統(tǒng)級建模與評估[D];復旦大學;2014年

9 范少華;多核處理器映射關鍵技術研究[D];復旦大學;2014年

10 裘凱;多核處理器映射關鍵技術研究[D];復旦大學;2014年

，

本文編號：1994827