Cardbus-AHB總線橋IP核的驗(yàn)證方法研究和實(shí)現(xiàn).pdf

1、隨著IC設(shè)計(jì)的復(fù)雜度和規(guī)模不斷增大，使得功能驗(yàn)證變得越來越復(fù)雜，并且在整個設(shè)計(jì)周期中占用最多時(shí)間。盡管目前有很多技術(shù)可用于減少驗(yàn)證消耗的時(shí)間和資源，但是如何選擇一種合適并且有效的驗(yàn)證方法仍是一個重要研究課題。 集成電路制造和設(shè)計(jì)技術(shù)的迅速發(fā)展將集成電路設(shè)計(jì)帶入片上系統(tǒng)(SoC)時(shí)代。lP核成為片上系統(tǒng)最重要的單元?；跇?biāo)準(zhǔn)總線Cardbus和片上總線AHB的Cardbus-AHB橋IP建立了這兩種總線之間的一個通路，使得總線間的

2、數(shù)據(jù)交換和跨總線訪問成為可能。 本論文針對Cardbus-AI-IB橋IP的功能特點(diǎn)，提出了一種基于SynopsysVerification IP的功能驗(yàn)證方法。此方法的是利用Synopsys公司提供的VerificationlP建立總線功能模型，并以此來建立事務(wù)，搭建驗(yàn)證平臺。論文的主要內(nèi)容為： 研究當(dāng)前用于功能驗(yàn)證的方法、技術(shù)、工具和語言，對功能驗(yàn)證的流程及流程三階段進(jìn)行了闡述和說明。分析PC Card Standa

3、rd 8．0規(guī)范和AMBA Specification2.0協(xié)議，在此基礎(chǔ)上提出了Cardbus-AHB橋IP核的總體框圖并對所實(shí)現(xiàn)的功能點(diǎn)進(jìn)行仔細(xì)分析，給出了詳盡的功能列表。 設(shè)計(jì)了Cardbus-AHB橋IP核的黑盒法驗(yàn)證方案，包括可重用的驗(yàn)證系統(tǒng)框圖，激勵輸入機(jī)制的確定，響應(yīng)檢測機(jī)制的確定以及基于Synopsys Verification IP bfm的事務(wù)包的設(shè)計(jì)和實(shí)現(xiàn)，并給出了文件組織結(jié)構(gòu)。 編寫了十個驗(yàn)證通道

4、，設(shè)計(jì)和實(shí)現(xiàn)了142個測試用例，每個通道的測試用例攬括了基本用例、邊界用例和異常用例三個類別，并且對用例的驗(yàn)證思路、驗(yàn)證順序和具體內(nèi)容都進(jìn)行了詳細(xì)說明。 搭建基于Unix操作系統(tǒng)的驗(yàn)證平臺，編寫了基于C Shell的自動化測試腳本。進(jìn)行了完備的功能測試，在功能覆蓋完成后，進(jìn)行了14次回歸測試和代碼覆蓋率檢查。 經(jīng)過系統(tǒng)的功能驗(yàn)證，此IP達(dá)到了功能覆蓋率100﹪，代碼的行覆蓋率100﹪和條件覆蓋率95﹪以上的行業(yè)標(biāo)準(zhǔn)。為后