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

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

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

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

【部分圖文】：

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

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

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

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

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

碩士論文
[1]基于禁忌搜索的電動物流車循環(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的層次化驗證平臺研究[D]. 陳琳娜.浙江大學(xué) 2018
[6]基于不變量的回歸測試用例集約簡方法研究[D]. 李玉燕.南華大學(xué) 2017
[7]基于UVM驗證平臺的回歸測試集生成和最小化研究[D]. 鄧秋輝.浙江大學(xué) 2017
[8]Memetic算法及其應(yīng)用[D]. 黃文華.江西師范大學(xué) 2016
[9]迭代禁忌搜索算法求解最小連通支配集問題[D]. 萬欣.華中科技大學(xué) 2016
[10]基于UVM的RapidIO交換機(jī)芯片驗證平臺設(shè)計[D]. 潘顏玲.東南大學(xué) 2016



本文編號：3481359