基于E語(yǔ)言的數(shù)字電視DVB-H系統(tǒng)數(shù)據(jù)鏈路層功能驗(yàn)證研究
掃描二維碼
隨時(shí)隨地手機(jī)看文章
摘 要:隨著數(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)。