Usb設備控制器模塊功能驗證方法及驗證環(huán)境平臺的制作方法
【專利摘要】本發(fā)明公開了一種USB設備控制器模塊功能驗證方法,基于UVM,使用AHB總線驗證IP和USB主機驗證IP構建驗證環(huán)境平臺中的參考模型,對USB設備控制器模塊實施功能驗證。本發(fā)明還公開了一種所述驗證方法中采用的驗證環(huán)境平臺,采用system?verilog語言,基于UVM完成;包括:AHB通用驗證組件、USB通用驗證組件、虛擬序列器、記分板和USB配置文件。本發(fā)明能夠快速實現(xiàn)USB設備控制器模塊級功能驗證,提高驗證效率。
【專利說明】USB設備控制器模塊功能驗證方法及驗證環(huán)境平臺
【技術領域】
[0001] 本發(fā)明涉及集成電路設計S0C (系統(tǒng)級芯片)功能驗證領域,特別是涉及一種USB (通用串行總線)設備控制器模塊的模塊級功能驗證方法。本發(fā)明還涉及一種所述驗證方法 中采用的驗證環(huán)境平臺。
【背景技術】
[0002]通用的驗證方法學(UVM Universal Verification Methodology)是由美國 Mentor (明導)、Cadence (煙騰電子科技)和Synopsys (新思科技)公司共同推出的基于 system verilog (系統(tǒng)級硬件描述語言)語言的新一代驗證方法學。該方法學為驗證工程 師提供了豐富的類庫資源和可重用的方法;支持多個廠商的仿真器;高度自動化。
[0003] 驗證IP (Intellectual Property知識產(chǎn)權)是EDA (電子設計自動化)廠商為一 些標準接口如 AHB (Advanced High-performance Bus 系統(tǒng)總線)、APB (外圍總線)、USB 等 開發(fā)的總線行為模型。在集成電路模塊級功能驗證中,通過使用各種驗證IP可以達到迅速 搭建驗證環(huán)境平臺的目的,加快項目進度。Cadence公司開發(fā)的系統(tǒng)總線AHB通用驗證組件 (UVC)是基于UVM的AHB總線驗證IP。Denali公司開發(fā)的通用串行總線USB主機驗證IP 是一個基于USB2. 0協(xié)議的驗證模型,涵蓋USB的協(xié)議層和物理層的相關通信。該通用串行 總線USB主機驗證IP可適用于各種驗證語言,并適用于VMM (驗證方法學手冊)、UVM的驗 證環(huán)境平臺。
【發(fā)明內(nèi)容】
[0004] 本發(fā)明要解決的技術問題是提供一種USB設備控制器模塊功能驗證方法,能夠快 速實現(xiàn)模塊級功能驗證,提高驗證效率;為此,本發(fā)明還要提供一種所述驗證方法中采用的 驗證環(huán)境平臺。
[0005] 為解決上述技術問題,本發(fā)明的USB設備控制器模塊功能驗證方法,是采用如下 技術方案實現(xiàn)的:采用UVM,使用系統(tǒng)總線AHB總線驗證IP和通用串行總線USB主機驗證 IP構建驗證環(huán)境平臺中的參考模型,對USB設備控制器模塊實施功能驗證。
[0006] 所述驗證方法中采用的驗證環(huán)境平臺,采用system verilog語言,基于UVM完成; 包括:
[0007] AHB通用驗證組件,是AHB總線協(xié)議端(以下簡稱"AHB端")驗證環(huán)境子模塊,用于 完成AHB總線操作;
[0008] USB通用驗證組件,是USB主機端驗證環(huán)境子模塊,用于模擬USB主機的工作;
[0009] 虛擬序列器,是虛擬的產(chǎn)生器,不連接所述AHB通用驗證組件和USB通用驗證組件 中的接任何驅動器,在兩者的上層控制AHB端和USB主機端的激勵序列單元的產(chǎn)生順序;
[0010] 記分板,負責采集所述AHB通用驗證組件和USB通用驗證組件產(chǎn)生的數(shù)據(jù),進行自 動比較,以判斷傳輸是否正確;
[0011] USB配置文件,負責管理整個驗證環(huán)境平臺,同步AHB端與USB主機端的配置信息。
[0012] 本發(fā)明采用新一代的驗證方法學UVM,使用Cadence公司的AHB總線驗證IP和 Denali公司的USB主機驗證IP構建驗證環(huán)境平臺中的參考模型,利用驗證IP高效可靠、便 于集成的特點,充分復用驗證IP功能模塊,充分發(fā)揮UVM靈活的激勵序列單元產(chǎn)生機制,快 速搭建驗證環(huán)境平臺,對USB設備控制器模塊進行模塊級全面、快速的功能驗證,高效、便 捷的完成功能驗證工作,且驗證充分、完備;能顯著提高驗證效率,是一種先進的功能驗證 方法。
【專利附圖】
【附圖說明】
[0013] 下面結合附圖與【具體實施方式】對本發(fā)明作進一步詳細的說明:
[0014] 圖1是USB設備控制器模塊驗證環(huán)境平臺結構示意圖;
[0015] 圖2是AHB通用驗證組件中的激勵序列單元擴展示意圖;
[0016] 圖3是USB通用驗證組件中的激勵序列單元擴展示意圖。
【具體實施方式】
[0017] 根據(jù)本發(fā)明提供的技術解決方案,結合附圖選取實施例對
【發(fā)明內(nèi)容】
的實施作如下 具體描述:
[0018] 所述USB設備控制器模塊功能驗證方法,采用UVM,使用Cadence公司的AHB總線 驗證IP和Denali公司的通用串行總線USB主機驗證IP搭建驗證平臺中的參考模型,對 USB設備控制器模塊實施功能驗證。
[0019] 所述AHB總線驗證IP作為USB設備控制器模塊的AHB總線上的主設備參考模型, 用來配置USB設備控制器模塊的內(nèi)部寄存器。
[0020] 所述通用串行總線USB主機驗證IP作為USB主機模型,對USB設備控制器模塊進 行復位、總線枚舉和發(fā)起傳輸。
[0021] 所述實施功能驗證是指,一方面,通過AHB總線驗證IP產(chǎn)生寄存器讀寫激勵序列 單元;另一方面,通過USB主機驗證IP產(chǎn)生可約束的隨機的USB事務處理級的激勵序列單 元,這兩種激勵序列單元在虛擬序列器產(chǎn)生的虛擬序列中通過約定的流程控制達到同步, 共同觸發(fā)驗證環(huán)境平臺工作。所述驗證環(huán)境平臺自動化判斷響應結果,自動化統(tǒng)計功能覆 蓋率。
[0022] AHB端產(chǎn)生的所述寄存器讀寫激勵序列單元是在AHB總線驗證IP基礎序列單元的 基礎上擴展而來,擴充了讀任務和寫任務。AHB端的序列器也是在系統(tǒng)總線AHB總線驗證知 識產(chǎn)權IP的原序列器的基礎上擴展而來,添加了用于流程控制的虛擬中斷接口。AHB端通 過中斷等待及讀或寫任務,實施USB設備控制器模塊的內(nèi)部寄存器配置和通信流程控制。
[0023] USB主機端產(chǎn)生的所述USB事務處理級的激勵序列單元是在USB主機驗證IP的事 務處理級序列單元基礎上擴展而來,在所述事務處理級序列單元的基礎上,添加了多個任 務,用來發(fā)送IN (輸入)事務處理任務、OUT (輸出)事務處理任務、PING (高速輸出詢問)事 務處理任務、SETUP (建立)事務處理任務(包括設置設備地址、設置設備配置)等。USB事務 處理級的激勵序列單元可隨機生成,也可調用單個任務實現(xiàn);復雜激勵序列單元如USB總 線枚舉過程、數(shù)據(jù)的傳輸?shù)瓤赏ㄟ^上述的任務組合得到實現(xiàn),即基于UVM提供強大的激勵 序列單元組合機制,USB主機端的所述USB事務處理級的激勵序列單元可以完全覆蓋USB協(xié) 議傳輸。
[0024] 參見圖1所示,所述驗證方法中采用的驗證環(huán)境平臺1,采用systemverilog語言, 基于UVM完成。其包括:AHB通用驗證組件2、USB通用驗證組件3、虛擬序列器6、記分板5 和USB配置文件8。
[0025] 所述AHB通用驗證組件2是AHB總線協(xié)議端驗證環(huán)境子模塊,用于完成AHB總線 操作。它包含AHB總線協(xié)議中的各組件,如主設備9 (即所述主設備參考模型),從設備10, 仲裁器11,譯碼器12。這些組件連通后,共同模擬AHB總線系統(tǒng)的運轉。虛擬序列器6通 過向主設備9組件發(fā)送寄存器讀寫激勵序列單元,實現(xiàn)AHB端寄存器讀寫激勵序列單元的 傳達。
[0026] 所述USB通用驗證組件3,是USB主機端驗證環(huán)境子模塊,其中的USB主機模型17 (包括USB主機和監(jiān)視器)即是USB主機驗證IP,用來模擬USB主機的工作,如發(fā)起傳輸、應 答設備、復位、掛起和喚醒等。
[0027] 每一個所述AHB通用驗證組件2和USB通用驗證組件3都是封裝成型、可配置的和 可重用的。每個所述AHB通用驗證組件2和USB通用驗證組件3內(nèi)部,包含一個或多個代 理(Agent)模塊。在圖1所示的實施例中在AHB通用驗證組件2的主設備9、從設備10、仲 裁器11和譯碼器12中分別設有一個代理模塊;USB通用驗證組件3中設有一個代理模塊。 每個代理模塊由序列器13、驅動器14和監(jiān)控器15構成。所述序列器13是一個高級的激勵 產(chǎn)生器,根據(jù)下方驅動器14的需求,控制激勵序列單元產(chǎn)生。所述驅動器14是一個主動的 實體,將抽象的數(shù)據(jù)序列單元轉化成邏輯信號,驅動到AHB總線接口上。所述監(jiān)控器15是 一個被動的實體,負責收集接口信號、提煉事件,以便做覆蓋率分析、協(xié)議檢查和數(shù)據(jù)比較。
[0028] 所述虛擬序列器6是虛擬的產(chǎn)生器,不連接所述AHB通用驗證組件2和USB通用 驗證組件3中的任何驅動器,在兩者的上層控制AHB端和USB端的激勵序列單元的產(chǎn)生順 序。
[0029] 所述記分板5,負責采集所述AHB通用驗證組件2和USB通用驗證組件3產(chǎn)生的數(shù) 據(jù)并進行自動比較,以判斷傳輸是否正確。對于USB主機端的OUT方向的傳輸,AHB端收到 的數(shù)據(jù)(即圖1中的AHB接收包19)與USB主機端發(fā)出的數(shù)據(jù)(即圖1中的USB發(fā)出包21) 將被采集到記分板5中比較;對于USB主機端的IN方向的傳輸,USB主機端收到的數(shù)據(jù)(即 圖1中的USB接收包20)會與AHB端發(fā)出的數(shù)據(jù)(即圖1中的AHB發(fā)出包18)將被采集到 記分板5中比較。所述數(shù)據(jù)通過UVM的傳輸級模型(TLM)機制定義的端口傳遞。
[0030] 所述USB配置文件負責管理整個驗證環(huán)境平臺,同步AHB端與USB端的配置信息。 這些配置信息包括USB設備控制器模塊內(nèi)部寄存器的初始配置及USB主機的相關配置信 息。如最大包長度、傳輸類型和傳輸速度等。
[0031] 本發(fā)明中需要驗證的對象是USB設備控制器模塊4 (DUT),USB設備控制器模塊4 一端通過AHB總線接口與AHB通用驗證組件2相連,另一端通過USB總線與USB通用驗證 組件3中的USB主機模型17相連。AHB總線驗證IP通過AHB總線配置USB設備控制器模 塊4的相關內(nèi)部寄存器,使USB設備控制器模塊4連接USB主機,USB主機驗證IP確認USB 總線連接后,發(fā)起復位信號;USB設備控制器模塊4作復位應答并進行相關寄存器的復位操 作;USB主機驗證IP在確認雙方復位流程結束后開始進行總線枚舉,待總線枚舉成功后進 行數(shù)據(jù)通信;USB設備控制器模塊4做出應答,并在AHB總線驗證IP的操作下傳輸其內(nèi)部 寄存器中的數(shù)據(jù)。USB主機與USB設備控制器模塊4之間的通信數(shù)據(jù)在傳輸過程中被收集 到記分板5中進行自動比較。各驗證環(huán)境子模塊的監(jiān)視器負責監(jiān)控AHB總線和USB主機行 為,接口信號若與協(xié)議不符,則報錯。
[0032] 結合圖1所示,所述驗證環(huán)境平臺1是一個分層的驗證平臺:在頂層定義AHB端與 USB主機端施加的激勵序列單元。該激勵序列單元以復雜的嵌套的激勵序列單元形式存在, 描述當前測試的全過程。例如,包括AHB端初始化寄存器序列單元、USB主機發(fā)送復位信號 序列單元、USB主機設置地址序列單元、USB主機設置配置序列單元、AHB端應答地址設置序 列單元、AHB端應答配置設置序列單元、USB主機發(fā)送數(shù)據(jù)序列單元和AHB端接收數(shù)據(jù)序列 單元等。這些激勵序列單元通過虛擬序列器6分發(fā)到AHB通用驗證組件2和USB通用驗證 組件3中的實際序列器13中。即一方面,AHB通用驗證組件2中的主設備9組件的序列器 13得到從所述虛擬序列器6傳來的序列名后,產(chǎn)生對應的AHB讀寫寄存器的激勵序列單元; 主設備9組件的驅動器14從序列器13中獲取這些激勵序列單元并驅動到AHB總線上,完 成讀寫操作;主設備9組件的監(jiān)視器15實時監(jiān)控AHB總線的信號動作。另一方面,USB通 用驗證組件3中的序列器13得到從所述虛擬序列器6傳來的序列名后產(chǎn)生對應的USB事 務處理序列單元;USB通用驗證組件3中的驅動器14從其序列器13中獲取USB事務處理 序列單元,并轉發(fā)給USB主機驗證IP ;USB主機驗證IP解析該USB事務處理序列單元,并轉 化成USB接口信號,驅動到USB總線上;USB主機驗證IP自帶的監(jiān)控器負責偵測USB總線 活動并做協(xié)議檢查。
[0033] 圖1中所述代理模塊中的配置模塊16負責配置各組件(包括所述AHB通用驗證組 件2、USB通用驗證組件3、主設備9、從設備10、仲裁器11和譯碼器12)的工作模式,如果 為主動模式,則序列器13、驅動器14和監(jiān)視器15工作,如果是被動模式,當前組件只有監(jiān)視 器15工作。在本驗證環(huán)境平臺中,所有的組件都是主動模式。
[0034] 所述AHB通用驗證組件2的各序列器中的激勵序列單元是通過層層擴展而來的。 參見圖2所示,它表示出了 AHB通用驗證組件2的主設備9組件的序列器13中激勵序列單 元的擴展過程。
[0035] 首先,AHB總線驗證IP提供的默認主設備序列單元是基礎序列單元,該默認主設 備序列單元中定義了一個可隨機的AHB總線傳輸序列單元。本驗證環(huán)境平臺在默認主設備 序列的基礎上,創(chuàng)建了用戶定義的基礎序列單元,并對用戶定義的基礎序列單元做如下擴 展,添加兩個任務:寫寄存器[write_reg_single (addr, data),其中,addr表示寫入的寄 存器地址,data表示要寫入的數(shù)據(jù)]任務(簡稱"寫任務")和讀寄存器[reacLregjingle (addr, data),其中,addr表示要讀出的寄存器地址,data表示讀出的數(shù)據(jù)]任務(簡稱"讀 任務"),通過這兩個任務約束AHB總線傳輸序列單元的操作方向、地址、類型、數(shù)據(jù)寬度和數(shù) 據(jù)值等。然后,再以用戶定義的基礎序列單元為基礎,擴展出更復雜的激勵序列單元,即增 加一系列有意義有目的的讀寫操作,從而實現(xiàn)某種場景。例如建立包處理序列單元。在建立 的包處理序列單元中,調用了序列器的中斷等待語句、多個讀寄存器任務(讀寄存器地址為 ' SETUP, 1的寄存器、讀寄存器地址為'SETUP_2…讀寄存器地址為' SETUP_n的寄存器等), 從而完成了 USB設備控制器模塊4在收到USB建立包后,所做的一系列流程處理。
[0036] 所述USB通用驗證組件中序列器的激勵序列單元擴展過程,參見圖3所示。同樣, 從簡單到復雜。USB基礎序列單元包含USB事務處理的全部信息,如USB傳輸?shù)募墑e、事務 處理的類型、設備地址、設備端點號、數(shù)據(jù)長度和數(shù)據(jù)值等,這些信息可隨機生成。用戶定 義的基礎序列單元擴展了 USB基礎序列單元,在它的基礎上定義了 IN事務處理任務[addr (USB設備地址),ep (USB設備通信的端點號)]、OUT事務處理任務(addr,?。ING (高速 輸出詢問)事務處理任務(addr,ep)、地址設置事務處理任務(addr )和配置設置事務處理任 務[addr, config (USB設備的配置信息)]等。這些任務內(nèi)部更近一步地約束了事務處理 的地址、端點號、類型和數(shù)據(jù)等,使任務的發(fā)送有明確的目的和具體意義。圖3所示的設置 地址組合序列則進一步擴展了用戶定義的基礎序列,它調用了地址設置事務處理任務(設 備地址為01)和IN事務處理任務(設備地址為01,設備端點號為0),兩者的組合共同完成 了 USB主機發(fā)送建立包,設置設備地址,并得到設備回應的全部過程。
[0037] 以上通過【具體實施方式】對本發(fā)明進行了詳細的說明,但這些并非構成對本發(fā)明的 限制。在不脫離本發(fā)明原理的情況下,本領域的技術人員還可做出許多變形和改進,這些也 視為本發(fā)明的保護范圍。
【權利要求】
1. 一種通用串行總線USB設備控制器模塊功能驗證方法,其特征在于:基于驗證方法 學UVM,使用系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP和通用串行總線USB主機驗證知識產(chǎn)權IP 構建驗證環(huán)境平臺中的參考模型,對通用串行總線USB設備控制器模塊實施功能驗證。
2.根據(jù)權利要求1所述的方法,其特征在于:所述系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP 作為通用串行總線USB設備控制器模塊的系統(tǒng)總線AHB上的主設備參考模型,用來配置通 用串行總線USB設備控制器模塊的內(nèi)部寄存器;所述通用串行總線USB主機驗證知識產(chǎn)權 IP作為通用串行總線USB主機模型,對通用串行總線USB設備控制器模塊進行復位、總線枚 舉和發(fā)起傳輸。
3.根據(jù)權利要求1或2所述的方法,其特征在于:所述實施功能驗證是指,一方面,通 過系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP產(chǎn)生寄存器讀寫激勵序列單元;另一方面,通過通用 串行總線USB主機驗證知識產(chǎn)權IP產(chǎn)生可約束的隨機的通用串行總線USB事務處理級的 激勵序列單元,這兩種激勵序列單元在虛擬序列中通過約定的流程控制達到同步,共同觸 發(fā)驗證環(huán)境平臺工作;所述驗證環(huán)境平臺自動化判斷響應結果,自動化統(tǒng)計功能覆蓋率。
4.根據(jù)權利要求3所述的方法,其特征在于:系統(tǒng)總線AHB端產(chǎn)生的所述寄存器讀寫 激勵序列單元是在系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP基礎序列單元的基礎上擴展而來,擴 充了讀任務和寫任務;系統(tǒng)總線AHB端的序列器也是在系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP 的原序列器的基礎上擴展而來,添加了用于流程控制的虛擬中斷接口 ;系統(tǒng)總線AHB端通 過中斷等待及讀任務或寫任務,實施通用串行總線USB設備控制器模塊的內(nèi)部寄存器配置 和通信流程控制。
5.根據(jù)權利要求3所述的方法,其特征在于:通用串行總線USB主機端產(chǎn)生的所述通 用串行總線USB事務處理級的激勵序列單元是在通用串行總線USB主機驗證知識產(chǎn)權IP 的事務處理級序列單元基礎上擴展而來,在所述事務處理級序列單元的基礎上,添加了多 個任務,用來發(fā)送輸入IN事務處理任務、輸出OUT事務處理任務、高速輸出詢問PING事務 處理任務和建立SETUP事務處理任務。
6.根據(jù)權利要求5所述的方法,其特征在于:通用串行總線USB事務處理級的激勵序 列單元可隨機生成,也可調用單個任務實現(xiàn);USB總線枚舉過程和數(shù)據(jù)傳輸通過所述的任 務組合實現(xiàn)。
7. -種權利要求1-6任一所述方法采用的驗證環(huán)境平臺,其特征在于:采用system verilog語言,基于驗證方法學UVM完成;包括: 系統(tǒng)總線AHB通用驗證組件,是系統(tǒng)總線AHB端驗證環(huán)境子模塊,用于完成系統(tǒng)總線 AHB總線操作; 通用串行總線USB通用驗證組件,是通用串行總線USB主機端驗證環(huán)境子模塊,用來模 擬通用串行總線USB主機的工作; 虛擬序列器,是虛擬的產(chǎn)生器,不連接所述系統(tǒng)總線AHB通用驗證組件和通用串行總 線USB通用驗證組件中的任何驅動器,在所述系統(tǒng)總線AHB通用驗證組件和通用串行總線 USB通用驗證組件的上層控制系統(tǒng)總線AHB端和通用串行總線USB主機端的激勵序列單元 產(chǎn)生順序; 記分板,負責采集所述系統(tǒng)總線AHB通用驗證組件和通用串行總線USB通用驗證組件 產(chǎn)生的數(shù)據(jù),并進行自動比較,以判斷傳輸是否正確; 通用串行總線USB配置文件,負責管理整個驗證環(huán)境平臺,同步系統(tǒng)總線AHB端與通用 串行總線USB主機端的配置信息。
8.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:系統(tǒng)總線AHB總線驗證知識產(chǎn) 權IP通過系統(tǒng)總線AHB總線配置通用串行總線USB設備控制器模塊的相關內(nèi)部寄存器,使 通用串行總線USB設備控制器模塊連接通用串行總線USB主機;通用串行總線USB主機驗 證知識產(chǎn)權IP確認通用串行總線USB連接后,發(fā)起復位信號;通用串行總線USB設備控制 器模塊作復位應答,并進行相關寄存器的復位操作;通用串行總線USB主機驗證知識產(chǎn)權 IP在確認雙方復位流程結束后開始進行總線枚舉,待總線枚舉成功后進行數(shù)據(jù)通信;通用 串行總線USB設備控制器模塊做出應答并在系統(tǒng)總線AHB總線驗證知識產(chǎn)權IP的操作下 傳輸其內(nèi)部寄存器中的數(shù)據(jù)。
9.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:系統(tǒng)總線AHB通用驗證組件包 含系統(tǒng)總線AHB總線協(xié)議中的各組件,包括主設備,從設備,仲裁器,譯碼器;這些組件連通 后,共同模擬系統(tǒng)總線AHB總線系統(tǒng)的運轉;虛擬序列器通過向主設備組件發(fā)送寄存器讀 寫激勵序列單元,實現(xiàn)系統(tǒng)總線AHB端寄存器讀寫激勵序列單元的傳達。
10.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:所述通用串行總線USB通用驗 證組件模擬通用串行總線USB主機的工作,包括發(fā)起傳輸、應答設備、復位、掛起和喚醒。
11.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:每個所述系統(tǒng)總線AHB通用驗 證組件和通用串行總線USB通用驗證組件都是封裝成型、可配置的和可重用的;每個所述 系統(tǒng)總線AHB通用驗證組件和通用串行總線USB通用驗證組件內(nèi)部,包含一個或多個代理 模塊;每個代理模塊由序列器、驅動器和監(jiān)控器構成; 所述序列器是一個激勵產(chǎn)生器,根據(jù)下方驅動器的需求,控制激勵序列單元產(chǎn)生; 所述驅動器是一個主動的實體,將抽象的數(shù)據(jù)序列轉化成邏輯信號,驅動到系統(tǒng)總線 AHB總線接口上; 所述監(jiān)控器是一個被動的實體,負責收集接口信號和提煉事件,以便做覆蓋率分析、協(xié) 議檢查和數(shù)據(jù)比較;負責監(jiān)控系統(tǒng)總線AHB總線或通用串行總線USB主機行為,接口信號若 與協(xié)議不符,則報錯。
12.根據(jù)權利要求11所述的驗證環(huán)境平臺,其特征在于:所述驗證環(huán)境平臺是一個分 層的驗證環(huán)境平臺:在頂層定義系統(tǒng)總線AHB端與通用串行總線USB主機端施加的激勵序 列單元;該激勵序列單元以嵌套的激勵序列單元形式存在,描述當前測試的全過程;包括 系統(tǒng)總線AHB端初始化寄存器序列單元、通用串行總線USB主機發(fā)送復位信號序列單元、通 用串行總線USB主機設置地址序列單元、通用串行總線USB主機設置配置序列單元、系統(tǒng)總 線AHB端應答地址設置序列單元、系統(tǒng)總線AHB端應答配置設置序列單元、通用串行總線 USB主機發(fā)送數(shù)據(jù)序列單元和系統(tǒng)總線AHB端接收數(shù)據(jù)序列單元;這些激勵序列單元通過 所述虛擬序列器分發(fā)到系統(tǒng)總線AHB通用驗證組件和通用串行總線USB通用驗證組件中的 實際序列器中;即一方面,系統(tǒng)總線AHB通用驗證組件中的主設備組件的序列器得到從所 述虛擬序列器傳來的序列名后,產(chǎn)生對應的系統(tǒng)總線AHB端寄存器讀寫激勵序列單元;主 設備組件的驅動器從其序列器中獲取這些寄存器讀寫激勵序列單元并驅動到系統(tǒng)總線AHB 總線上,完成讀寫操作;所述主設備組件的監(jiān)視器實時監(jiān)控系統(tǒng)總線AHB總線的信號動作; 另一方面,通用串行總線USB通用驗證組件中的序列器得到從所述虛擬序列器傳來的序列 名后產(chǎn)生對應的通用串行總線USB事務處理級的激勵序列單元;通用串行總線USB通用驗 證組件中的驅動器從其序列器中獲取通用串行總線USB事務處理級的激勵序列單元,并轉 發(fā)給通用串行總線USB主機驗證知識產(chǎn)權IP ;通用串行總線USB主機驗證知識產(chǎn)權IP解 析該通用串行總線USB事務處理級的激勵序列單元,并轉化成通用串行總線USB接口信號, 驅動到通用串行總線USB總線上;通用串行總線USB主機驗證知識產(chǎn)權IP自帶的監(jiān)控器負 責偵測通用串行總線USB總線活動并做協(xié)議檢查。
13.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:對于通用串行總線USB主機端 的輸出OUT方向的傳輸,系統(tǒng)總線AHB端收到的數(shù)據(jù)與通用串行總線USB主機端發(fā)出的數(shù) 據(jù)將被采集到記分板中比較;對于通用串行總線USB主機端的輸入IN方向的傳輸,通用串 行總線USB主機端收到的數(shù)據(jù)與系統(tǒng)總線AHB端發(fā)出的數(shù)據(jù)將被采集到記分板中比較;所 述數(shù)據(jù)通過驗證方法學UVM的傳輸級模型機制定義的端口傳遞。
14.根據(jù)權利要求7所述的驗證環(huán)境平臺,其特征在于:所述配置信息包含通用串行總 線USB設備控制器模塊內(nèi)部寄存器的初始配置及通用串行總線USB主機的相關配置信息; 包括最大包長度、傳輸類型和傳輸速度。
【文檔編號】G06F11/267GK104142876SQ201310163722
【公開日】2014年11月12日 申請日期:2013年5月6日 優(yōu)先權日:2013年5月6日
【發(fā)明者】劉蕊 申請人:上海華虹集成電路有限責任公司