基于SVA的Boot啟動(dòng)功能驗(yàn)證研究.pdf

1、在當(dāng)前集成電路芯片開發(fā)過(guò)程中，功能驗(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)證過(guò)程特點(diǎn)進(jìn)行分析的基礎(chǔ)上，提出了一種基于斷言的驗(yàn)證方法ABV，這種新型驗(yàn)證的方法是目前驗(yàn)證方法學(xué)發(fā)展的新趨勢(shì)。
　　ABV（Assertion-Based Verificati

2、on）的使用可以提升驗(yàn)證過(guò)程中的可操作性，對(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)過(guò)程為切入點(diǎn)

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