基于SVA的Boot啟動功能驗證研究.pdf

1、在當(dāng)前集成電路芯片開發(fā)過程中，功能驗證已成為時間花費最大的環(huán)節(jié)。傳統(tǒng)功能驗證方法受限于自身可觀察性與可控制性方面的不足，無法精確快速地定位設(shè)計中存在的錯誤。此外，傳統(tǒng)驗證周期長，重用性差以及工作量偏大的現(xiàn)狀使得從業(yè)者致力于尋求一種優(yōu)化的方法。本文在對傳統(tǒng)驗證過程特點進行分析的基礎(chǔ)上，提出了一種基于斷言的驗證方法ABV，這種新型驗證的方法是目前驗證方法學(xué)發(fā)展的新趨勢。
　　ABV（Assertion-Based Verificati

2、on）的使用可以提升驗證過程中的可操作性，對于設(shè)計周期的早期介入可以使設(shè)計缺陷的發(fā)現(xiàn)節(jié)點大大提前，降低缺陷的修正成本。同時，斷言模塊可以與設(shè)計分開實現(xiàn)，使其具備良好的可重用性，對于驗證效率的提升效果明顯。
　　首先提出文章的研究課題--基于SVA的Boot啟動的功能驗證研究。主要研究內(nèi)容是IC設(shè)計中的功能驗證的具體實現(xiàn)應(yīng)用，背景來源于西安英特爾移動通信技術(shù)有限公司XGOLD手機基帶通信芯片項目的開發(fā)。以芯片Boot啟動過程為切入點

3、，說明基于SVA斷言的功能驗證方法在手機芯片中的實現(xiàn)。以傳統(tǒng)仿真驗證方法為基礎(chǔ)，針對驗證過程中發(fā)現(xiàn)的不足，提出一種能夠提高驗證質(zhì)量，改善驗證效率的方法，更好地解決工程上遇到的驗證問題。
　　論文開篇介紹了當(dāng)前驗證工作所面臨的困難，分析對比了幾種主流功能驗證方法的優(yōu)缺點，并有針對性地引入斷言驗證方法。隨后對斷言的實現(xiàn)過程作了詳細的闡述，在對通信芯片Boot啟動過程的功能以及Boot驗證策略的介紹和總結(jié)的基礎(chǔ)上，完成對斷言插入點的歸納