本文選題：功能驗(yàn)證 + SVA　； 參考：《西安電子科技大學(xué)》2015年碩士論文

【摘要】：在當(dāng)前集成電路芯片開發(fā)過程中,功能驗(yàn)證已成為時(shí)間花費(fèi)最大的環(huán)節(jié)。傳統(tǒng)功能驗(yàn)證方法受限于自身可觀察性與可控制性方面的不足,無(wú)法精確快速地定位設(shè)計(jì)中存在的錯(cuò)誤。此外,傳統(tǒng)驗(yàn)證周期長(zhǎng),重用性差以及工作量偏大的現(xiàn)狀使得從業(yè)者致力于尋求一種優(yōu)化的方法。本文在對(duì)傳統(tǒng)驗(yàn)證過程特點(diǎn)進(jìn)行分析的基礎(chǔ)上,提出了一種基于斷言的驗(yàn)證方法ABV,這種新型驗(yàn)證的方法是目前驗(yàn)證方法學(xué)發(fā)展的新趨勢(shì)。ABV(Assertion-Based Verification)的使用可以提升驗(yàn)證過程中的可操作性,對(duì)于設(shè)計(jì)周期的早期介入可以使設(shè)計(jì)缺陷的發(fā)現(xiàn)節(jié)點(diǎn)大大提前,降低缺陷的修正成本。同時(shí),斷言模塊可以與設(shè)計(jì)分開實(shí)現(xiàn),使其具備良好的可重用性,對(duì)于驗(yàn)證效率的提升效果明顯。首先提出文章的研究課題--基于SVA的Boot啟動(dòng)的功能驗(yàn)證研究。主要研究?jī)?nèi)容是IC設(shè)計(jì)中的功能驗(yàn)證的具體實(shí)現(xiàn)應(yīng)用,背景來(lái)源于西安英特爾移動(dòng)通信技術(shù)有限公司XGOLD手機(jī)基帶通信芯片項(xiàng)目的開發(fā)。以芯片Boot啟動(dòng)過程為切入點(diǎn),說(shuō)明基于SVA斷言的功能驗(yàn)證方法在手機(jī)芯片中的實(shí)現(xiàn)。以傳統(tǒng)仿真驗(yàn)證方法為基礎(chǔ),針對(duì)驗(yàn)證過程中發(fā)現(xiàn)的不足,提出一種能夠提高驗(yàn)證質(zhì)量,改善驗(yàn)證效率的方法,更好地解決工程上遇到的驗(yàn)證問題。論文開篇介紹了當(dāng)前驗(yàn)證工作所面臨的困難,分析對(duì)比了幾種主流功能驗(yàn)證方法的優(yōu)缺點(diǎn),并有針對(duì)性地引入斷言驗(yàn)證方法。隨后對(duì)斷言的實(shí)現(xiàn)過程作了詳細(xì)的闡述,在對(duì)通信芯片Boot啟動(dòng)過程的功能以及Boot驗(yàn)證策略的介紹和總結(jié)的基礎(chǔ)上,完成對(duì)斷言插入點(diǎn)的歸納提取。進(jìn)而搭建SVA驗(yàn)證環(huán)境并通過提取設(shè)計(jì)屬性完成斷言模塊的建立。在文章的最后部分對(duì)驗(yàn)證的結(jié)果進(jìn)行了解釋說(shuō)明,結(jié)合研究數(shù)據(jù),分析斷言在實(shí)際項(xiàng)目中的作用。總結(jié)斷言語(yǔ)言在提升驗(yàn)證質(zhì)量,改善驗(yàn)證時(shí)間等方面體現(xiàn)出的積極作用,并在總結(jié)全文的基礎(chǔ)上對(duì)后續(xù)課題的工作要點(diǎn)進(jìn)行了展望。
[Abstract]:In the current IC chip development process, functional verification has become the most time-consuming link. The traditional functional verification method is limited by the shortcomings of its own observability and controllability, so it is unable to locate the errors in the design accurately and quickly. In addition, the traditional verification cycle is long, the reusability is poor, and the workload is too large. Based on the analysis of the characteristics of the traditional verification process, A new verification method based on assertion (ABV) is proposed. This new verification method is a new trend in the development of verification methodology at present. The use of ABVAssertion-Based Verification can enhance the operability of verification process. The early intervention of the design cycle can lead to the discovery of defects in the design much earlier and reduce the cost of defect correction. At the same time, the assertion module can be implemented separately from the design, so that it has good reusability. Firstly, the research topic of this paper, the function verification of Boot startup based on SVA, is put forward. The main research content is the realization and application of function verification in IC design. The background comes from the development of XGOLD mobile phone baseband communication chip project of Xi'an Intel Mobile Communication Technology Co., Ltd. The realization of function verification method based on SVA assertion in mobile phone chip is illustrated by starting process of chip Boot. Based on the traditional simulation verification method, a new method which can improve the quality and efficiency of verification is proposed to solve the problems encountered in engineering. At the beginning of the paper, the difficulties faced by the current verification work are introduced, the advantages and disadvantages of several mainstream functional verification methods are analyzed and compared, and the assertion verification method is introduced. Then, the realization process of assertion is described in detail. On the basis of the introduction and summary of the function of Boot startup process and the Boot verification strategy, the inductive extraction of assertion insertion point is completed. Then the SVA verification environment is built and the assertion module is built by extracting the design attributes. In the last part of the paper, the result of verification is explained, and the function of assertion in the actual project is analyzed by combining the research data. Summing up and asserting language plays a positive role in improving the quality and time of verification. Based on the conclusion of this paper, the main points of future research are prospected.
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TN407

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 宋晶晶;;深入Boot Camp[J];個(gè)人電腦;2007年01期

2 暢衛(wèi)功;劉堯猛;黃建崗;;U-Boot的分析與移植[J];信息技術(shù);2008年07期

3 郭靜;張文豪;李寧;;基于U-Boot構(gòu)建的嵌入式系統(tǒng)程序燒錄方法的研究[J];河南機(jī)電高等�？茖W(xué)校學(xué)報(bào);2010年06期

4 李維;朱昀;馬曉川;;不同Boot Loader之間模塊移植的實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2007年32期

5 楊帆;顧亞平;彭翔;徐明;;一種小型嵌入式Linux Boot Loader的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2008年01期

6 龍治海;馬秀麗;;U-Boot命令功能的研究與擴(kuò)展[J];長(zhǎng)江大學(xué)學(xué)報(bào)(自然科學(xué)版)理工卷;2008年03期

7 何臻祥;陳波;;基于三星S3C2440 Boot Loader的研究[J];兵工自動(dòng)化;2008年06期

8 ;Porting U-Boot to the Control Computer Based on MPC8349[J];微計(jì)算機(jī)信息;2009年26期

9 黃薦渠;秦東興;趙曦;賈曦;;U-Boot的啟動(dòng)及移植分析[J];微計(jì)算機(jī)信息;2008年11期

10 何景波;孫運(yùn)強(qiáng);姚愛琴;;U-Boot在嵌入式系統(tǒng)上的移植分析與實(shí)現(xiàn)[J];機(jī)械工程與自動(dòng)化;2009年04期

相關(guān)會(huì)議論文 前1條

1 劉允利;劉娜;;U-Boot在GX-ARM9開發(fā)板上的移植[A];冶金企業(yè)自動(dòng)化、信息化與創(chuàng)新——全國(guó)冶金自動(dòng)化信息網(wǎng)建網(wǎng)30周年論文集[C];2007年

相關(guān)重要報(bào)紙文章 前10條

1 mzhko;Boot Easy惹麻煩[N];中國(guó)電腦教育報(bào);2003年

2 陳輝;用Easy Boot做DVD啟動(dòng)盤[N];電腦報(bào);2004年

3 安徽 高飛;新手玩系統(tǒng)[N];電腦報(bào);2003年

4 山東 劉景正;解讀Boot.ini[N];中國(guó)計(jì)算機(jī)報(bào);2001年

5 王開林;中國(guó)水電簽訂贊比亞下凱富峽水電站BOOT項(xiàng)目[N];建筑時(shí)報(bào);2010年

6 河南 徐紅;工程師手記[N];中國(guó)計(jì)算機(jī)報(bào);2001年

7 方天紅;Sco-Unix的核心引導(dǎo)過程[N];中國(guó)計(jì)算機(jī)報(bào);2001年

8 陳錕;讓Pqmagic在Server版中運(yùn)行[N];中國(guó)電腦教育報(bào);2002年

9 安徽 高飛;新手玩系統(tǒng)[N];電腦報(bào);2003年

10 河北 吳新年;開關(guān)機(jī)讀軟驅(qū)問題的解決[N];電腦報(bào);2002年

相關(guān)碩士學(xué)位論文 前10條

1 趙立予;基于SVA的Boot啟動(dòng)功能驗(yàn)證研究[D];西安電子科技大學(xué);2015年

2 趙慶明;嵌入式Boot Loader分析與設(shè)計(jì)[D];電子科技大學(xué);2008年

3 張風(fēng);基于龍芯平臺(tái)的U-Boot系統(tǒng)移植[D];南京郵電大學(xué);2013年

4 周建勝;基于ARM的Boot Loader的設(shè)計(jì)與實(shí)現(xiàn)[D];河北工業(yè)大學(xué);2006年

5 何洪亮;基于ARM平臺(tái)的稅控POS的研究及其Boot Loader的實(shí)現(xiàn)[D];電子科技大學(xué);2006年

6 查婧;ARM9嵌入式系統(tǒng)設(shè)計(jì)及Uboot的移植[D];中國(guó)科學(xué)院研究生院（西安光學(xué)精密機(jī)械研究所）;2009年

7 錢輝;多單片機(jī)系統(tǒng)具有中繼功能的R-Boot設(shè)計(jì)與實(shí)現(xiàn)[D];蘇州大學(xué);2011年

8 楊宗富;基于ARM的系統(tǒng)啟動(dòng)過程研究與系統(tǒng)移植[D];北方工業(yè)大學(xué);2014年

9 楊洋;基于方舟3的嵌入式調(diào)試機(jī)制的設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2009年

10 李呈武;基于ARM7的嵌入式醫(yī)療保健終端系統(tǒng)的研究與實(shí)現(xiàn)[D];青島大學(xué);2010年

，

本文編號(hào)：1779954