隨著各種新型技術(shù)如人工智能,5G通信,圖像處理等的發(fā)展,各應(yīng)用場(chǎng)景中對(duì)底層的芯片技術(shù)的要求越來越高,電路的設(shè)計(jì)也變得越來越復(fù)雜。芯片的開發(fā)速度和成本是項(xiàng)目中的關(guān)鍵因素。在整個(gè)芯片項(xiàng)目中,回歸測(cè)試是一項(xiàng)反復(fù)進(jìn)行需要耗費(fèi)大量資源的工作,用例集會(huì)被反復(fù)執(zhí)行用于確保設(shè)計(jì)的的正確性,會(huì)造成很大的測(cè)試運(yùn)行代價(jià)。在保證測(cè)試完備性基礎(chǔ)上提高效率優(yōu)化用例集是當(dāng)前的研究熱點(diǎn)之一。其中,主流的技術(shù)有測(cè)試用例集約簡(jiǎn),測(cè)試用例排序,測(cè)試用例選擇。本文對(duì)用例集約簡(jiǎn)技術(shù)進(jìn)行研究,主要工作如下:本文基于實(shí)際的項(xiàng)目,設(shè)計(jì)實(shí)現(xiàn)了基于UVM的仿真驗(yàn)證平臺(tái)。為保證功能覆蓋點(diǎn)全部覆蓋,先制定用例計(jì)劃,然后以驗(yàn)證語言實(shí)現(xiàn)了用例,形成完整的用例集,用以后續(xù)實(shí)驗(yàn)。本文通過分析調(diào)研有關(guān)用例集的約簡(jiǎn)優(yōu)化技術(shù),并結(jié)合其特性,把該優(yōu)化問題建模為集合覆蓋模型,提出用于求解問題的Memetic算法。算法中設(shè)計(jì)了遺傳算法和差分算法混合的全局搜索策略以加強(qiáng)全局搜索能力,并對(duì)其中各個(gè)算子進(jìn)行改進(jìn),以禁忌搜索算法為基礎(chǔ)設(shè)計(jì)適合的局部搜索策略,避免陷入局部收斂。然后設(shè)計(jì)適應(yīng)度函數(shù)用于評(píng)估個(gè)體,對(duì)初始化種群中的不可行解利用貪心策略進(jìn)行修正。然后對(duì)用例集仿真... 

【文章來源】：浙江大學(xué)浙江省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：81 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

013-2017集成電路行業(yè)增長(zhǎng)圖

浙江大學(xué)碩士學(xué)位論文緒論3前端設(shè)計(jì)行為級(jí)設(shè)計(jì)規(guī)范制定系統(tǒng)級(jí)設(shè)計(jì)行為級(jí)設(shè)計(jì)RTL設(shè)計(jì)規(guī)范解析和檢驗(yàn)系統(tǒng)級(jí)功能驗(yàn)證行為級(jí)功能驗(yàn)證RTL級(jí)功能驗(yàn)證時(shí)序驗(yàn)證時(shí)序驗(yàn)證/物理驗(yàn)證芯片測(cè)試版圖設(shè)計(jì)功能驗(yàn)證時(shí)序驗(yàn)證物理驗(yàn)證邏輯綜合版圖設(shè)計(jì)流片封裝后端設(shè)計(jì)圖1.2數(shù)字芯片設(shè)計(jì)基本流程圖1.3芯片首次流片失敗原因

浙江大學(xué)碩士學(xué)位論文基于UVM的驗(yàn)證平臺(tái)設(shè)計(jì)實(shí)現(xiàn)41驗(yàn)證平臺(tái)是根據(jù)需要驗(yàn)證的項(xiàng)目來設(shè)計(jì)完成的，此處采用例化兩份DUT的方式，分別作為主機(jī)從機(jī)部分驗(yàn)證協(xié)議的傳輸正確性，平臺(tái)具體實(shí)現(xiàn)介紹如下。4.3.1事務(wù)基類定義Transaction是一個(gè)平臺(tái)數(shù)據(jù)交互的基礎(chǔ)，是最基本的數(shù)據(jù)單元，如同在各個(gè)城市間來回運(yùn)輸?shù)能囕v，以前的傳統(tǒng)平臺(tái)都是基于信號(hào)傳遞的，在UVM方法學(xué)中，把通用的一類數(shù)據(jù)參數(shù)封裝成一個(gè)包的形式，在用例中進(jìn)行不同配置，形成不同包發(fā)送到平臺(tái)在各個(gè)組件間進(jìn)行交互。Transacion是繼承自UVM_sequence_item的一個(gè)類，通過UVM_object_utils宏來注冊(cè)各個(gè)參數(shù)，以便于能夠運(yùn)用factory機(jī)制的方法。它是有生命周期的，在仿真某一時(shí)間開始，經(jīng)過sequencer驅(qū)動(dòng)到driver再經(jīng)過scoreboard比較等一系列處理后就結(jié)束生命周期了。本文中用到的transaction設(shè)計(jì)如下所示，包含讀寫操作，地址，數(shù)據(jù)長(zhǎng)度等信息。（1）通過繼承定義transaction類并定義所要用到的參數(shù)如圖4.4所示圖4.4參數(shù)定義（2）對(duì)定義的參數(shù)用field-automation宏機(jī)制注冊(cè)如圖4.5所示圖4.5field-automation宏機(jī)制注冊(cè)

【參考文獻(xiàn)】：
期刊論文
[1]約束優(yōu)化進(jìn)化算法綜述[J]. 李智勇,黃滔,陳少淼,李仁發(fā).  軟件學(xué)報(bào). 2017(06)
[2]采用UVM方法學(xué)實(shí)現(xiàn)驗(yàn)證的可重用與自動(dòng)化[J]. 徐金甫,李森森.  微電子學(xué)與計(jì)算機(jī). 2014(11)
[3]一種基于Verilog的驗(yàn)證平臺(tái)搭建及應(yīng)用[J]. 劉星江,王慧.  信息安全與通信保密. 2013(01)
[4]覆蓋表生成的遺傳算法配置參數(shù)優(yōu)化[J]. 梁亞瀾,聶長(zhǎng)海.  計(jì)算機(jī)學(xué)報(bào). 2012(07)
[5]測(cè)試用例集約簡(jiǎn)方法綜述[J]. 陳陽梅,丁曉明.  重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版). 2012(03)
[6]遺傳算法中的交叉算子的述評(píng)[J]. 李書全,孫雪,孫德輝,邊偉朋.  計(jì)算機(jī)工程與應(yīng)用. 2012(01)
[7]基于SystemVerilog的SoC功能驗(yàn)證方法研究[J]. 程剛,蔡敏.  科學(xué)技術(shù)與工程. 2009(22)
[8]遺傳算法研究綜述[J]. 葛繼科,邱玉輝,吳春明,蒲國林.  計(jì)算機(jī)應(yīng)用研究. 2008(10)
[9]一種改進(jìn)選擇算子的遺傳算法[J]. 陳有青,徐蔡星,鐘文亮,張軍.  計(jì)算機(jī)工程與應(yīng)用. 2008(02)
[10]針對(duì)功能覆蓋率的驗(yàn)證過程[J]. 徐偉俊,楊鑫,陳先勇,夏宇聞.  中國集成電路. 2007(07)

博士論文
[1]基于仿真的多核處理器功能驗(yàn)證技術(shù)研究[D]. 王樹朋.浙江大學(xué) 2017
[2]約束優(yōu)化算法的關(guān)鍵技術(shù)研究及應(yīng)用[D]. 張磊.哈爾濱工程大學(xué) 2016
[3]基于仿真的系統(tǒng)芯片功能驗(yàn)證技術(shù)研究[D]. 羅春.東南大學(xué) 2006

碩士論文
[1]基于禁忌搜索的電動(dòng)物流車循環(huán)取貨路徑規(guī)劃[D]. 孟佳純.大連理工大學(xué) 2019
[2]基于遺傳算法的高效多工作流調(diào)度算法研究[D]. 賴淼.電子科技大學(xué) 2019
[3]適應(yīng)性Memetic算法及其在求解離散約束優(yōu)化問題中的研究[D]. 徐芳.中國科學(xué)技術(shù)大學(xué) 2018
[4]基于差分進(jìn)化的智能優(yōu)化算法研究[D]. 童旅楊.桂林理工大學(xué) 2018
[5]基于UVM的層次化驗(yàn)證平臺(tái)研究[D]. 陳琳娜.浙江大學(xué) 2018
[6]基于不變量的回歸測(cè)試用例集約簡(jiǎn)方法研究[D]. 李玉燕.南華大學(xué) 2017
[7]基于UVM驗(yàn)證平臺(tái)的回歸測(cè)試集生成和最小化研究[D]. 鄧秋輝.浙江大學(xué) 2017
[8]Memetic算法及其應(yīng)用[D]. 黃文華.江西師范大學(xué) 2016
[9]迭代禁忌搜索算法求解最小連通支配集問題[D]. 萬欣.華中科技大學(xué) 2016
[10]基于UVM的RapidIO交換機(jī)芯片驗(yàn)證平臺(tái)設(shè)計(jì)[D]. 潘顏玲.東南大學(xué) 2016



本文編號(hào)：3481359