一种基于afdx网络交换机芯片的虚拟验证系统及方法
【技术领域】
[0001]本发明属于集成电路验证领域，涉及一种基于随机控制的AFDX网络交换机芯片虚拟验证系统及方法。
【背景技术】
[0002]航空子系统之间信息的传递是机载系统最重要的部分，用电子系统传递数据是目前最好的方法。航空电子全双工交换以太网(AFDX)是为航电子系统之间进行数据交换而制定的电气和协议标准。它建立在由空客公司引进的AFDX概念的基础之上，速度比它的前身——ARINC 429快1000倍。AFDX网络由航电子系统、AFDX终端系统和AFDX交换机组成。
[0003]由于AFDX网络是在标准以太网传输协议的基础上，重新定义了一套通信协议标准，所以AFDX交换机芯片就需具有AFDX流量警管和过滤等特性。但是，采用以往定向测试的虚拟验证系统及方法，是无法完成对AFDX网络交换机芯片的验证工作。
【发明内容】
[0004]为了解决现有的定向测试的虚拟验证系统及方法无法完成对AFDX网站交换机芯片的验证工作，本发明提供一种基于随机控制的AFDX网络交换机芯片虚拟验证系统及方法。
[0005]本发明的技术解决方案:
[0006]一种基于AFDX网络交换机芯片的虚拟验证系统，其特殊之处在于:顶层30和测试项库29，所述顶层30包括虚激励序列28、验证环境27以及接口 31，
[0007]所述验证环境27包括至少三个以太网端口模型1、主机模型25以及记分板26，
[0008]接口 31:用于提供验证环境27与AFDX网络交换机芯片的交互连接端口 ；
[0009]以太网端口模型1:用于通过接口 31分别向AFDX网络交换机芯片的多个交换端口提供实际交换数据驱动和实际交换数据监控；
[0010]主机模型25:用于通过接口 31向AFDX网络交换机芯片的各种寄存器提供配置驱动；
[0011]记分板26:用于预测AFDX网络交换机芯片的状态信息和各种交换数据；接收以太网端口模型监控到的AFDX网络交换机芯片的实际交换数据和主机模型监控到的实际状态信息；将将预测状态信息和实际状态信息进行比较，同时将预测AFDX网络交换机芯片的各种交换数据与监控到的AFDX网络交换机芯片的实际交换数据进行比较；将比较结果进行保存待用
[0012]测试项库29:用于定义测试序列描述，并提供给虚激励序列；
[0013]虚激励序列28:用于将测试项库29定义的测试序列描述转化成测试序列并分发给以太网端口模型和主机模型25。
[0014]上述虚激励序列28包括主机序列生成器2801，主机序列器2802和以太网端口序列生成器2803以及以太网序列器2804 ；
[0015]所述主机序列生成器2801:用于根据测试项库29定义的测试序列描述生成主机测试序列；
[0016]所述主机序列器2802:用于将主机测试序列分发给主机模型25 ；
[0017]所述以太网端口序列生成器2803:用于根据测试项库29定义的测试序列描述生成以太网端口测试序列；
[0018]所述以太网序列器2804:用于将以太网端口测试序列分发给以太网端口模型；
[0019]所述主机模型25包括主机模型驱动器2501，主机模型监控器2502和主机模型序列器2503 ；
[0020]所述主机模型序列器2503用于接收主机序列器2802分发的主机测试序列并发送给主机模型驱动器2501 ;
[0021]所述主机模型驱动器2501用于接收主机模型序列器2503发送的主机测试序列，转化成主机配置驱动信号，并发送给接口 31 ;
[0022]主机模型监控器2502用于通过接口 31监控AFDX网络交换机芯片的状态信息，并将监控到的实际状态信息发送给记分板26 ;
[0023]每个以太网端口模型I均包括以太网驱动器101、以太网监控器102以及以太网序列器103:
[0024]所述以太网序列器103用于接收以太网序列器2804分发的以太网端口测试序列并发送给以太网驱动器101;
[0025]所述以太网驱动器101用于接收以太网序列器103发送的以太网端口测试序列，转化成交换数据驱动信号，并发送给接口 31 ;
[0026]所述以太网监控器102用于通过接口 31监控AFDX网络交换机芯片的实际交换数据，并将监控到的实际交换数据发送给记分板26。
[0027]上述以太网端口模型I的数量与AFDX网络交换机芯片端口的数量相匹配。
[0028]一种基于AFDX网络交换机芯片的虚拟验证方法，包括以下步骤:
[0029]I】根据用户测试需求定义多个测试项，每个测试项中含有多个测试序列描述；
[0030]2】主机配置:
[0031]2.1】根据测试序列描述，主机序列生成器2801生成主机测试序列；
[0032]2.2】主机序列器将主机测试序列分发给主机模型序列器；
[0033]2.3】主机模型序列器将主机测试序列发送主机模型驱动器，转化成主机配置驱动信号，并发送给接口 31;
[0034]2.4】接口 31将配置驱动信号发送给AFDX网络交换机芯片进行配置；
[0035]3】以太网端口数据交互:
[0036]3.1】根据测试序列描述，以太网序列生成器2803生成以太网端口测试序列；
[0037]3.2】以太网序列器2804将以太网端口测试序列根据以太网端口测试序列定义的端口信息分发给不同的以太网端口模型的以太网序列器；
[0038]3.3】以太网序列器将以太网测试序列发送以太网驱动器，转化成交换数据驱动信号，并发送给接口 31;
[0039]2.4】接口 31将交换数据驱动信号发送给AFDX网络交换机芯片进行数据交互；
[0040]4】监控:[0041 ] 4.1】记分板根据AFDX网络交换机芯片的属性预测AFDX网络交换机芯片的状态信息和交换数据；
[0042]4.2】主机模型监控器2502通过接口 31监控AFDX网络交换机芯片的状态信息，并将监控到的实际状态信息发送给记分板26 ;同时，以太网监控器102通过接口 31监控AFDX网络交换机芯片的实际交换数据，并将监控到的实际交换数据发送给记分板26 ;
[0043]4.3】记分板26将收到的实际状态信息与预测的状态信息进行比较，同时将收到的实际交换数据与预测的交换数据进行比较:
[0044]当实际状态信息与预测的状态信息一致，并实际交换数据与预测的交换数据一致时，则AFDX网络交换机芯片功能正确；
[0045]若实际状态信息与预测的状态信息不一致，或实际交换数据与预测的交换数据不一致时，则AFDX网络交换机芯片功能不正确。
[0046]本发明的优点是:
[0047]1、本发明使用接口将AFDX网络交换机芯片的端口信号封装在一起。这样做的好处是:
[0048]I)消除了设计和模型之间在仿真过程中的竞争问题；
[0049]2)隔离了外部功能模型的读写操作和端口信号线上的读写操作；
[0050]3)易于开发和维护，降低了开发的复杂度；
[0051]2、本发明的记分板可以自动地完成数据的比较，减轻了验证人员开发各种测试激励的工作量。
[0052]3、本发明使用System Verilog语言，借助面向对象的概念，通过类的继承，降低了不同验证测试场景的开发复杂度，缩短了模型开发周期，加快了验证速度，节省了验证的人力资源。
【附图说明】
[0053]图1为一种基于交换通道的交换电路功能框图；
图2为本发明基于AFDX网络交换机芯片的虚拟验证系统原理框图。
【具体实施方式】
[0054]下面结合附图和具体实施例，对本发明的技术方案进行清楚、完整地表述。显然，所表述的实施例仅是本发明一部分实施例，而不是全部的实施例，基于本发明中的实施例，本领域技术人员在没有做出创造性劳动前提所获得的所有其他实施例，都属于本发明的保护范围。
[0055]如图1所示，一种基于AFDX网络交换机芯片的虚拟验证系统，包括虚激励序列28、验证环境27、接口 31以及测试项库29，
[0056]验证环境27包括至少三个以太网端口模型、主机模型25以及记分板26，
[0057]接口 31:用于提供验证环境27与AFDX网络交换机芯片的交互连接端口 ；
[0058]以太网端口模型:用于通过接口 31分别向AFDX网络交换机芯片的多个交换端口提供实际交换数据驱动和实际交换数据监控；
[0059]主机模型25:用于通过接口 31向AFDX网络交换机芯片的各种寄存器提供配置驱动；
[0060]记分板26:用于预测AFDX网络交换机芯片的状态信息和各种交换数据；接收以太网端口模型监控到的AFDX网络交换机芯片的实际交换数据和主机模型监控到的实际状态信息；将将预测状态信息和实际状态信息进行比较，同时将预测AFDX网络交换机芯片的各种交换数据与监控到的AFDX网络交换机芯片的实际交换数据进行比较；将比较结果进行保存待用
[0061]测试项库29:用于定义测试序列描述，并提供给虚激励序列；
[0062]虚激励序列28:用于将测试项库29定义的测试序列描述转化成测试序列并分发给以太网端口模型和主机模型25。
[0063]虚激励序列28包括主机序列生成器2801，主机序列器2802和以太网端口序列生成器2803以及以太网序列器2804 ；
[0064]主机序列生成器2801:用于根据测试项库29定义的测试序列描述生成主机测试序列；
[0065]主机序列器2802:用于将主机测试序列分发给主机模型25 ；
[0066]以太网端口序列生成器2803:用于根据测试项库29定义的测试序列描述生成以太网端口测试序列；
[0067]以太网序列器2804:用于将以太网端口测试序列分发给以太网端口模型；
[0068]主机模型25包括主机模型驱动器2501，主机模型监控器2502和主机模型序列器2503 ；
[0069]主机模型序列器2503用于接收主机序列器2802分发的主机测试序列并发送给主机模型驱动器2501 ;
[0070]主机模型驱动器2501用于接收主机模型序列器2503发送的主机测试序列，转化成主机配置驱动信号，并发送给接口 31 ;
[0071]主机模型监控器2502用于通过接口 31监控AFDX网络交换机芯片的状态信息，并将监控到的实际状态信息发送给记分板26 ;
[0072]每个以太网端口模型均包括以太网驱动器101、以太网监控器102以及以太网序列器103:
[0073]所述以太网序列器103用于接收以太网序列器2804分发的以太网端口测试序列并发送给以太网驱动器101;
[0074]所述以太网驱动器101用于接收以太网序列器103发送的以太网端口测试序列，转化成交换数据驱动信号，并发送给接口 31 ;
[0075]所述以太网监控器102