CN105049234B - 交换机芯片协同仿真的验证系统及方法 - Google Patents

Abstract

本发明揭示了一种交换机芯片协同仿真的验证系统及方法，通过设计一种有效的消息验证接口，将所有需要验证的消息信息集中管理和存储；同时利用自动化脚本，生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分；在验证的时候对整块存储单元进行比较。本发明既能向下兼容原有的验证方式，又增加了可扩展性和灵活性，更提高交换机芯片协同仿真验证的全面性和可靠性。

Description

交换机芯片协同仿真的验证系统及方法

技术领域

本发明涉及交换机芯片功能仿真技术领域，尤其是涉及一种交换机芯片协同仿真的验证系统及方法。

背景技术

在传统的交换机芯片协同仿真系统中，我们需要通过存储不同模块间传递的消息来进行验证。随着芯片日益加剧的复杂性，这些消息结构会越来越大，而且，现在往往还需要实时地对芯片中的一些统计、状态进行监控和记录。

传统交换机芯片协同仿真系统中的消息验证模块如图1所示，是将芯片模块中所有的消息和状态以及仿真系统中模块的所有消息和状态都交给消息验证模块中去完成整个验证工作，这样就会导致消息验证模块中数据量大，使得验证过程比较繁琐。

且现有消息验证模块中对消息进行验证时，是对每条消息进行逐一比较，整个验证过程不是很高效和灵活。

发明内容

本发明的目的在于克服现有技术的缺陷，提供一种交换机芯片协同仿真的验证系统及方法，通过设计一种有效的消息验证接口，以实现更简便、更全面、更可靠、更灵活的验证工作。

为实现上述目的，本发明提出如下技术方案：一种交换机芯片协同仿真的验证系统，包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块，所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中，所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中，所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证。

优选地，所述消息验证模块包括消息信息匹配模块和状态信息匹配模块，所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较。

优选地，所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本，所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。

优选地，所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本，所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。

本发明还揭示了一种交换机芯片协同仿真的验证方法，包括以下步骤：

将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中；将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中；

将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。

优选地，将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配，若结果不匹配，则分别输出相应的不匹配信息。

优选地，将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构，并通过消息验证自动化脚本，生成消息存储单元、消息匹配单元和不匹配消息输出单元。

优选地，将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构，并通过状态验证自动化脚本，生成状态存储单元、状态匹配单元和不匹配状态输出单元。

本发明的有益效果是：本发明提出了一种有效的模拟交换机芯片协同仿真系统的验证方法，把芯片语言和协同仿真语言完美的结合了起来，并且在消息验证模块中引入了一个自动化的过程，只需要模块和消息结构两要素，就可以自动进行信息存储、信息匹配、不匹配信息输出的工作，这个验证方法既能向下兼容原有的验证方式，又增加了可扩展性和灵活性，更提高交换机芯片协同仿真验证的全面性和可靠性。

附图说明

图1是现有的交换机芯片协同仿真的验证方法的原理示意图；

图2是本发明实施例交换机芯片协同仿真的验证系统的结构框图；

图3是本发明实施例交换机芯片协同仿真的验证系统的验证原理示意图；

图4是本发明实施例消息验证模块的原理示意图。

具体实施方式

下面将结合本发明的附图，对本发明实施例的技术方案进行清楚、完整的描述。

如图2所示，本发明实施例所揭示的一种交换机芯片协同仿真的验证系统，包括芯片、芯片消息信息存储单元、芯片状态信息存储单元、消息验证模块、仿真系统消息信息存储单元、仿真系统状态信息存储单元和仿真系统，以芯片中模块A及仿真系统中模块A为例，将芯片模块A中需要验证的消息信息和状态信息抽离出来，分别存储到芯片模块A对应的芯片消息信息存储单元和芯片状态信息存储单元中；对应的，将仿真系统模块A中需要验证的消息信息和状态信息抽离出来，分别存储到仿真模块A对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中，最后，将芯片消息信息存储单元和仿真系统消息信息存储单元内存储的消息信息，以及芯片状态信息存储单元和仿真系统状态信息存储单元内存储的状态信息一起发送给消息验证模块去完成整个验证工作。

如图3所示，消息验证模块内包括消息信息匹配模块和状态信息匹配模块，将芯片消息信息存储单元和仿真系统消息信息存储单元内存储的消息信息发送到消息信息匹配模块内进行存储单元级的比较匹配，如果结果匹配，就说明验证通过；如果不匹配，则输出具体的不匹配的信息，方便后续的分析和定位。对应的，将芯片状态信息存储单元和仿真系统状态信息存储单元内存储的状态信息发送到对应的状态信息匹配模块内进行存储单元级的比较匹配，如果结果匹配，就说明验证通过；如果不匹配，则输出具体的不匹配的信息。

为了增强消息验证模块验证功能的可扩展性和灵活性，本发明在消息验证模块中加入一套自动化的优化过程。在消息验证模块有两个关键的要素，一个是模块；一个是信息，本发明把对于给定的模块中消息信息和存储信息分别给出对应的消息信息存储单元数据结构和存储信息存储单元数据结构。具体地，如图4所示，消息信息匹配模块和状态信息匹配模块包括对应的信息存储模块、信息存储单元数据结构和信息验证自动化脚本。即消息信息匹配模块包括对消息信息存储模块、消息信息存储单元数据结构和消息信息验证自动化脚本，消息信息存储单元数据结构和消息信息存储模块通过消息信息验证自动化脚本，分别生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分；状态信息匹配模块包括对状态信息存储模块、状态信息存储单元数据结构和状态信息验证自动化脚本，状态信息存储单元数据结构和状态信息存储模块通过状态信息验证自动化脚本，分别生成状态存储单元、状态匹配单元和不匹配状态输出单元三个部分。

这样，对于任一模块，都可以按照验证自动化脚本的规则，自动化生成信息存储单元、信息匹配单元和不匹配信息输出单元三个部分。这样一来，不但不用再担心信息结构的变化所带来的繁琐的工作量，只要自动化生成一下就可以了；而且还极大地增强的验证功能的可扩展性和灵活性：不论是消息、状态、统计等等，都可以按照这样的规则来执行。

对应的，本发明还揭示了一种交换机芯片协同仿真的验证方法，包括以下步骤：

步骤1，将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中；将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中。

步骤2，将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证。

具体地，将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配，若结果不匹配，则分别输出相应的不匹配信息。

另外，优选地，为了增强消息验证模块验证功能的可扩展性和灵活性，将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构，并通过消息验证自动化脚本，生成消息存储单元、消息匹配单元和不匹配消息输出单元。同样，将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构，并通过状态验证自动化脚本，生成状态存储单元、状态匹配单元和不匹配状态输出单元。

本发明通过设计一种有效的消息验证接口，将所有需要的消息信息集中管理和存储。在验证的时候也抛弃了以前对每条消息的逐一比较，而采用整块存储模块进行比较，这样，一方面可以向下兼容原有的验证方式，另一方面增加了可扩展性和灵活性；同时，也得到了芯片中的统计、状态等信息，增加了验证的全面性和可靠性。

本发明的技术内容及技术特征已揭示如上，然而熟悉本领域的技术人员仍可能基于本发明的教示及揭示而作种种不背离本发明精神的替换及修饰，因此，本发明保护范围应不限于实施例所揭示的内容，而应包括各种不背离本发明的替换及修饰，并为本专利申请权利要求所涵盖。

Claims (6)

1.一种交换机芯片协同仿真的验证系统，其特征在于：包括芯片、仿真系统、芯片消息信息存储单元、芯片状态信息存储单元、仿真系统消息信息存储单元、仿真系统状态信息存储单元以及消息验证模块，所述芯片中需要验证的消息和状态分别存储到对应的所述芯片消息信息存储单元和芯片状态信息存储单元中，所述仿真系统中需要验证的消息和状态分别存储到对应的所述仿真系统消息信息存储单元和仿真系统状态信息存储单元中；所述芯片消息信息存储单元和芯片状态信息存储单元将存储的所述芯片的消息和状态以及所述仿真系统消息信息存储单元和仿真系统状态信息存储单元将存储的所述仿真系统中的消息和状态均发送到所述消息验证模块中进行验证，所述消息验证模块包括消息信息匹配模块和状态信息匹配模块，所述芯片和仿真系统消息信息存储单元将存储的消息、所述芯片和仿真系统状态信息存储单元将存储的状态分别发送给所述消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较，若结果不匹配，则分别输出相应的不匹配信息。

2.根据权利要求1所述的交换机芯片协同仿真的验证系统，其特征在于，所述消息信息匹配模块包括消息信息存储模块、消息信息存储单元数据结构和消息验证自动化脚本，所述消息信息存储单元数据结构通过所述消息验证自动化脚本分别生成信息存储单元、信息匹配单元和不匹配信息输出单元。

3.根据权利要求1所述的交换机芯片协同仿真的验证系统，其特征在于，所述状态信息匹配模块包括状态信息存储模块、状态信息存储单元数据结构和状态验证自动化脚本，所述状态信息存储单元数据结构通过所述状态验证自动化脚本分别生成状态存储单元、状态匹配单元和不匹配状态输出单元。

4.一种交换机芯片协同仿真的验证方法，其特征在于，包括以下步骤：将芯片中需要验证的消息和状态分别存储到对应的芯片消息信息存储单元和芯片状态信息存储单元中；将仿真系统中需要验证的消息和状态分别存储到对应的仿真系统消息信息存储单元和仿真系统状态信息存储单元中；将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态均发送到消息验证模块内进行验证的过程包括：将所述芯片和仿真系统消息信息存储单元中存储的消息、所述芯片和仿真系统状态信息存储单元中存储的状态分别发送给对应的消息信息匹配模块和状态信息匹配模块内进行存储单元级的比较匹配，若结果不匹配，则分别输出相应的不匹配信息。

5.根据权利要求4所述的交换机芯片协同仿真的验证方法，其特征在于，将芯片和仿真系统的消息信息存储单元中存储的消息生成对应的消息信息存储单元数据结构，并通过消息验证自动化脚本，生成消息存储单元、消息匹配单元和不匹配消息输出单元。

6.根据权利要求4所述的交换机芯片协同仿真的验证方法，其特征在于，将芯片和仿真系统的状态信息存储单元中存储的状态生成对应的状态信息存储单元数据结构，并通过状态验证自动化脚本，生成状态存储单元、状态匹配单元和不匹配状态输出单元。