一种基于AFDX网络交换机芯片的虚拟验证系统及方法

摘要

本发明涉及基于AFDX网络交换机芯片的虚拟验证系统及方法，顶层和测试项库，顶层包括虚激励序列、验证环境以及接口，验证环境包括至少三个以太网端口模型、主机模型以及记分板。本发明解决了现有的定向测试的虚拟验证系统及方法无法完成对AFDX网站交换机芯片的验证工作消除了设计和模型之间在仿真过程中的竞争问题。本发明隔离了外部功能模型的读写操作和端口信号线上的读写操作、易于开发和维护、降低了开发的复杂度。

主权项

一种基于AFDX网络交换机芯片的虚拟验证系统，其特征在于：顶层(30)和测试项库(29)，所述顶层(30)包括虚激励序列(28)、验证环境(27)以及接口(31)，所述验证环境(27)包括至少三个以太网端口模型(1)、主机模型(25)以及记分板(26)，接口(31)：用于提供验证环境(27)与AFDX网络交换机芯片的交互连接端口；以太网端口模型(1)：用于通过接口(31)分别向AFDX网络交换机芯片的多个交换端口提供实际交换数据驱动和实际交换数据监控；主机模型(25)：用于通过接口(31)向AFDX网络交换机芯片的各种寄存器提供配置驱动；记分板(26)：用于预测AFDX网络交换机芯片的状态信息和各种交换数据；接收以太网端口模型监控到的AFDX网络交换机芯片的实际交换数据和主机模型监控到的实际状态信息；将将预测状态信息和实际状态信息进行比较，同时将预测AFDX网络交换机芯片的各种交换数据与监控到的AFDX网络交换机芯片的实际交换数据进行比较；将比较结果进行保存待用测试项库(29)：用于定义测试序列描述，并提供给虚激励序列；虚激励序列(28)：用于将测试项库(29)定义的测试序列描述转化成测试序列并分发给以太网端口模型和主机模型(25)。