基于E语言的数字电视DVB-H系统数据链路层功能验证研究

文章摘要：3．1 构建DVB—H验证环境 基于E语言的DVB—H验证环境如图5所示，dvbh_env是用E语言搭建的验证环境，dvbh_dut作为DVB—H系统数据链路层的系统模型被例化到验证环境中。由于DVB—H数据链路层要处理各种符合协议要求的TS包，同时负责对错包和丢包情况作纠错处理，并需要管理时间分片从而有效地将低功耗，因此对这些事务处理过程的验证离不开各种复杂测试激励的生成，然而传统的手工编写的激励很难覆盖到各种场景，采用E语言的验证平台通过在满足约束的条件下，随机自动生成测试矢量，达到了高效的验证需要。同时和传统的手工编写测试激励的相比，E语言中有各种函数可供利用，可以方便地实现各种算

基于E语言的数字电视DVB-H系统数据链路层功能验证研究,标签：电子小制作,http://www.88dzw.com
3．1 构建DVB—H验证环境
    基于E语言的DVB—H验证环境如图5所示，dvbh_env是用E语言搭建的验证环境，dvbh_dut作为DVB—H系统数据链路层的系统模型被例化到验证环境中。由于DVB—H数据链路层要处理各种符合协议要求的TS包，同时负责对错包和丢包情况作纠错处理，并需要管理时间分片从而有效地将低功耗，因此对这些事务处理过程的验证离不开各种复杂测试激励的生成，然而传统的手工编写的激励很难覆盖到各种场景，采用E语言的验证平台通过在满足约束的条件下，随机自动生成测试矢量，达到了高效的验证需要。同时和传统的手工编写测试激励的相比，E语言中有各种函数可供利用，可以方便地实现各种算法，例如：各种协议包中都有CRC32校验字节，调用E语言CRC_32()函数就可以实现。此外，各种协议包都有固定的结构，通过E语言中的struct可以构建各种协议包，并在产生协议包的过程中可以对结构中的域值重新指定或者限定范围，也可以通过定义不符合协议要求的包及有错误值的包来达到验证系统鲁棒性的要求。扩展性强的优点可以节省编写各种测例的时间，E语言很类似于HDL语言编写的系统，在一个系统顶层模块中有各种例化的子模块组成，E语言的这些子模块为unit，可以通过extend uinit_name{}方式在不改变基本结构基础上的对子模块作扩展，也可以覆盖原有的内容重新定义。E语言验证环境也提供了数据一致性检查的机制，称为记分板方法。具体是通过将原始测试激励与从系统输出的数据作比较，提供报告验证系统的功能。在DVB—H链路层系统中，RS纠错模块对收到的IP包做纠错处理，因此记分板方法可以很好的验证数据纠错功能。
3．2 验证步骤及代码具体实现
    验证环境搭建完成后，就可以将DVB—H接收系统的链路层例化到功能验证环境中进行验证。以下各步需要通过E语言来完成。
    第一步，验证环境需要产生符合DVB—H标准的TS流，码流的基本结构如图4所示。在Host ref模块中产生IP数据包并记录到计分板，为数据检查提供参考数据。然后在MPE—FEC handle模块，产生RS编码数据，并封装成Section格式，随后在时间分片模块中在MPE Section的头信息的相应位中插入时间分片信息，由TS_gen模块打包成TS流的格式通过BB_driver将测试激励输入已例化到测试环境中的DVB—H链路层系统。以上部分的工作实际上是模拟数字电视发送端的工作，产生符合协议要求的传输包。

上一页  [1] [2] [3] [4]