基于uvm的層次化驗證平臺研究

《基于uvm的層次化驗證平臺研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、：ＴＮ４７：１０３３５分類號單位代碼：：２１５１００９６密級學(xué)號碩士學(xué)位論文中文論文題目：基于ＵＶＭ的層次化驗證平臺研究英文論文題目：ＲｅｓｅａｒｃｈｏｎＨｉｅｒａｒｃｈｉｃａｌＶｅｒｉｆｉｃａｔｉｏｎＰｌａｔｆｏｒｍＢａｓｅｄｏｎ１１ＶＭ申請人姓名：ｐ東琳娜指導(dǎo)教師：嚴(yán)曉浪合作導(dǎo)師：孟建煙專業(yè)名稱：電路與系統(tǒng)研究方向：數(shù)字集成電路設(shè)計所在學(xué)院：電氣工程學(xué)院論文提交日期２０１８年１月基于ＵＶＭ的層次化驗證平倉研究論文作者簽名：憐秦０滅指導(dǎo)教師簽名：

2、多１論文評閱人：］Ｉ奶散拎評閱人２：螯酗散挺ｆ淹］ｊ］評閱人３：＾ｙｙ＼＾ｔ＾＼Ｕ＼ｌｈＵＡｒＰ評閱人４：評閱人５：答辯委員會主席：Ｗｒ勒柃咖ｉ丨委員：々Ａｄ）￥ｍ＾ｉｒ委員２：＾（ｉ＾Ｖｊ委員３：衿方ｍ４ｉＵ？ｅ畔ｑ委員４：委員５：．ｔ贈（３答辯日期：ＲｅｓｅａｒｃｈｏｎＨｉｅｒａｒｃｈｉｃａｌＶｅｒｉｆｉｃａｔｉｏｎＰｌａｔｆｏｒｍＢａｓｅｄｏｎＵＶＭ５Ａｕｔｈｏｒ＊ｓｉｎａｔｕｒｅ：掩你ｇＷ５Ｓｕｅｒｖｉｓｏｒｓｓｉｇｎａｔｕ

3、ｒｅ：ｐＥｘｔｅｒｎａｌＲｅｖｉｅｗｅｒｓ：Ｉｋ－ｆｅｌ－ｌｉｋ？）ｈｊ＾ｔＣＥｘａｍｉｎｉｎｇＣｏｍｍｉｔｅｅＣｈａｉｒｐｅｒｓｏｎ：ｍｎｉｈｃＥｘａｍｉｎｉｎｇＣｏｍｍｉｔｔｅｅＭｅｍｂｅｒｓ：？Ｆｉｆ＼ｉｉｈ＿ｐＶｉ／Ｖ＾ｂ抵＾ｕＭｒＤａｔｅｏｆｏｒａｌｄｅｆｅｎｃｅ：浙江大學(xué)研究生學(xué)位論文獨創(chuàng)性聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得浙江大

4、學(xué)或其他教育機構(gòu)的學(xué)位或證書而使用過的材料一。與我同工作的同志對本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名：簽字日期：如ｔ年＋月０日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解浙江大學(xué)有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交本論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授杈可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索和傳播，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本授權(quán)書）￣’學(xué)位論文作者簽名：導(dǎo)師簽名：簽字曰期：１〇年；月ｊ曰簽字曰期：年２月ｆｏ曰

5、／１＿丨浙江大學(xué)碩士學(xué)位論文ａ？致謝時光飛逝，轉(zhuǎn)眼間近三年的研究生生涯已接近尾聲，在這期間，有太多的人曾經(jīng)以各種各樣的形式幫助和支持過我，在這里我要對他們表達(dá)最真摯的謝意。首先，我要衷心的感謝嚴(yán)曉浪教授。無論是在學(xué)習(xí)還是生活中，嚴(yán)老師嚴(yán)謹(jǐn)的治學(xué)態(tài)度和平易近人的工作生活作風(fēng)都深深地影響著我，指引我在工作學(xué)習(xí)過程中不斷進(jìn)取，勇于挑戰(zhàn)。在此向嚴(yán)老師致以衷心的感謝與誠摯的敬意。其次，我要感謝浙江大學(xué)超大規(guī)模集成電路設(shè)計研究所的各位老師們。感謝、、、、史崢、沈海斌、羅小華、張培勇何樂年吳曉波趙夢戀、竺紅衛(wèi)、丁勇王維維等老師，感謝你們在我的研究

6、生求學(xué)期間給予我的幫助和指導(dǎo)。同時，我也要感謝杭州中天徵系統(tǒng)有限公司為我提供了實習(xí)機會，讓我能夠學(xué)以致用，快速的成長。感謝盂建熠老師在平時的工作學(xué)習(xí)中給予了我悉心的指，，導(dǎo)，不僅能夠在工作項目中傳授經(jīng)驗更是在學(xué)習(xí)科研中提供了許多幫助。此外一起做過項目的師兄師姐我還要感謝在中天，師弟師妹，同學(xué)同事們，感謝你們一在項目中給我的指導(dǎo)和幫助，與你們起工作、解決問題總是使我深受啟發(fā)，謝謝你們。一感謝我的父母，感謝你們默默為我所做的切，感謝你們在生活中給我的關(guān)懷，你們是我人生路上最強大的后盾。最后，感謝曾經(jīng)對我?guī)椭c關(guān)心的所有人，是你們使我的人生道

7、路上不孤單。陳琳娜于求是園２０８－－１１１５Ｉ浙江大學(xué)碩士學(xué)位論文摘要摘要隨著片上系統(tǒng)芯片復(fù)雜度和集成度的提高，芯片的驗證也面臨著巨大的挑戰(zhàn)。ＵＶＭ作為業(yè)界最新且被廣泛應(yīng)用的驗證方法學(xué)，很大程度上提高了驗證效率。然而在現(xiàn)有的ＵＶＭ驗證平臺中，驗證組件與ＤＵＴ緊耦合，導(dǎo)致驗證組件的可重一ＵＶＭ－ｔｔＦｉＡｕｔｔ用性較差，ｒａｎｓａｃｉｏｎｅｌｄｏｍａｉｏｎ；另方面的定義使用了機制，調(diào)用路徑過長，增加了測試用例的仿真時間。為此，引入了公用庫的概念，以串行總線協(xié)議驗證為例，采用層次化