摘 要：隨著數(shù)字電視的迅速發(fā)展和移動(dòng)多媒體設(shè)備一一手機(jī)，PDA等的普及，新的技術(shù)被發(fā)展并應(yīng)用于手持設(shè)備數(shù)字電視的接收，DVB—H手機(jī)電視標(biāo)準(zhǔn)提供了很好的手機(jī)電視接收解決方案。該標(biāo)準(zhǔn)是DVB—T的擴(kuò)展應(yīng)用，在數(shù)據(jù)鏈路層實(shí)現(xiàn)了時(shí)間分片、多協(xié)議封裝和前向糾錯(cuò)功能，從而降低了平均功耗，增強(qiáng)了移動(dòng)接收的魯棒性。提出了基于E語(yǔ)言的DVB—H系統(tǒng)數(shù)據(jù)鏈路層的功能驗(yàn)證環(huán)境，并給出了具體驗(yàn)證步驟和結(jié)果分析，最后通過(guò)驗(yàn)證分析完善和改進(jìn)了DVB—H數(shù)據(jù)鏈路層系統(tǒng)功能，此外對(duì)基于E語(yǔ)言的驗(yàn)證方法進(jìn)行了一定的研究。
關(guān)鍵詞：DVB—H；數(shù)字電視；E語(yǔ)言；功能驗(yàn)證

l 引 言
    歐洲無(wú)線通信標(biāo)準(zhǔn)組織(ETSI)在2004年10月發(fā)布了數(shù)字電視手機(jī)標(biāo)準(zhǔn)——DVB—H(Digital Video Broad—casting for Handheld Terminals)。該標(biāo)準(zhǔn)是地面數(shù)字電視標(biāo)準(zhǔn)DVB—T的擴(kuò)展應(yīng)用，能夠在移動(dòng)環(huán)境下為便攜式或手持終端提供高品質(zhì)和可靠的多媒體服務(wù)。DVB—H傳輸系統(tǒng)除了物理層基于DVB—T(Terrestrial Digital Video Broadcasting)系統(tǒng)之外，在數(shù)據(jù)鏈路層增加了時(shí)間分片技術(shù)(Time—slicing)和多協(xié)議封裝和前向糾錯(cuò)(MPE—FEC)功能，從而極大地節(jié)省了手機(jī)功耗并提供了更好的移動(dòng)接收魯棒性。本文針對(duì)DVB—H的系統(tǒng)的特點(diǎn)，選擇基于E語(yǔ)言搭建驗(yàn)證環(huán)境來(lái)驗(yàn)證數(shù)據(jù)鏈路層的功能，同時(shí)通過(guò)驗(yàn)證測(cè)試對(duì)該驗(yàn)證方法進(jìn)行了一定的研究。

2 DVB—H數(shù)字電視傳輸系統(tǒng)數(shù)據(jù)鏈路層
    DVB—H系統(tǒng)包括麗個(gè)主要的部分：物理層和數(shù)據(jù)鏈路層。圖l描述了DVB—H接收系統(tǒng)概念上的基本結(jié)構(gòu)。接收端的DVB—T解調(diào)器通過(guò)RF接收DVB—H模擬信號(hào)，經(jīng)過(guò)解調(diào)后的TS流傳輸?shù)綌?shù)據(jù)鏈路層，鏈路層通過(guò)解封裝和前向糾錯(cuò)得到正確的IP包，并且連同其他TS服務(wù)信息包輸出到終端。同時(shí)，數(shù)據(jù)鏈路層通過(guò)時(shí)間參數(shù)控制工作模式的開(kāi)關(guān)狀態(tài)，降低接收系統(tǒng)的平均功耗。

    物理層 在DVB—T的基礎(chǔ)上進(jìn)行了補(bǔ)充，增加了4k傳輸模式和深度符號(hào)交織，在傳輸參數(shù)信令(TPS)比特中增加了DVB—H專有信令比特，用于支持DVB—H業(yè)務(wù)發(fā)展。在TPS中蜂窩標(biāo)識(shí)指示用于支持移動(dòng)接收時(shí)的快速信號(hào)掃描和頻率交換。增加4k模式可以適應(yīng)移動(dòng)接收特性和單頻網(wǎng)蜂窩的大小，提高網(wǎng)絡(luò)設(shè)計(jì)、規(guī)劃的靈活性。2k和4k模式進(jìn)行深度符號(hào)交織，以進(jìn)一步提高在移動(dòng)環(huán)境和沖擊噪聲環(huán)境下系統(tǒng)的魯棒性。
    數(shù)據(jù)鏈路層 主要包括時(shí)間分片技術(shù)和MPE—FEC(多協(xié)議封裝一前向糾錯(cuò))。
    時(shí)間分片技術(shù)：由于DVB—H系統(tǒng)的發(fā)送端采用突發(fā)式數(shù)據(jù)傳送，在每個(gè)突發(fā)時(shí)間內(nèi)集中的發(fā)送DVB—H數(shù)據(jù)流業(yè)務(wù)，并且該業(yè)務(wù)獨(dú)占全部帶寬。在兩個(gè)時(shí)間片之間沒(méi)有所選的DVB—H數(shù)據(jù)流傳輸，在這段時(shí)間，為了提高系統(tǒng)的兼容性，其他數(shù)據(jù)流，例如DVB—T數(shù)據(jù)流業(yè)務(wù)可以以非時(shí)間分片的方式傳輸。接收端在所選業(yè)務(wù)所在的時(shí)間片接收信息，在兩個(gè)時(shí)間片之間作節(jié)能處理，從而有效地降低接收端平均功耗。此外，在業(yè)務(wù)傳送時(shí)間片內(nèi)，系統(tǒng)可以從經(jīng)過(guò)多協(xié)議封裝的TS碼流中提取時(shí)間參數(shù)信息，計(jì)為Delta—T時(shí)間，這個(gè)相對(duì)時(shí)間指出了當(dāng)前業(yè)務(wù)分片到下一個(gè)具有相同業(yè)務(wù)的時(shí)間片到來(lái)的相對(duì)時(shí)間。因此，系統(tǒng)可以根據(jù)該參數(shù)在下一個(gè)時(shí)間片到來(lái)時(shí)從節(jié)能狀態(tài)轉(zhuǎn)換到工作狀態(tài)。圖2表示了時(shí)間分片技術(shù)的工作原理。

    MPE—FEC：DVB—H標(biāo)準(zhǔn)在數(shù)據(jù)鏈路層為IP包增加了RS(Reed—Solomon)糾錯(cuò)編碼，作為MPE的前向糾錯(cuò)編碼，校驗(yàn)信息將在指定的FEC段中傳送，稱為MPE—FEC。如圖3所示MPE—FEC表的格式，左邊191列是應(yīng)用數(shù)據(jù)部分，右邊為RS數(shù)據(jù)校驗(yàn)部分。幀的行數(shù)是可變參數(shù)，最大行數(shù)為1 024。DVB—H系統(tǒng)發(fā)送端把音視頻的數(shù)據(jù)封裝成IP包的格式，這些IP包依次按列被填充到MPE—FEC表的左邊19l列，如未填滿，以O(shè)填充剩余的部分。然后按行通過(guò)RS(255，191)編碼得到右邊64列的奇偶校驗(yàn)數(shù)據(jù)。

    每一個(gè)IP包將在MPE Section中發(fā)送，RS數(shù)據(jù)將緊跟在最后一個(gè)MPE Section后，通過(guò)MPE-FEC Section傳送，所有的MPE和MPE-FEC Section都有12 B的頭部信息，和數(shù)據(jù)負(fù)載部分(IP數(shù)據(jù)或RS數(shù)據(jù))，在最后有4 B的CRC32校驗(yàn)數(shù)據(jù)。其中在頭信息中有4 B的時(shí)間參數(shù)域，包括12個(gè)比特的開(kāi)始地址，該地址表明了每個(gè)IP包或RS數(shù)據(jù)開(kāi)始數(shù)據(jù)在MPE—FEC表中的位置，18個(gè)比特的Delta—T時(shí)間參數(shù)，以及1個(gè)比特的標(biāo)志位表示最后一個(gè)IP包所在的Section和最后整個(gè)幀的結(jié)束，通常是最后一個(gè)MPE-FEC Section。所有的Section將被拆分為184 B作為TS包的有效負(fù)載部分，特殊情況是當(dāng)作為Section的第一個(gè)TS包，將加上一個(gè)點(diǎn)(point)字節(jié)，該字節(jié)指名Section的第一個(gè)字節(jié)在TS包中的位置，然后加上183 B作為TS包的有效負(fù)載部分，并加上TS包的4 B的頭信息，通過(guò)復(fù)用后發(fā)送到信道中傳輸，如圖4所示。

    接收端將在所選的業(yè)務(wù)的時(shí)間片內(nèi)，從復(fù)用的TS碼流中得到所有的Section，通過(guò)計(jì)算Section的CRC32和接收數(shù)據(jù)的CRC32對(duì)比，如果一致，表明該IP包正確接收，反之，該IP數(shù)據(jù)包將整個(gè)被丟掉，并且按照頭部信息中的開(kāi)始地址域，將正確的IP包保存在MPE-FEC數(shù)據(jù)表中，沒(méi)有正確接收的IP包，將不出現(xiàn)在表中，且相應(yīng)位置將被標(biāo)記為不可靠位，然后通過(guò)RS(255，191)解碼，得到所有的正確的IP包。這種RS糾錯(cuò)方法稱為擦除表RS糾錯(cuò)，最大糾錯(cuò)能力每行可達(dá)到兩倍的錯(cuò)誤字節(jié)數(shù)，即64 B。如果每行的不可靠字節(jié)數(shù)超過(guò)這個(gè)最大限制，RS糾錯(cuò)將失敗，MPE-FEC的整個(gè)幀將被丟棄。

3 基于E語(yǔ)言的DVB-H系統(tǒng)驗(yàn)證環(huán)境的構(gòu)建
    目前的IC設(shè)計(jì)中，由于SoC(System on Chip)設(shè)計(jì)的日益復(fù)雜化以及芯片規(guī)模的日益擴(kuò)大，系統(tǒng)級(jí)驗(yàn)證成為最具挑戰(zhàn)的環(huán)節(jié)，據(jù)估計(jì)從系統(tǒng)結(jié)構(gòu)設(shè)計(jì)，子模塊設(shè)計(jì)，子模塊驗(yàn)證，系統(tǒng)級(jí)驗(yàn)證到FPGA測(cè)試，到最終的IC的投產(chǎn)，60％～70％的時(shí)間會(huì)花費(fèi)在功能驗(yàn)證方面。選擇高性能的驗(yàn)證工具將極大地縮短驗(yàn)證時(shí)間，從而降低設(shè)計(jì)的開(kāi)發(fā)周期。當(dāng)前的EDA行業(yè)最推崇的主要是System C和E兩種驗(yàn)證語(yǔ)言。其中E語(yǔ)言是Vetisity公司開(kāi)發(fā)的專用于其Specman驗(yàn)證工具上的一種面向?qū)ο蟮尿?yàn)證語(yǔ)言。用E語(yǔ)言來(lái)搭建系統(tǒng)測(cè)試環(huán)境有很多優(yōu)點(diǎn)：自動(dòng)生成基于約束條件的測(cè)試矢量，通過(guò)描述約束條件產(chǎn)生驗(yàn)證計(jì)劃中期望的驗(yàn)證場(chǎng)景，能夠根據(jù)DUV(Design Under Verifica-tion)當(dāng)前的狀態(tài)動(dòng)態(tài)地產(chǎn)生測(cè)試場(chǎng)景，這樣便有可能產(chǎn)生一些很難碰到的邊緣案例；自動(dòng)完成數(shù)據(jù)和時(shí)序的檢查；自動(dòng)進(jìn)行功能覆蓋率的分析找出漏洞；提供所有主流的Verilog和VHDL仿真器接口；此外擴(kuò)展性強(qiáng)，可以在分開(kāi)的測(cè)試文件中修改若干數(shù)據(jù)對(duì)象，這些測(cè)試文件在分層的基礎(chǔ)驗(yàn)證環(huán)境中處于頂部，這種擴(kuò)展特性允許不犧牲模塊化或可讀性的同時(shí)更好地迎合系統(tǒng)和測(cè)試說(shuō)明的要求。此外在本文的第二部分的分析中，DVB—H數(shù)據(jù)鏈路層的功能主要基于一系列的協(xié)議層，E語(yǔ)言可以通過(guò)簡(jiǎn)單的描述實(shí)現(xiàn)各種復(fù)雜協(xié)議測(cè)試激勵(lì)的生成，十分符合DVB—H系統(tǒng)功能驗(yàn)證要求。
3．1 構(gòu)建DVB—H驗(yàn)證環(huán)境
    基于E語(yǔ)言的DVB—H驗(yàn)證環(huán)境如圖5所示，dvbh_env是用E語(yǔ)言搭建的驗(yàn)證環(huán)境，dvbh_dut作為DVB—H系統(tǒng)數(shù)據(jù)鏈路層的系統(tǒng)模型被例化到驗(yàn)證環(huán)境中。由于DVB—H數(shù)據(jù)鏈路層要處理各種符合協(xié)議要求的TS包，同時(shí)負(fù)責(zé)對(duì)錯(cuò)包和丟包情況作糾錯(cuò)處理，并需要管理時(shí)間分片從而有效地將低功耗，因此對(duì)這些事務(wù)處理過(guò)程的驗(yàn)證離不開(kāi)各種復(fù)雜測(cè)試激勵(lì)的生成，然而傳統(tǒng)的手工編寫(xiě)的激勵(lì)很難覆蓋到各種場(chǎng)景，采用E語(yǔ)言的驗(yàn)證平臺(tái)通過(guò)在滿足約束的條件下，隨機(jī)自動(dòng)生成測(cè)試矢量，達(dá)到了高效的驗(yàn)證需要。同時(shí)和傳統(tǒng)的手工編寫(xiě)測(cè)試激勵(lì)的相比，E語(yǔ)言中有各種函數(shù)可供利用，可以方便地實(shí)現(xiàn)各種算法，例如：各種協(xié)議包中都有CRC32校驗(yàn)字節(jié)，調(diào)用E語(yǔ)言CRC_32()函數(shù)就可以實(shí)現(xiàn)。此外，各種協(xié)議包都有固定的結(jié)構(gòu)，通過(guò)E語(yǔ)言中的struct可以構(gòu)建各種協(xié)議包，并在產(chǎn)生協(xié)議包的過(guò)程中可以對(duì)結(jié)構(gòu)中的域值重新指定或者限定范圍，也可以通過(guò)定義不符合協(xié)議要求的包及有錯(cuò)誤值的包來(lái)達(dá)到驗(yàn)證系統(tǒng)魯棒性的要求。擴(kuò)展性強(qiáng)的優(yōu)點(diǎn)可以節(jié)省編寫(xiě)各種測(cè)例的時(shí)間，E語(yǔ)言很類似于HDL語(yǔ)言編寫(xiě)的系統(tǒng)，在一個(gè)系統(tǒng)頂層模塊中有各種例化的子模塊組成，E語(yǔ)言的這些子模塊為unit，可以通過(guò)extend uinit_name{}方式在不改變基本結(jié)構(gòu)基礎(chǔ)上的對(duì)子模塊作擴(kuò)展，也可以覆蓋原有的內(nèi)容重新定義。E語(yǔ)言驗(yàn)證環(huán)境也提供了數(shù)據(jù)一致性檢查的機(jī)制，稱為記分板方法。具體是通過(guò)將原始測(cè)試激勵(lì)與從系統(tǒng)輸出的數(shù)據(jù)作比較，提供報(bào)告驗(yàn)證系統(tǒng)的功能。在DVB—H鏈路層系統(tǒng)中，RS糾錯(cuò)模塊對(duì)收到的IP包做糾錯(cuò)處理，因此記分板方法可以很好的驗(yàn)證數(shù)據(jù)糾錯(cuò)功能。
3．2 驗(yàn)證步驟及代碼具體實(shí)現(xiàn)
    驗(yàn)證環(huán)境搭建完成后，就可以將DVB—H接收系統(tǒng)的鏈路層例化到功能驗(yàn)證環(huán)境中進(jìn)行驗(yàn)證。以下各步需要通過(guò)E語(yǔ)言來(lái)完成。
    第一步，驗(yàn)證環(huán)境需要產(chǎn)生符合DVB—H標(biāo)準(zhǔn)的TS流，碼流的基本結(jié)構(gòu)如圖4所示。在Host ref模塊中產(chǎn)生IP數(shù)據(jù)包并記錄到計(jì)分板，為數(shù)據(jù)檢查提供參考數(shù)據(jù)。然后在MPE—FEC handle模塊，產(chǎn)生RS編碼數(shù)據(jù)，并封裝成Section格式，隨后在時(shí)間分片模塊中在MPE Section的頭信息的相應(yīng)位中插入時(shí)間分片信息，由TS_gen模塊打包成TS流的格式通過(guò)BB_driver將測(cè)試激勵(lì)輸入已例化到測(cè)試環(huán)境中的DVB—H鏈路層系統(tǒng)。以上部分的工作實(shí)際上是模擬數(shù)字電視發(fā)送端的工作，產(chǎn)生符合協(xié)議要求的傳輸包。

    第二步，在測(cè)試環(huán)境中Host driver模塊模擬系統(tǒng)驅(qū)動(dòng)的工作，主要負(fù)責(zé)和DVB—H傳輸系統(tǒng)的接口交互，包括對(duì)系統(tǒng)的中斷響應(yīng)，寄存器讀寫(xiě)，接收IP數(shù)據(jù)包(即從Buffer中讀出數(shù)據(jù))，同時(shí)通過(guò)將接收的IP數(shù)據(jù)包報(bào)告給計(jì)分板，驗(yàn)證數(shù)據(jù)的一致性。DVB—H系統(tǒng)的接口采用PCI僅用于測(cè)試需要，實(shí)際可以采用各種移動(dòng)設(shè)備流行的接口，包括SDIO，USB2．O等。
    第三步，模擬實(shí)際環(huán)境中的場(chǎng)景，擴(kuò)展測(cè)例，增加覆蓋率，主要包括兩個(gè)方面：
    第一，在數(shù)字電視中，發(fā)送端將各種節(jié)目信息表(SI／PSI表)和視音頻數(shù)據(jù)流復(fù)用后發(fā)送，因此測(cè)試激勵(lì)不僅要產(chǎn)生DVB—H協(xié)議要求的封裝視音頻數(shù)據(jù)的IP包，還需要插入各種服務(wù)信息包，包括NIT(Network Informa—tion Table)，INT(IP／MAC Notification Table)，PAT(Pro—gram Association Table)，PMT(Program Map Table)，EIT(Event Information Table)，SDT(Service Description Ta—ble)，信息表的結(jié)構(gòu)可參照DVB的相關(guān)協(xié)議。第二，在移動(dòng)環(huán)境中通過(guò)DVB—H物理層解調(diào)后，誤碼率依然存在，同時(shí)還會(huì)有丟包的情況發(fā)生，測(cè)試環(huán)境必須模擬該種場(chǎng)景，在數(shù)據(jù)包中隨機(jī)插入錯(cuò)誤數(shù)據(jù)，同時(shí)產(chǎn)生丟包的情況。
    第四步，測(cè)試環(huán)境中注意合理的插入斷言，不僅可以跟蹤仿真進(jìn)度，同時(shí)利于快速定位錯(cuò)誤位置，縮短驗(yàn)證周期。此外為了測(cè)試環(huán)境利于維護(hù)和重用，對(duì)所有的參數(shù)和寄存器地址變量，用名稱關(guān)聯(lián)的方式引用。
    第五步，用監(jiān)視器來(lái)收集和分析仿真對(duì)DVB—H鏈路層模塊的覆蓋情況。根據(jù)各種功能點(diǎn)的覆蓋率要求，設(shè)定一些觸發(fā)事件，觸發(fā)事件發(fā)生時(shí)通過(guò)采集相關(guān)數(shù)據(jù)，可以了解驗(yàn)證的進(jìn)度，以便及時(shí)根據(jù)覆蓋率報(bào)告修改隨機(jī)測(cè)試矢量的約束條件，以覆蓋這些驗(yàn)證中存在的空洞，直到覆蓋率達(dá)到要求。此外也可以通過(guò)設(shè)置斷點(diǎn)，了解功能模塊的工作進(jìn)度，同時(shí)能更好地定位錯(cuò)誤位置，即時(shí)地完善系統(tǒng)功能。

4 驗(yàn)證結(jié)果及分析
    DVB—H數(shù)據(jù)鏈路層功能驗(yàn)證的參數(shù)選擇如表1所示。

    測(cè)試環(huán)境根據(jù)上述參數(shù)條件，共產(chǎn)生了3個(gè)時(shí)間片，共計(jì)180個(gè)IP數(shù)據(jù)包。在第一個(gè)時(shí)間片內(nèi)控制產(chǎn)生6個(gè)字節(jié)錯(cuò)誤隨機(jī)分布在每個(gè)時(shí)間片內(nèi)．的60個(gè)IP包中，隨機(jī)產(chǎn)生2個(gè)TS包丟棄情況，根據(jù)記分板測(cè)試報(bào)告，接收到全部的60個(gè)IP數(shù)據(jù)包并且所有錯(cuò)誤通過(guò)MPE—FEC模塊被糾正。通過(guò)修改約束條件，增加誤碼率，在第二個(gè)時(shí)間片內(nèi)使每個(gè)MPE—FEC幀中13個(gè)IP數(shù)據(jù)包存在錯(cuò)誤比特，由于誤碼率超過(guò)了MPE—FEC模塊的糾錯(cuò)容限，結(jié)果分析，RS糾錯(cuò)失敗，該時(shí)間片內(nèi)的所有IP包被丟棄。第三個(gè)時(shí)間片主要增加了服務(wù)信息表PAT，PMT，測(cè)試系統(tǒng)對(duì)TS流解析的能力。對(duì)時(shí)間參數(shù)Delta—T選擇為當(dāng)前時(shí)間分片到下一個(gè)時(shí)間分片開(kāi)始的間隔設(shè)定100 ms，根據(jù)系統(tǒng)時(shí)間，每個(gè)Section需要根據(jù)相對(duì)時(shí)間偏移，選取不同的Delta—T值插入頭信息中，如果DN為當(dāng)前時(shí)間片的第N個(gè)Section的Delta—T值，DN—l為前一個(gè)Section的Delta—T值：DN=DN-1一M，其中M為時(shí)間偏移量，且第一個(gè)Section的D1=10。驗(yàn)證同時(shí)對(duì)主要模塊的狀態(tài)機(jī)，中斷響應(yīng)，Buffer讀寫(xiě)，寄存器讀寫(xiě)作了測(cè)試覆蓋率分析，功能驗(yàn)證的覆蓋率報(bào)告如圖6所示，其中MPE—FEC模塊的狀態(tài)機(jī)(mpe_fec_state)，中斷響應(yīng)(datagram_statrt_int，datagram_finish_int，power_off_int，power_on_int，buffer_int)，Buffer讀寫(xiě)(buffer_rd，buffer_wr)，寄存器讀寫(xiě)(cfg_reg_rd，cfg_reg_wr)功能覆蓋率均為100％，TS流解析模塊狀態(tài)機(jī)(tsp_state)覆蓋率達(dá)到83％。由以上結(jié)果分析發(fā)現(xiàn)，對(duì)于測(cè)試激勵(lì)，由于產(chǎn)生過(guò)程沒(méi)有覆蓋所有的服務(wù)信息表，主要集中選取PAT、PMT，因此TS流解析對(duì)于其他服務(wù)信息表的解析功能沒(méi)有完全測(cè)試，可以通過(guò)修改測(cè)例，增加各種在DVB—H協(xié)議中包括的服務(wù)信息表的激勵(lì)生成，進(jìn)一步完善對(duì)TS解析功能的測(cè)試。在測(cè)試過(guò)程中，筆者發(fā)現(xiàn)TS流解析模塊不僅需要提取包含在MPE Section頭信息中的各種關(guān)鍵內(nèi)容，并輸出控制信號(hào)給MPE—FEC糾錯(cuò)模塊和時(shí)間分片模塊，同時(shí)還負(fù)責(zé)將正確接收的IP數(shù)據(jù)包通過(guò)buffer寫(xiě)入數(shù)據(jù)存儲(chǔ)器。如果任何解析錯(cuò)誤都將影響其他模塊的正確工作。在測(cè)試中實(shí)際TS解析模塊經(jīng)過(guò)一定修改完善，最終對(duì)于錯(cuò)誤TS包和丟包的情況，和其他邊緣情況達(dá)到了功能要求。此外，通過(guò)后續(xù)對(duì)DVB—H數(shù)據(jù)鏈路層的FPCA硬件測(cè)試結(jié)果證明了基于E語(yǔ)言的功能驗(yàn)證結(jié)果的可靠性和優(yōu)越性。

       
5 結(jié) 語(yǔ)
    該研究通過(guò)DVB—H數(shù)據(jù)鏈路層的基于E語(yǔ)言的驗(yàn)證環(huán)境的構(gòu)建。利用E語(yǔ)言完成測(cè)試環(huán)境的編寫(xiě)，并采用Specman作為功能驗(yàn)證平臺(tái)。針對(duì)DVB—H數(shù)據(jù)鏈路層的協(xié)議分析，通過(guò)產(chǎn)生符合協(xié)議的測(cè)試激勵(lì)及模擬實(shí)際場(chǎng)景的情況，充分驗(yàn)證了系統(tǒng)的功能，同時(shí)通過(guò)計(jì)分板報(bào)告和覆蓋率測(cè)試報(bào)告，完善了系統(tǒng)的邊緣測(cè)試情況?？傊捎肊語(yǔ)言的功能驗(yàn)汪不僅能提高驗(yàn)證效率，同時(shí)調(diào)試方便，而且重用性和可擴(kuò)展性強(qiáng)。