專利名稱：：驗證環(huán)境系統(tǒng)及其搭建方法
技術(shù)領(lǐng)域：
：本發(fā)明涉及驗證
技術(shù)領(lǐng)域：
，尤其涉及一種驗證環(huán)境系統(tǒng)及其搭建方法。
背景技術(shù)：
：驗證是芯片產(chǎn)品開發(fā)環(huán)節(jié)中為了證明設(shè)計功能是否實現(xiàn)并正確實現(xiàn)的一個必不可少的過程，而為了更好地完成驗證，驗證人員需要經(jīng)常圍繞設(shè)計搭建貼切、高效的驗證環(huán)境。隨著近20年來芯片驗證領(lǐng)域的快速發(fā)展，驗證環(huán)境的搭建有了各種各樣的方法。目前在業(yè)界比較常用的是圍繞仿真頂層來搭建，圍繞仿真頂層是為了根據(jù)仿真頂層信息產(chǎn)生剛剛好滿足于該被測設(shè)計(DUT,DesignUnderTest)的驗證環(huán)境，具有簡單和靈活的優(yōu)勢。圍繞仿真頂層來搭建，通常把環(huán)境需要的各功能模塊和控制模塊事先準備好，然后在仿真頂層中統(tǒng)一例化和連接它們，以完成整個驗證環(huán)境的搭建。該方式很好地解決了與驗證業(yè)務(wù)特點相結(jié)合的問題，使得驗證具有針對性，善于發(fā)現(xiàn)設(shè)計漏洞，結(jié)構(gòu)也比較筒單，控制也靈活。圍繞仿真頂層來搭建驗證環(huán)境的主要思想是以仿真頂層為本，在其內(nèi)部統(tǒng)一定義所需要的信號、例化DUT頂層模塊、編寫和例化所需要的各功能時序模塊或驗證IP(VIP,VerificationIntellectualProperty,驗證重用部件)模塊，并最終完成各模塊間信號的連接和調(diào)試。圍繞仿真頂層的驗證環(huán)境搭建過程如下圖1所示。圍繞仿真頂層來搭建驗證環(huán)境的特點在于1、按調(diào)用方向，時序?qū)硬考漠a(chǎn)生依賴于封裝層和功能層；2、各功能時序模塊或驗證IP模塊和DUT在仿真頂層內(nèi)被統(tǒng)一例化，它們具有同等的地位；3、各個功能時序模塊或驗證IP模塊以及DUT之間的關(guān)系全部體現(xiàn)在仿真頂層內(nèi)；4、封裝層、功能層內(nèi)各驗證部件以及參考模型隱藏在各功能時序模塊或驗證IP模塊下，對于仿真頂層來講是不可見的；5、沒有統(tǒng)一的搭建主線和自動化的搭建思想，需要過多地依賴于驗證人員的手動編輯，但后續(xù)修改起來比較方便。發(fā)明人在本發(fā)明的創(chuàng)造過程中，發(fā)現(xiàn)隨著芯片業(yè)務(wù)復(fù)雜度的不斷增加，現(xiàn)有技術(shù)提供的圍繞仿真頂層來搭建驗證環(huán)境的方式有如缺點現(xiàn)有技術(shù)提供的圍繞仿真頂層來搭建驗證環(huán)境的方式需要驗證人員投入越來越多的精力和時間進行驗證管理，并開發(fā)相關(guān)的功能模塊。由于圍繞仿真頂層來搭建驗證環(huán)境的方式把所有的焦點都集中在了仿真頂層，并過于依賴驗證人員的手動工作，同時在仿真頂層外也給了驗證人員很多的隨意性，故容易造成各DUT驗證環(huán)境之間無法交流和重用，以及很多人為性的錯誤。如果仿真頂層功能模塊比較多，對于驗證人員的工作量也將成倍增長。在現(xiàn)有芯片驗證規(guī)模迅速擴大，而其開發(fā)周期不斷縮減以及驗證質(zhì)量要求不斷提高等情形下，圍繞仿真頂層來搭建方式并不能完全滿足我們快速搭建貼切于產(chǎn)品特點的驗證環(huán)境。
發(fā)明內(nèi)容本發(fā)明實施例提供了一種驗證環(huán)境的搭建方法，以及驗證環(huán)境系統(tǒng)，可實現(xiàn)驗證環(huán)境的有效重用和快速搭建。為解決上述問題，本發(fā)明實施例提供了一種驗證環(huán)境的搭建方法，包括獲取搭建驗證環(huán)境所需的端口信息，產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)根據(jù)源自被測設(shè)計頂層的端口信號，以反配置流的方向逐層搭建驗證環(huán)境的分層結(jié)構(gòu)所需部件。相應(yīng)的，本發(fā)明實施例還提供了一種驗證環(huán)境系統(tǒng)，所述系統(tǒng)以源自被測設(shè)計頂層的端口信號，以反配置流的方向逐層搭建，包括被測設(shè)計頂層，獲取搭建驗證環(huán)境所需的端口信息，將所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號；以被測設(shè)計頂層的名稱命名產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；將端口信號進行分組打包并傳遞；仿真頂層，根據(jù)被分組打包的被測設(shè)計頂層模塊的端口信號同名產(chǎn)生，并在其中完成驗證環(huán)境分層結(jié)構(gòu)所需部件的例化；時序接口層，用于與所述仿真頂層的端口信號同名的方式，在其中產(chǎn)生總線功能模型和監(jiān)控功能模塊的代碼文件，并根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號，連接驗證IP模塊或信號配置模塊；封裝層，將所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號的相關(guān)信息封裝在命令和函數(shù)中，供用戶通過所述命令和函數(shù)，通過驗證IP模塊對所述在總線功能模型和監(jiān)控功能模塊中的端口信號進行控制或處理；功能層，將總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號以同名的方式存在于所述信號配置模塊的配置用例中，供用戶直接進行用例配置。實施本發(fā)明的實施例，具有如下有益效果本發(fā)明實施例提供的驗證環(huán)境系統(tǒng)及其搭建方法，是在DUT頂層端口信息和驗證IP模塊的基礎(chǔ)上，以反配置數(shù)據(jù)流方向分層推進，逐步、快速地建立驗證環(huán)境中需要的各個部件，直至配置用例，實現(xiàn)了驗證環(huán)境的有效重用和快速搭建。圖l是現(xiàn)有"^支術(shù)圍繞仿真頂層的驗證環(huán)境搭建過程示意圖2是本發(fā)明實施例提供的驗證環(huán)境搭建方法第一實施例的流程示意圖3是本發(fā)明實施例提供的驗證環(huán)境搭建方法第二實施例的流程示意圖4是本發(fā)明實施例提供的驗證環(huán)境系統(tǒng)的結(jié)構(gòu)示意圖。圖5是本發(fā)明實施例的驗證環(huán)境系統(tǒng)中被測設(shè)計頂層的結(jié)構(gòu)示意圖6是本發(fā)明實施例的驗證環(huán)境系統(tǒng)中仿真頂層的結(jié)構(gòu)示意圖7是本發(fā)明實施例的-瞼證環(huán)境系統(tǒng)中時序接口層的結(jié)構(gòu)示意圖8是本發(fā)明實施例的驗證環(huán)境系統(tǒng)中封裝層的結(jié)構(gòu)示意圖9是本發(fā)明實施例的-瞼證環(huán)境系統(tǒng)中功能層的結(jié)構(gòu)示意圖。具體實施例方式本發(fā)明實施例提供了一種驗證環(huán)境的搭建方法，以及驗證環(huán)境系統(tǒng)，通過DUT頂層的端口信息，以反配置流的方向傳遞搭建指令，實現(xiàn)環(huán)境部件基于信號的功能分層和有效重用，并減少設(shè)計和驗證之間的隔閡。參見圖2，為本發(fā)明實施例提供的驗證環(huán)境搭建方法第一實施例的流程示意圖。產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；在步驟103,以與被測設(shè)計頂層的端口信號同名的方式，產(chǎn)生并定義仿真頂層，在所述仿真頂層內(nèi)完成驗證環(huán)境分層結(jié)構(gòu)所需部件的例化；具體地，在所述仿真頂層內(nèi)完成被測設(shè)計頂層、總線功能模型、監(jiān)控功能模塊、時鐘/復(fù)位信號產(chǎn)生一莫塊的例化。在步驟104,以與所述仿真頂層的端口信號同名的方式，在時序接口層產(chǎn)生總線功能模型和監(jiān)控功能模塊的代碼文件；在步驟105,根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號，連接相應(yīng)的驗證IP(VIP,VerificationIntellectualProperty,驗證重用部件)模塊；具體地，包括步驟1050、步驟1051、步驟1052:在步驟1050,根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號的標準接口信號，連接總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，所述標準接口信號終結(jié)在所述時序接口層；在步驟1051,將所述標準接口信號的相關(guān)信息傳遞到封裝層，并封裝在相應(yīng)的命令和函數(shù)中；在步驟1052,調(diào)用所述命令或函數(shù)，通過所述總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，對總線功能模型以及監(jiān)控功能模塊中的端口信號進行控制或處理；在步驟106,根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號，連接相應(yīng)的信號配置^t塊。具體地，包括步驟1060、步驟1061:在步驟1060，根據(jù)所述總線功能模型中的自定義接口信號和監(jiān)控功能模塊的非DUT端口信號中的自定義接口信號，連接以同名的方式產(chǎn)生的信號配置沖莫塊；并且通過各自的信號配置模塊傳遞到配置用例中。在步驟1061,所述自定義接口信號繼續(xù)沿端口信號流的方向傳遞到功能層，并以同名的方式存在于所述信號配置模塊的配置用例中，供用戶直接進行用例配置。所述用例配置是指用戶直接對傳遞到用例的配置信號，進行參數(shù)配置或者場景配置。本發(fā)明實施例提供的驗證環(huán)境的搭建方法，是在DUT頂層端口信息和驗證IP模塊的基礎(chǔ)上，以反配置數(shù)據(jù)流方向分層推進，逐步、快速地建立驗證環(huán)境中需要的各個部件，直至配置用例，實現(xiàn)了驗證環(huán)境的有效重用和快速搭建。圖3是本發(fā)明實施例提供的驗證環(huán)境搭建方法第二實施例的流程示意圖；本發(fā)明實施例提供的基于DUT頂層的驗證環(huán)境的搭建方法，是以DUT頂層端口信號信息為數(shù)據(jù)流，逐步傳遞，逐步遞減(各端口信號在相應(yīng)的層上被終止傳遞)，直至端口信號為零為止，其過程與配置數(shù)據(jù)流的方向相反，具體實現(xiàn)過程如下詳述。在步驟200，被測設(shè)計頂層獲取外部提供的端口信息具體是在DUT頂層有區(qū)別于其他環(huán)境的所有信息，通過自動化處理，獲取搭建驗證環(huán)境所需要的端口信息，并進行有效地管理。管理類別通常有以下幾種(以下分類僅供參考，設(shè)計者可以根據(jù)具體使用情況而增加，但方法是一樣的)一、時鐘、復(fù)位信號；二、輸入非標準協(xié)議信號；三、輸入標準協(xié)議信號；四、輸出非標準協(xié)議信號；五、輸出標準協(xié)議信號。在步驟201,以與被分組打包的被測設(shè)計頂層的端口信號同名的方式，產(chǎn)生并定義仿真頂層，在所述仿真頂層內(nèi)完成驗證環(huán)境分層結(jié)構(gòu)所需部件的例化；可以為根據(jù)從DUT頂層獲取到的端口信息，以與DUT頂層端口信號同名的方式，產(chǎn)生并定義仿真頂層、總線功能模塊(BFM,BusFunctionModel)和監(jiān)控功能模塊(Monitor)的端口信號，并在仿真定頂層內(nèi)完成各模塊(DUT、BFM、Monitor,時鐘/復(fù)位信號產(chǎn)生才莫塊)的例化。在步驟202，以與所述仿真頂層的端口信號同名的方式，在時序接口層產(chǎn)生總線功能模型和監(jiān)控功能模塊的代碼文件；可以為根據(jù)仿真頂層的端口信息，以與仿真頂層信號同名的方式，在時序接口層分別自動地產(chǎn)生BFM和Monitor代碼文件。需要說明的是，所述BFM和Monitor的代碼文件實際上是用來處理DUT輸出信息的，所述輸出信息包括對輸出信號和輸出信號的處理，比如將DUT的輸出信號連接到標準的輸出數(shù)據(jù)驗證IP模塊，或者對輸出信號的數(shù)據(jù)或使能進行合并，分拆或者轉(zhuǎn)化等操作，即把DUT輸出信號的數(shù)據(jù)送到封裝層進行處理。仿真頂層的輸入信號即為BFM的輸出信號，相應(yīng)地，仿真頂層的輸出信號即為Monitor的輸入信號(注時鐘、復(fù)位和輸出反饋信號都作為BFM和Monitor的輸入信號)，所有的配置都來源于BFM,由BFM輸出給仿真頂層后，經(jīng)過DUT頂層，再由仿真頂層輸出給Monitor。。需要說明的是，BFM和Monitor端口信號，根據(jù)功能意義，可以分為標準協(xié)議接口信號和自定義接口信號。標準協(xié)議信號自動與VIP模塊相連，并終結(jié)于此；而自定義接口信號則自動與信號配置模塊以同名方式相連，并繼續(xù)往下傳遞。在步驟203，在所述時序接口層終結(jié)的DUT接口信號，將相關(guān)信息傳遞給封裝層，最終由封裝層來進行處理。在封裝層，終結(jié)于時序接口層的DUT端口信號體現(xiàn)在封裝好的命令或函數(shù)中，驗證人員通過執(zhí)行相關(guān)的命令或函數(shù)來給所述終結(jié)于時序接口層的DUT端口信號施加控制或激勵，對驗證DUT提供輸入。在步驟204，未終止于時序接口層的DUT頂層接口信號(非標準接口信號、時鐘、復(fù)位以及相關(guān)控制變量信號)通過信號配置模塊直接傳遞到功能層，并以同名的方式存在于配置用例中，用戶只需直接對其配置；而對于標準協(xié)議的CPU接口信號，需要平臺額外管理該DUT的寄存器信息，并體現(xiàn)在配置用例中。需要說明的是，CPU不僅需要提供標準封裝中的命令和函數(shù)，還需要有操作的對象。DUT的寄存器信息就是封裝層操作的對象，通過自動化處理，可以使得封裝的命令和函數(shù)認識這些寄存器信息，并且讓這些信息體現(xiàn)在配置用例中。以下通過程序來說明上述驗證環(huán)境的搭建過程a、對于一個DUT頂層aaa模塊，它從外部獲取了搭建驗證環(huán)境所需的端口信自、<table>tableseeoriginaldocumentpage11</column></row><table><table>tableseeoriginaldocumentpage12</column></row><table><table>tableseeoriginaldocumentpage13</column></row><table>其相關(guān)信息通過該功能模塊傳遞到相關(guān)的控制層，并結(jié)合寄存器信息，達到配置用例。<formula>formulaseeoriginaldocumentpage14</formula>〃與非標準信號配置功能時序it塊對應(yīng)相連，非標準信號通過該功能模塊傳遞到相關(guān)控制層，達到配置用例。signal_cfgU_signal—cfg(〃input.clk—sys(elk—sys)，.rst_n(rst_n)，〃output.a(a))5endmodule_Monitor_moduleMoniotr()〃復(fù)位和時鐘信號inputclk一sys;inputrst—nj〃輸入控制信號(非標準協(xié)議信號)input^_<table>tableseeoriginaldocumentpage15</column></row><table>本發(fā)明實施例提供的驗證環(huán)境的搭建方法，是在DUT頂層端口信息和驗證IP模塊的基礎(chǔ)上，以反配置數(shù)據(jù)流方向分層推進，逐步、快速地建立驗證環(huán)境中需要的各個部件，直至配置用例，實現(xiàn)了驗證環(huán)境的有效重用和快速搭建。參見圖4,是本發(fā)明實施例提供的-瞼證環(huán)境系統(tǒng)的結(jié)構(gòu)示意圖。所述驗證環(huán)境系統(tǒng)，是以源自被測設(shè)計頂層的端口信號，以反配置數(shù)據(jù)流的方向逐層搭建的，包括被測設(shè)計頂層l，獲取搭建驗證環(huán)境所需的端口信息，將所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號；以被測設(shè)計頂層的名稱命名產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；將端口信號進行分組打包并傳遞；需要說明的是，在DUT頂層l有區(qū)別于其他環(huán)境的所有信息，本發(fā)明實施例通過自動化處理，獲取搭建驗證環(huán)境的分層結(jié)構(gòu)所需要的端口信息，并進行有效地管理。仿真頂層2,根據(jù)被分組打包的被測設(shè)計的頂層1模塊的端口信號同名產(chǎn)生，并在其中完成驗證環(huán)境的分層結(jié)構(gòu)所需部件的例化；具體地，根據(jù)從DUT頂層獲取到的端口信息，以與DUT頂層端口信號同名的方式，產(chǎn)生并定義仿真頂層、總線功能模塊210(BFM，BusFunctionModel)和監(jiān)控功能4莫塊211(Monitor)的端口信號，并在仿真定頂層內(nèi)完成各模塊(DUT、BFM、Monitor、時鐘/復(fù)位信號產(chǎn)生模塊)的例化。時序接口層3，用于與所述仿真頂層2的端口信號同名的方式，在其中產(chǎn)生總線功能模型210和監(jiān)控功能模塊211的代碼文件，并根據(jù)所述總線功能模型210和監(jiān)控功能模塊211的端口信號，連接驗證IP模塊或信號配置模塊；具體地，所述BFM210和Monitor211的端口信號，才艮據(jù)功能意義，可以分為標準協(xié)議接口信號和自定義接口信號。標準協(xié)議信號自動與VIP模塊相連，并終結(jié)于此；而自定義接口信號則自動與信號配置模塊以同名方式相連，并繼續(xù)往下傳遞。封裝層4，將所述總線功能模型210和監(jiān)控功能模塊211的端口信號中的標準接口信號的相關(guān)信息封裝在相應(yīng)的命令和函數(shù)中，供用戶通過所述命令和函數(shù)，通過驗證IP模塊對所述在總線功能模型210和監(jiān)控功能模塊211中的端口信號進行控制或處理；功能層5，將總線功能模型210和監(jiān)控功能模塊211的端口信號中的自定義接口信號以同名的方式存在于所述信號配置才莫塊的配置用例中，供用戶直接進行用例配置。參見圖5,為本發(fā)明實施例提供的如圖4所示的驗證環(huán)境系統(tǒng)中被測設(shè)計頂層的結(jié)構(gòu)示意所述被測設(shè)計頂層1包括信號接收模塊10，用于獲取外部提供的端口信息；信號處理模塊11，用于將信號接收模塊所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號，并以被測設(shè)計頂層1的名稱命名產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；需要說明的是，以被測設(shè)計頂層1的名稱命名產(chǎn)生馬IS正環(huán)境的分層結(jié)構(gòu)，可以區(qū)別于其他環(huán)境；信號發(fā)送斗莫塊12，用于將經(jīng)過信號處理模塊處理的端口信號進行分組打包后，發(fā)送到仿真頂層。需要說明的是，被測設(shè)計頂層1的端口信號用來同名產(chǎn)生驗證環(huán)境的分層結(jié)構(gòu)中各配置信號變量和部件接口信號，這樣便于識別該驗證環(huán)境，有很好的可讀性、維護性和移植性。參見圖6，為本發(fā)明實施例提供的如圖4所示的驗證環(huán)境系統(tǒng)中仿真頂層的結(jié)構(gòu)示意所述仿真頂層2包括信號接收模塊20,用于接收來自被測設(shè)計頂層信號發(fā)送模塊所發(fā)出的被分組打包的端口信號；部件生成模塊21，以被測設(shè)計的頂層端口信號同名的方式產(chǎn)生并定義驗證環(huán)境的時序接口層、封裝層和功能層等分層結(jié)構(gòu)所需部件；所述部件生成模塊21所產(chǎn)生并定義的部件包括總線功能模塊210,用于傳遞驗證環(huán)境的分層結(jié)構(gòu)的端口信號；監(jiān)控功能模塊211,用于對驗證環(huán)境的分層結(jié)構(gòu)中的各種信息進行管理和控制；部件例化模塊22,用于完成對所述時序接口層、封裝層和功能層等分層結(jié)構(gòu)所需部件的例化；具體地，在仿真頂層2內(nèi)，完成對被測設(shè)計頂層l,總線功能模塊210、監(jiān)控功能模塊211,以及時鐘/復(fù)位信號產(chǎn)生模塊的例化；信號發(fā)送模塊23,用于將經(jīng)過仿真頂層處理的信號發(fā)送至時序接口層。參見圖7,為本發(fā)明實施例提供的如圖4所示的驗證環(huán)境系統(tǒng)中時序接口層的結(jié)構(gòu)示意所述時序接口層3包括信號接收模塊30,用于接收仿真頂層2的信號發(fā)送模塊20所發(fā)送的所述總線功能模型210和監(jiān)控功能模塊211的端口信號；代碼生成模塊31,用于以與所述仿真頂層2的端口信號同名的方式，生成總線功能模塊210和監(jiān)控功能模塊211的代碼文件；需要說明的是，所述總線功能模塊210和監(jiān)控功能模塊211的代碼文件實際上是用來處理DUT輸出信息的，所述DUT輸出信息包括對輸入信號和輸出信號的處理，比如將DUT的輸出信號連接到標準的輸出數(shù)據(jù)VIP模塊，或者對輸出信號的數(shù)據(jù)或使能進行合并，分拆或者轉(zhuǎn)化等操作，即把DUT輸出的數(shù)據(jù)送到封裝層進行處理。信號處理模塊32，用于根據(jù)所述總線功能模型210和監(jiān)控功能模塊211的端口信號中的標準接口信號，連接相應(yīng)的驗證IP模塊；根據(jù)所述總線功能模型的自定義接口信號和監(jiān)控功能模塊的非DUT端口信號中的自定義接口信號，連接相應(yīng)的信號配置模塊；信號發(fā)送模塊33，將所述標準接口信號的相關(guān)信息發(fā)送至封裝層4;將所述自定義接口信號發(fā)送至功能層5。參見圖8，為本發(fā)明實施例提供的如圖4所示的驗證環(huán)境系統(tǒng)中封裝層的結(jié)構(gòu)示意所述封裝層4包括信號接收模塊40，用于接收時序接口層3的信號發(fā)送模塊32所發(fā)送的標準接口信號的相關(guān)信息；封裝模塊41,用于將所述標準接口信號的相關(guān)信息封裝在相應(yīng)的命令和函數(shù)中；驗證模塊42，調(diào)用所述命令或函數(shù)，通過所述總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，對總線功能模型210以及監(jiān)控功能模塊211中的端口信號進行控制或處理。需要說明的是，對于所述DUT的標準接口信號，還需要平臺額外管理該DUT的寄存器信息，并體現(xiàn)在配置用例中。參見圖9,為本發(fā)明實施例提供的如圖4所示的驗證環(huán)境系統(tǒng)中功能層的結(jié)構(gòu)示意所述功能層5包括信號接收模塊50,用于接收時序接口層3的信號發(fā)送模塊32所發(fā)送的自定義接口信號；信號配置模塊51,用于將所述自定義接口信號以同名的方式存在于所述信號配置^^莫塊的配置用例中，供用戶進行用例配置。本發(fā)明實施例提供的驗證環(huán)境系統(tǒng)，是在DUT頂層端口信息和驗證IP模塊的基礎(chǔ)上，以反配置數(shù)據(jù)流方向分層推進，逐步、快速地建立驗證環(huán)境中需要的各個部件，直至配置用例，實現(xiàn)驗證環(huán)境的有效重用和快速搭建，其有益效果如下1、基于客觀的信息和資源，憑借自動化控制和管理，可以快速地搭建貼切產(chǎn)品的驗證環(huán)境，驗證H^莫塊也能得到有效的重用；2、由于該技術(shù)采用了DUT頂層端口信息來產(chǎn)生相應(yīng)的部件，變量和信號有了統(tǒng)一的定義，加上自動化控制和相對管理，使得環(huán)境的可讀性、維護性和移植性都非常好。同時，設(shè)計人員和驗證人員統(tǒng)一于DUT信號的變量命名，在環(huán)境使用上存在很大的交流空間，使用隔閡(比如配置)有了很大程度的減少，效率得到提升；3、取決于DUT頂層的自動化搭建，有了控制過程的統(tǒng)一測試，驗證人員后續(xù)不需要投入過多的精力來搭建和調(diào)試，降低了驗證環(huán)境搭建過程中資源的投入；4、大量地減少了人為性的手動操作，使得環(huán)境中不存在過多的人為因素，出錯概率極小，而且隨著接口信號的增多，工作量體現(xiàn)不出來；5、在各個層次上統(tǒng)一了架構(gòu)和形式，環(huán)境質(zhì)量可以得到統(tǒng)一的保證，也有利于評審活動的開展。通過以上的實施方式的描述，本領(lǐng)域的技術(shù)人員可以清楚地了解到本發(fā)明可借助軟件加必需的硬件平臺的方式來實現(xiàn)，當然也可以全部通過硬件來實施?；谶@樣的理解，本發(fā)明的技術(shù)方案對
背景技術(shù)：
做出貢獻的全部或者部分可以以軟件產(chǎn)品的形式體現(xiàn)出來，該計算機軟件產(chǎn)品可以存儲在存儲介質(zhì)中，如ROM/RAM、磁碟、光盤等，包括若干指令用以使得一臺計算機設(shè)備(可以是個人計算機，服務(wù)器，或者網(wǎng)絡(luò)設(shè)備等)執(zhí)行本發(fā)明各個實施例或者實施例的某些部分所述的方法。以上所揭露的僅為本發(fā)明一種較佳實施例而已，當然不能以此來限定本發(fā)明之權(quán)利范圍，因此依本發(fā)明權(quán)利要求所作的等同變化，仍屬本發(fā)明所涵蓋的范圍。權(quán)利要求1、一種驗證環(huán)境的搭建方法，其特征在于，包括獲取搭建驗證環(huán)境所需的端口信息，產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；根據(jù)源自被測設(shè)計頂層的端口信號，以反配置數(shù)據(jù)流的方向逐層搭建驗證環(huán)境分層結(jié)構(gòu)所需部件。2、如權(quán)利要求1所述的驗證環(huán)境的搭建方法，其特征在于，獲取搭建驗證環(huán)境所需的被測設(shè)計頂層的端口信息，產(chǎn)生驗證環(huán)境的分層結(jié)構(gòu)，包括通過被測設(shè)計頂層獲取外部提供的端口信息；將所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號；以被測設(shè)計頂層的名稱命名產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)。3、如權(quán)利要求1所述的驗證環(huán)境的搭建方法，其特征在于，根據(jù)源自被測設(shè)計頂層的端口信號，以反配置數(shù)據(jù)流的方向逐層搭建驗證環(huán)境分層結(jié)構(gòu)所需部件，包4舌將被測設(shè)計頂層的端口信號進行分組打包并傳遞，以與被測設(shè)計頂層的端口信號同名的方式，產(chǎn)生并定義仿真頂層，在所述仿真頂層內(nèi)完成驗證環(huán)境的分層結(jié)構(gòu)所需部件的例化；以與所述仿真頂層的端口信號同名的方式，在時序接口層產(chǎn)生總線功能模型和監(jiān)控功能模塊的代碼文件；根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號，連接相應(yīng)的-險證IP模塊；根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號，連接相應(yīng)的信號配置模塊。4、如權(quán)利要求3所述的驗證環(huán)境的搭建方法，其特征在于，在所述仿真頂層內(nèi)完成驗證環(huán)境分層結(jié)構(gòu)所需部件的例化，包括在所述仿真頂層內(nèi)完成被測設(shè)計頂層、總線功能模型、監(jiān)控功能模塊、時鐘/復(fù)位信號產(chǎn)生模塊的例化。5、如權(quán)利要求3所述的驗證環(huán)境的搭建方法，其特征在于，根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號，連接相應(yīng)的驗證IP模塊，包括根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號的標準接口信號，連接總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，所述標準接口信號終結(jié)在所述時序接口層；將所述標準接口信號的相關(guān)信息傳遞到封裝層，并封裝在相應(yīng)的命令和函數(shù)中；調(diào)用所述命令或函數(shù)，通過所述總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，對所述在總線功能模型和監(jiān)控功能模塊中的端口信號進行控制或處理。6、如權(quán)利要求3所述的驗證環(huán)境的搭建方法，其特征在于，根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號，連接相應(yīng)的信號配置模塊，包括根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號，連接以同名的方式產(chǎn)生的信號配置模塊；所述自定義接口信號繼續(xù)沿端口信號流的方向傳遞到功能層，并以同名的方式存在于所述信號配置模塊的配置用例中，供用戶直接進行用例配置。7、一種驗證環(huán)境系統(tǒng)，其特征在于，以源自3皮測設(shè)計頂層的端口信號，以反配置數(shù)據(jù)流的方向逐層搭建驗證環(huán)境所需部件，包括被測設(shè)計頂層，獲取搭建驗證環(huán)境所需的端口信息，將所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號；以被測設(shè)計頂層的名稱命名產(chǎn)生驗證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；將端口信號進行分組打包并傳遞；仿真頂層，根據(jù)被分組打包的被測設(shè)計的頂層模塊的端口信號同名產(chǎn)生，并在其中完成驗證環(huán)境分層結(jié)構(gòu)所需部件的例化；時序接口層，用于與所述仿真頂層的端口信號同名的方式，在其中產(chǎn)生總線功能模型和監(jiān)控功能模塊的代碼文件，并根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號，連接驗證IP模塊或信號配置模塊；封裝層，將所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號的相關(guān)信息封裝在命令和函數(shù)中，供用戶通過所述命令和函數(shù)，通過驗證IP模塊對所述在總線功能模型和監(jiān)控功能模塊中的端口信號進行控制或處理；功能層，將總線功能模型和監(jiān)控功能模塊的端口信號中的自定義接口信號以同名的方式存在于所述信號配置模塊的配置用例中，供用戶直接進行用例配置。8、如權(quán)利要求7所述的驗證環(huán)境系統(tǒng)，其特征在于，所述被測設(shè)計頂層包括信號接收模塊，用于獲取外部提供的端口信息；信號處理模塊，用于將信號接收模塊所獲取的端口信息轉(zhuǎn)化為驗證環(huán)境所能識別的端口信號，并以被測設(shè)計頂層的名稱命名產(chǎn)生-險證環(huán)境中以被測設(shè)計頂層開始的分層結(jié)構(gòu)；信號發(fā)送模塊，用于將經(jīng)過信號處理模塊處理的端口信號進行分組打包后，發(fā)送到仿真頂層。9、如權(quán)利要求7所述的驗證環(huán)境系統(tǒng)，其特征在于，所述仿真頂層包括信號接收模塊，用于接收來自被測設(shè)計頂層信號發(fā)送模塊所發(fā)出的被分組打包的端口信號；部件生成模塊，以被測設(shè)計的頂層端口信號同名的方式產(chǎn)生并定義驗證環(huán)境中時序接口層、封裝層和功能層所需部件；部件例化模塊，用于完成對所述時序接口層、封裝層和功能層所需部件的例化；信號發(fā)送模塊，用于將經(jīng)過仿真頂層處理的信號發(fā)送至時序接口層。10、如權(quán)利要求7所述的驗證環(huán)境系統(tǒng)，其特征在于，所述部件生成模塊所產(chǎn)生并定義的部件包括總線功能模塊，用于傳遞驗證環(huán)境中的端口信號；監(jiān)控功能模塊，用于對驗證環(huán)境中的各種信息進行管理和控制。11、如權(quán)利要求IO所述的驗證環(huán)境系統(tǒng)，其特征在于，所述時序接口層包括..信號接收模塊，用于接收仿真頂層信號發(fā)送模塊所發(fā)送的所述總線功能模型和監(jiān)控功能模塊的端口信號；代碼生成模塊，用于生成總線功能模塊和監(jiān)控功能模塊的代碼文件；信號處理模塊，用于根據(jù)所述總線功能模型和監(jiān)控功能模塊的端口信號中的標準接口信號，連接相應(yīng)的驗證IP模塊；才艮據(jù)所述總線功能4莫型和監(jiān)控功能模塊的端口信號中的自定義接口信號，連接相應(yīng)的信號配置模塊；信號發(fā)送模塊，將所述標準接口信號的相關(guān)信息發(fā)送至封裝層；將所述自定義接口信號發(fā)送至功能層。12、如權(quán)利要求11所述的驗證環(huán)境系統(tǒng)，其特征在于，所述封裝層包括信號接收模塊，用于接收時序接口層所發(fā)送的標準接口信號的相關(guān)信息；封裝模塊，用于將所述標準接口信號的相關(guān)信息封裝在相應(yīng)的命令和函數(shù)中；驗證模塊，調(diào)用所述命令或函數(shù)，通過所述總線功能模型的驗證IP模塊以及監(jiān)控功能模塊的驗證IP模塊，對總線功能模型以及監(jiān)控功能模塊中的端口信號進行控制或處理。13、如權(quán)利要求11所述的驗證環(huán)境系統(tǒng)，其特征在于，所述功能層包括信號接收模塊，用于接收時序接口層所發(fā)送的自定義接口信號；信號配置模塊，用于將所述自定義接口信號以同名的方式存在于所述信號配置模塊的配置用例中，供用戶進行用例配置。全文摘要本發(fā)明實施例公開了一種驗證環(huán)境系統(tǒng)及其搭建方法，其中，驗證環(huán)境的搭建方法包括獲取搭建驗證環(huán)境所需的端口信息，產(chǎn)生驗證環(huán)境的分層結(jié)構(gòu)；根據(jù)源自被測設(shè)計頂層的端口信號，以反配置數(shù)據(jù)流的方向逐層搭建驗證環(huán)境的分層結(jié)構(gòu)所需部件。實施本發(fā)明，可實現(xiàn)驗證環(huán)境的有效重用和快速搭建。文檔編號G06F17/50GK101625705SQ200810029309公開日2010年1月13日申請日期2008年7月8日優(yōu)先權(quán)日2008年7月8日發(fā)明者歡劉,左細生,方志華申請人:華為技術(shù)有限公司