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

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

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

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

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