資源描述：
《soc功能驗證的特點和方法new》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、萬方數(shù)據(jù)第2期2006年4月微處理機MICROPROCESSORSNo．2Apr．．2006SoC功能驗證的特點和方法徐英偉，劉佳(中國電子科技集團公司第四十七研究所，沈陽110032)摘要：簡要分析了傳統(tǒng)集成電路(AsIc)驗證方法的特點以及將這些方法應用于系統(tǒng)級芯片(soc)驗證時所面臨的問題。在此基礎(chǔ)上，論述說明了模塊級驗證是提高soC驗證效率的基礎(chǔ)；而基于隨機測試激勵的驗證方法能夠提升SoC的功能驗證的覆蓋率。另外，還介紹了用于SoC功能驗證的關(guān)鍵方法，包括斷言和RTL形式驗證，F(xiàn)a瑚，隨機化測試激勵和功能覆蓋等。關(guān)鍵詞：系統(tǒng)級芯片；設(shè)計；功能驗證；斷言；功能測試；隨機測試
2、激勵中圖分類號：孫{406文獻標識碼：A文章編號：1002—2279(2006)02—0011一03TheFeatureandMethOdOIOgyOfSOCFUnCtiOnaIVerifiCatiOn·XUYing—wei，LIUJia(弛e47磯R∞e口以脅疵眥e曠醌iME％ctrDn洳死c^加zqgyGr0印cD，】加r口￡iDn，妣H弦愕110032，吼i船)Abstract：Thispaperfirstanalyzesmedimculties山etmditionalASICVerificationme山odwillfacefbrSoCverification．7rhent
3、hepapershowsthat：throughblocklevelverificationwillimprovetheSoCfunctionalve“ficatione蚯ciency；ConstminedRandomT色stbenchAutomationtechnologywillincreasethefunctionalcoverageforSoCverification．Someodlertechniquesarealsointmducedinthispaperinclu—ding：AssertionandRTLFo瑚alverification，F(xiàn)a肌，RandomTest
4、StimulusandFunctionalCoVerage．Keywords：SoC(SystemonaChip)；Design；Verification；Assertion；FunctionalVerification；Ran—domTestS血nulus：1傳統(tǒng)集成電路驗證方法的特點和系統(tǒng)級芯片(SoC)驗證面臨的問題傳統(tǒng)的集成電路(AsIC—ApplicationspecificInte目ratedCircuit)驗證具有以下特點：(1)直接驗證。在規(guī)模較小的情況下可以獲得很高的驗證效率；(2)模塊級驗證。由于功能單一，不需要嚴格的功能覆蓋分析，主要的驗證評估來自于代碼覆蓋；
5、(3)完整的驗證平臺，包括HDL，Perl，c等混合語言。通過混合語言的編程技術(shù)可以實現(xiàn)較簡單的隨機化測試和自動檢查功能，復雜的隨機化測試和自動檢查功能需要大量的編程工作。隨著系統(tǒng)級芯片(soc—Systemonachip)規(guī)模的增加，其電路功能越來越強大，越來越復雜，測試激勵成指數(shù)倍地增加。傳統(tǒng)AsIc驗證方法的直接測試雖可以驗證SoC的基本功能，但會遺漏某些可能的測試空間。同時，缺乏層次化概念和較高的抽象層次，不易擴充和重用。在沒有專門的硬件驗證語言的支持下，不易實現(xiàn)功能覆蓋分析和自動檢查功能。因而，傳統(tǒng)AsIC驗證方法在應用于soc驗證時，大大增加了工程師的工作量，延長了整個
6、SoC設(shè)計周期。2模塊級(BlockLevel)驗證是提高SoC驗證效率的基礎(chǔ)全芯片的系統(tǒng)級驗證對SoC設(shè)計有非常重要的意義，它保證了SoC整體功能的基本正確，并可進行一定的軟硬件協(xié)同仿真。但是與傳統(tǒng)的AsIc設(shè)計相比，在SoC設(shè)計中更需要進行完整的模塊級驗證，原因如下：(1)系統(tǒng)級驗證只有在整體設(shè)計基本完成之后才能進行，而模塊級驗證可以和設(shè)計并行，可有效地提高模塊的設(shè)計質(zhì)量；(2)設(shè)計工程師對設(shè)計模塊有比較透徹的了解，可以很快分析和定位設(shè)計缺陷(bug)。當模塊級的bug帶人到系統(tǒng)級后，bug分析和定位的復雜性大大增加；(3)高質(zhì)量的設(shè)計模塊可以更容易地在其他設(shè)計中進行重用；作者
7、簡介：徐英偉(1971一)，男，山東人，碩士研究生，高級工程師，主研方向：微電子技術(shù)。收稿日期：2005—0l—08萬方數(shù)據(jù)·12·微處理機2006年(4)斷言(Assertion)和形式驗證(modelcheck)技術(shù)可以在沒有完備測試激勵的情況下幫助設(shè)計工程師發(fā)現(xiàn)潛在的模塊設(shè)計缺陷。形式驗證技術(shù)在短期內(nèi)還難以應用到超大規(guī)模SoC系統(tǒng)驗證。圖l是—愀的驗證平臺，它形象地說明了模塊級驗證技術(shù)對于SoC設(shè)計和設(shè)計重用的重要意義。圖l設(shè)計驗證平臺從圖1中可見，系統(tǒng)級測試激
