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

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

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